note
	description: "Interface for exception handling"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 2008-2018, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $"
	revision: "$Revision: 102807 $"

deferred class 
	KI_EXCEPTIONS

feature -- Status report

	exception_trace: detachable STRING_8
			-- String representation of the exception trace;
			-- Note that the string may be Void or always return
			-- the same object depending on the implementation.
		deferred
		ensure
			instance_free: class
		end

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

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

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

	developer_exception_name: detachable STRING_8
			-- Name of last developer-raised exception
		require
			applicable: is_developer_exception
		deferred
		ensure
			instance_free: class
		end
	
feature -- Status setting

	raise (a_name: detachable STRING_8)
			-- Raise a developer exception of name a_name.
		deferred
		ensure
			instance_free: class
		end

	die (a_code: INTEGER_32)
			-- Terminate execution with exit status a_code,
			-- without triggering an exception.
		deferred
		ensure
			instance_free: class
		end
	
end -- class KI_EXCEPTIONS

Generated by ISE EiffelStudio