class
	EXCEP_CONST

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

Ancestors
	ANY

Queries
	Check_instruction: INTEGER_32
	Class_invariant: INTEGER_32
	Com_exception: INTEGER_32
	Create_on_deferred: INTEGER_32
	Developer_exception: INTEGER_32
	Dollar_applied_to_melted_feature: INTEGER_32
	Eiffel_runtime_fatal_error: INTEGER_32
	Eiffel_runtime_panic: INTEGER_32
	Exception_in_signal_handler: INTEGER_32
	External_exception: INTEGER_32
	Floating_point_exception: INTEGER_32
	Incorrect_inspect_value: INTEGER_32
	Io_exception: INTEGER_32
	Loop_invariant: INTEGER_32
	Loop_variant: INTEGER_32
	No_more_memory: INTEGER_32
	Number_of_codes: INTEGER_32
	Old_exception: INTEGER_32
	Operating_system_exception: INTEGER_32
	Out_of_memory: INTEGER_32
	Postcondition: INTEGER_32
	Precondition: INTEGER_32
	Rescue_exception: INTEGER_32
	Resumption_failed: INTEGER_32
	Retrieve_exception: INTEGER_32
	Routine_failure: INTEGER_32
	Runtime_check_exception: INTEGER_32
	Runtime_io_exception: INTEGER_32
	Serialization_exception: INTEGER_32
	Signal_exception: INTEGER_32
	valid_code (c: INTEGER_32): BOOLEAN
	Void_assigned_to_expanded: INTEGER_32
	Void_call_target: INTEGER_32


Generated by ISE EiffelStudio