INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Facilities for adapting the exception handling mechanism.", "This class may be used as ancestor by classes needing its facilities."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class EXCEPTIONS
feature -- Developer exception name

developer_exception_name: STRING
-- Name of last developer-raised exception
require
applicable: is_developer_exception
feature -- Access

Check_instruction: INTEGER

Class_invariant: INTEGER

Incorrect_inspect_value: INTEGER

Loop_invariant: INTEGER

Loop_variant: INTEGER

No_more_memory: INTEGER

Postcondition: INTEGER

Precondition: INTEGER

Routine_failure: INTEGER

Void_attached_to_expanded: INTEGER

Void_call_target: INTEGER
feature -- Status report

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

exception: INTEGER
-- Code of last exception that occured

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

is_signal: BOOLEAN
-- Is last exception originally due to an external event
-- (operating system signal)?
feature -- Basic operations

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

raise (name: STRING)
-- Raise a developer exception of name 'name'
require
name_non_void: name /= void
end -- class EXCEPTIONS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES