Automatic generation produced by ISE Eiffel
class EXCEPTIONS General cluster: elks description: "Facilities for adapting the exception handling mechanism. This class may be used as ancestor by classes needing its facilities." Ancestors EXCEPTION_MANAGER_FACTORY EXCEP_CONST Queries assertion_violation : BOOLEAN Check_instruction : INTEGER_32 Class_invariant : INTEGER_32 class_name : detachable STRING_8 Com_exception : INTEGER_32 Create_on_deferred : INTEGER_32 Developer_exception : INTEGER_32 developer_exception_name : detachable STRING_8 Dollar_applied_to_melted_feature : INTEGER_32 Eiffel_runtime_fatal_error : INTEGER_32 Eiffel_runtime_panic : INTEGER_32 exception : INTEGER_32 Exception_in_signal_handler : INTEGER_32 Exception_manager : EXCEPTION_MANAGER exception_trace : detachable STRING_8 External_exception : INTEGER_32 Floating_point_exception : INTEGER_32 Incorrect_inspect_value : INTEGER_32 Io_exception : INTEGER_32 is_developer_exception : BOOLEAN is_developer_exception_of_name (name: detachable STRING_8 ): BOOLEAN is_signal : BOOLEAN is_system_exception : BOOLEAN Loop_invariant : INTEGER_32 Loop_variant : INTEGER_32 meaning (except: INTEGER_32 ): detachable STRING_8 No_more_memory : INTEGER_32 Number_of_codes : INTEGER_32 Old_exception : INTEGER_32 Operating_system_exception : INTEGER_32 original_class_name : detachable STRING_8 original_exception : INTEGER_32 original_recipient_name : detachable STRING_8 original_tag_name : detachable STRING_8 Out_of_memory : INTEGER_32 Postcondition : INTEGER_32 Precondition : INTEGER_32 recipient_name : detachable STRING_8 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 tag_name : detachable STRING_8 valid_code (c: INTEGER_32 ): BOOLEAN Void_assigned_to_expanded : INTEGER_32 Void_call_target : INTEGER_32 Commands catch (code: INTEGER_32 ) die (code: INTEGER_32 ) ignore (code: INTEGER_32 ) message_on_failure no_message_on_failure raise (name: detachable READABLE_STRING_GENERAL ) raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL ) -- Generated by Eiffel Studio --
For more details: eiffel.org