indexing
	description: "Exception handling"
	usage: "This class should not be used directly through inheritance and client/supplier relationship. Inherit from KL_SHARED_EXCEPTIONS instead."
	pattern: "Singleton"
	library: "Gobo Eiffel Kernel Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1997, Eric Bezault"

class interface
	KL_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)

	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)

	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?
			-- (from EXCEPTIONS)

	class_name: STRING
			-- Name of the class that includes the recipient
			-- of original form of last exception
			-- (from EXCEPTIONS)

	developer_exception_name: STRING
			-- Name of last developer-raised exception
			-- (from EXCEPTIONS)
		require -- from EXCEPTIONS
			applicable: is_developer_exception

	exception: INTEGER
			-- Code of last exception that occurred
			-- (from EXCEPTIONS)

	exception_trace: STRING
			-- String representation of the exception trace
			-- (from EXCEPTIONS)

	is_developer_exception: BOOLEAN
			-- Is the last exception originally due to
			-- a developer exception?
			-- (from EXCEPTIONS)

	is_developer_exception_of_name (name: STRING): BOOLEAN
			-- Is the last exception originally due to a developer
			-- exception of name name?
			-- (from EXCEPTIONS)

	is_signal: BOOLEAN
			-- Is last exception originally due to an external
			-- event (operating system signal)?
			-- (from EXCEPTIONS)

	is_system_exception: BOOLEAN
			-- Is last exception originally due to an
			-- external event (operating system error)?
			-- (from EXCEPTIONS)

	meaning (except: INTEGER): STRING
			-- A message in English describing what except is
			-- (from EXCEPTIONS)

	original_class_name: STRING
			-- Name of the class that includes the recipient
			-- of original form of last exception
			-- (from EXCEPTIONS)

	original_exception: INTEGER
			-- Original code of last exception that triggered
			-- current exception
			-- (from EXCEPTIONS)

	original_recipient_name: STRING
			-- Name of the routine whose execution was
			-- interrupted by original form of last exception
			-- (from EXCEPTIONS)

	original_tag_name: STRING
			-- Assertion tag for original form of last
			-- assertion violation.
			-- (from EXCEPTIONS)

	recipient_name: STRING
			-- Name of the routine whose execution was
			-- interrupted by last exception
			-- (from EXCEPTIONS)

	tag_name: STRING
			-- Tag of last violated asssertion clause
			-- (from EXCEPTIONS)
	
feature -- Status setting

	catch (code: INTEGER)
			-- Make sure that any exception of code code will be
			-- caught. This is the default.
			-- (from EXCEPTIONS)

	die (code: INTEGER)
			-- Terminate execution with exit status code,
			-- without triggering an exception.
			-- (from EXCEPTIONS)

	ignore (code: INTEGER)
			-- Make sure that any exception of code code will be
			-- ignored. This is not the default.
			-- (from EXCEPTIONS)

	message_on_failure
			-- Print an exception history table
			-- in case of failure.
			-- This is the default.
			-- (from EXCEPTIONS)

	no_message_on_failure
			-- Do not print an exception history table
			-- in case of failure.
			-- (from EXCEPTIONS)

	raise (name: STRING)
			-- Raise a developer exception of name name.
			-- (from EXCEPTIONS)
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class KL_EXCEPTIONS