indexing description: "[ Facilities for adapting the exception handling mechanism. This class may be used as ancestor by classes needing its facilities. ]" status: "See notice at end of class" date: "$Date$" revision: "$Revision$" class interface EXCEPTIONS feature -- Access Check_instruction: INTEGER is 7 -- Exception code for violated check -- (from EXCEP_CONST) Class_invariant: INTEGER is 6 -- Exception code for violated class invariant -- (from EXCEP_CONST) Com_exception: INTEGER is 28 -- Exception code for a COM error. -- (from EXCEP_CONST) Developer_exception: INTEGER is 24 -- Exception code for developer exception -- (from EXCEP_CONST) External_exception: INTEGER is 18 -- Exception code for operating system error -- which does not set the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Floating_point_exception: INTEGER is 5 -- Exception code for floating point exception -- (from EXCEP_CONST) Incorrect_inspect_value: INTEGER is 9 -- Exception code for inspect value which is not one -- of the inspect constants, if there is no Else_part -- (from EXCEP_CONST) Io_exception: INTEGER is 21 -- Exception code for I/O error -- (from EXCEP_CONST) Loop_invariant: INTEGER is 11 -- Exception code for violated loop invariant -- (from EXCEP_CONST) Loop_variant: INTEGER is 10 -- Exception code for non-decreased loop variant -- (from EXCEP_CONST) No_more_memory: INTEGER is 2 -- Exception code for failed memory allocation -- (from EXCEP_CONST) Operating_system_exception: INTEGER is 22 -- Exception code for operating system error -- which sets the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Postcondition: INTEGER is 4 -- Exception code for violated postcondition -- (from EXCEP_CONST) Precondition: INTEGER is 3 -- Exception code for violated precondition -- (from EXCEP_CONST) Rescue_exception: INTEGER is 14 -- Exception code for exception in rescue clause -- (from EXCEP_CONST) Retrieve_exception: INTEGER is 23 -- Exception code for retrieval error -- may be raised by retrieved in IO_MEDIUM. -- (from EXCEP_CONST) Routine_failure: INTEGER is 8 -- Exception code for failed routine -- (from EXCEP_CONST) Runtime_io_exception: INTEGER is 27 -- Exception code for I/O error raised by runtime functions -- such as store/retrieve, file access... -- (from EXCEP_CONST) Signal_exception: INTEGER is 12 -- Exception code for operating system signal -- (from EXCEP_CONST) Void_assigned_to_expanded: INTEGER is 19 -- Exception code for assignment of void value -- to expanded entity -- (from EXCEP_CONST) Void_call_target: INTEGER is 1 -- Exception code for feature applied to void reference -- (from EXCEP_CONST) feature -- Status report assertion_violation: BOOLEAN -- Is last exception originally due to a violated -- assertion or non-decreasing variant? class_name: STRING -- Name of the class that includes the recipient -- of original form of last exception developer_exception_name: STRING -- Name of last developer-raised exception require applicable: is_developer_exception exception: INTEGER -- Code of last exception that occurred exception_trace: STRING -- String representation of the exception trace is_developer_exception: BOOLEAN -- Is the last exception originally due to -- a developer exception? is_developer_exception_of_name (name: STRING): BOOLEAN -- Is the last exception originally due to a developer -- exception of name name? is_signal: BOOLEAN -- Is last exception originally due to an external -- event (operating system signal)? is_system_exception: BOOLEAN -- Is last exception originally due to an -- external event (operating system error)? meaning (except: INTEGER): STRING -- A message in English describing what except is original_class_name: STRING -- Name of the class that includes the recipient -- of original form of last exception original_exception: INTEGER -- Original code of last exception that triggered -- current exception original_recipient_name: STRING -- Name of the routine whose execution was -- interrupted by original form of last exception original_tag_name: STRING -- Assertion tag for original form of last -- assertion violation. recipient_name: STRING -- Name of the routine whose execution was -- interrupted by last exception tag_name: STRING -- Tag of last violated assertion clause feature -- Status setting catch (code: INTEGER) -- Make sure that any exception of code code will be -- caught. This is the default. die (code: INTEGER) -- Terminate execution with exit status code, -- without triggering an exception. ignore (code: INTEGER) -- Make sure that any exception of code code will be -- ignored. This is not the default. message_on_failure -- Print an exception history table -- in case of failure. -- This is the default. no_message_on_failure -- Do not print an exception history table -- in case of failure. raise (name: STRING) -- Raise a developer exception of name name. invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class EXCEPTIONS