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 interface 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. ensure instance_free: class exception: INTEGER_32 -- Code of last exception that occurred 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 feature -- Status setting raise (a_name: detachable STRING_8) -- Raise a developer exception of name a_name. ensure instance_free: class die (a_code: INTEGER_32) -- Terminate execution with exit status a_code, -- without triggering an exception. ensure instance_free: class end -- class KI_EXCEPTIONS
Generated by ISE EiffelStudio