Automatic generation produced by ISE Eiffel
class EXCEPTIONS General cluster: base.kernel description: "Facilities for adapting the exception handling mechanism. This class may be used as ancestor by classes needing its facilities." Ancestors EXCEP_CONST Queries assertion_violation: BOOLEAN Check_instruction: INTEGER Class_invariant: INTEGER class_name: STRING Com_exception: INTEGER Developer_exception: INTEGER developer_exception_name: STRING exception: INTEGER exception_trace: STRING External_exception: INTEGER Floating_point_exception: INTEGER Incorrect_inspect_value: INTEGER Io_exception: INTEGER is_developer_exception: BOOLEAN is_developer_exception_of_name (name: STRING): BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN Loop_invariant: INTEGER Loop_variant: INTEGER meaning (except: INTEGER): STRING No_more_memory: INTEGER Operating_system_exception: INTEGER original_class_name: STRING original_exception: INTEGER original_recipient_name: STRING original_tag_name: STRING Postcondition: INTEGER Precondition: INTEGER recipient_name: STRING Rescue_exception: INTEGER Retrieve_exception: INTEGER Routine_failure: INTEGER Runtime_io_exception: INTEGER Signal_exception: INTEGER tag_name: STRING Void_assigned_to_expanded: INTEGER Void_call_target: INTEGER Commands catch (code: INTEGER) die (code: INTEGER) ignore (code: INTEGER) message_on_failure no_message_on_failure raise (name: STRING) -- Generated by ISE Eiffel --
For more details: www.eiffel.com