Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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 STRING_8) raise_retrieval_exception (name: detachable STRING_8)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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