Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	EXCEP_CONST

General
	cluster: base.kernel
	description: 
		"Constants used for exception handling.
		This class may be used as ancestor by classes needing its facilities."

Ancestors
	ANY

Queries
	Check_instruction: INTEGER
	Class_invariant: INTEGER
	Com_exception: INTEGER
	Developer_exception: INTEGER
	External_exception: INTEGER
	Floating_point_exception: INTEGER
	Incorrect_inspect_value: INTEGER
	Io_exception: INTEGER
	Loop_invariant: INTEGER
	Loop_variant: INTEGER
	No_more_memory: INTEGER
	Operating_system_exception: INTEGER
	Postcondition: INTEGER
	Precondition: INTEGER
	Rescue_exception: INTEGER
	Retrieve_exception: INTEGER
	Routine_failure: INTEGER
	Runtime_io_exception: INTEGER
	Signal_exception: INTEGER
	Void_assigned_to_expanded: INTEGER
	Void_call_target: INTEGER



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com