Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org