L4E_PRIORITY Contracts



Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: 
indexing
	description: "A logging priority."
	project: "Project Goanna <http://sourceforge.net/projects/goanna>"
	library: "log4e"
	date: "$Date$"
	revision: "$Revision$"
	author: "Glenn Maughan <glennmaughan@goanna.info>"
	copyright: "Copyright (c) 2002 Glenn Maughan"
	license: "Eiffel Forum License v1 (see forum.txt)."

class interface
	L4E_PRIORITY

create 
	make

feature -- Initialisation

	make (new_level: INTEGER; desc: STRING)
			-- Create new priority
		require
			positive_level: new_level > 0
			desc_exists: desc /= void
	
feature -- Status Report

	level: INTEGER
			-- Level at which this priority is invoked.

	level_str: STRING
			-- String description of this priority
	
feature -- Comparison

	infix "<" (other: like Current): BOOLEAN
			-- Is 'other' less than Current?
	
end -- class L4E_PRIORITY

Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: