note
	description: "[
		Facilities for adapting the exception handling mechanism.
		This class may be used as ancestor by classes needing its facilities.
	]"
	library: "Free implementation of ELKS library"
	status: "See notice at end of class."
	legal: "See notice at end of class."
	date: "$Date: 2020-05-19 14:32:38 +0000 (Tue, 19 May 2020) $"
	revision: "$Revision: 104260 $"

class interface
	EXCEPTIONS

create 
	default_create

feature -- Status report

	meaning (except: INTEGER_32): detachable STRING_8
			-- A message in English describing what except is
		ensure
			instance_free: class

	assertion_violation: BOOLEAN
			-- Is last exception originally due to a violated
			-- assertion or non-decreasing variant?
		ensure
			instance_free: class

	is_developer_exception: BOOLEAN
			-- Is the last exception originally due to
			-- a developer exception?
		ensure
			instance_free: class

	is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN
			-- Is the last exception originally due to a developer
			-- exception of name name?
		ensure
			instance_free: class

	developer_exception_name: detachable STRING_8
			-- Name of last developer-raised exception
		require
			applicable: is_developer_exception
		ensure
			instance_free: class

	is_signal: BOOLEAN
			-- Is last exception originally due to an external
			-- event (operating system signal)?
		ensure
			instance_free: class

	is_system_exception: BOOLEAN
			-- Is last exception originally due to an
			-- external event (operating system error)?
		ensure
			instance_free: class

	tag_name: detachable STRING_8
			-- Tag of last violated assertion clause
		ensure
			instance_free: class

	recipient_name: detachable STRING_8
			-- Name of the routine whose execution was
			-- interrupted by last exception
		ensure
			instance_free: class

	class_name: detachable STRING_8
			-- Name of the class that includes the recipient
			-- of original form of last exception
		ensure
			instance_free: class

	exception: INTEGER_32
			-- Code of last exception that occurred
		ensure
			instance_free: class

	exception_trace: detachable STRING_8
			-- String representation of the exception trace
		ensure
			instance_free: class

	original_tag_name: detachable STRING_8
			-- Assertion tag for original form of last
			-- assertion violation.
		ensure
			instance_free: class

	original_exception: INTEGER_32
			-- Original code of last exception that triggered
			-- current exception
		ensure
			instance_free: class

	original_recipient_name: detachable STRING_8
			-- Name of the routine whose execution was
			-- interrupted by original form of last exception
		ensure
			instance_free: class

	original_class_name: detachable STRING_8
			-- Name of the class that includes the recipient
			-- of original form of last exception
		ensure
			instance_free: class
	
feature -- Status setting

	catch (code: INTEGER_32)
			-- Make sure that any exception of code code will be
			-- caught. This is the default.
		ensure
			instance_free: class

	ignore (code: INTEGER_32)
			-- Make sure that any exception of code code will be
			-- ignored. This is not the default.
		ensure
			instance_free: class

	raise (name: detachable READABLE_STRING_GENERAL)
			-- Raise a developer exception of name name.
		ensure
			instance_free: class

	raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL)
			-- Raise a retrieval exception of name name.
		ensure
			instance_free: class

	die (code: INTEGER_32)
			-- Terminate execution with exit status code,
			-- without triggering an exception.
		ensure
				False
			instance_free: class

	message_on_failure
			-- Print an exception history table
			-- in case of failure.
			-- This is the default.
		ensure
			instance_free: class

	no_message_on_failure
			-- Do not print an exception history table
			-- in case of failure.
		ensure
			instance_free: class
	
note
	copyright: "Copyright (c) 1984-2020, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
		Eiffel Software
		5949 Hollister Ave., Goleta, CA 93117 USA
		Telephone 805-685-1006, Fax 805-685-6869
		Website http://www.eiffel.com
		Customer support http://support.eiffel.com
	]"

end -- class EXCEPTIONS

Generated by ISE EiffelStudio