+
Point of view
ANY
class EXCEPTIONS
Summary
Overview
exported features
Various exceptions codes:
Status report:
Basic operations:
  • die (code: INTEGER_32)
    Terminate execution with exit status code, without triggering an exception.
  • raise (name: STRING)
    Raise a developer exception of name name.
Non-Standard Extensions:
Check_instruction: INTEGER_32
constant attribute
Exception code for violated check.
Class_invariant: INTEGER_32
constant attribute
Exception code for violated class invariant.
Developer_exception: INTEGER_32
constant attribute
Exception code for developer exception.
Incorrect_inspect_value: INTEGER_32
constant attribute
Exception code for inspect statement.
Loop_invariant: INTEGER_32
constant attribute
Exception code for violated loop invariant
Loop_variant: INTEGER_32
constant attribute
Exception code for non-decreased loop variant
No_more_memory: INTEGER_32
constant attribute
Exception code for failed memory allocation
Postcondition: INTEGER_32
constant attribute
Exception code for violated postcondition.
Precondition: INTEGER_32
constant attribute
Exception code for violated precondition.
Routine_failure: INTEGER_32
constant attribute
Exception code for failed routine.
Os_signal: INTEGER_32
constant attribute
Exception code for a signal received from the OS.
Void_attached_to_expanded: INTEGER_32
constant attribute
Exception code for attachment of Void value to expanded entity.
Void_call_target: INTEGER_32
constant attribute
Exception code for feature applied to Void reference
System_level_type_error: INTEGER_32
constant attribute
Exception code for the system-level type error (this kind of error mostly arise whith covariant redefinition).
developer_exception_name: STRING
effective function
Name of last developer-raised exception.
is_developer_exception: BOOLEAN
effective function
Is the last exception originally due to a developer exception?
is_developer_exception_of_name (name: STRING): BOOLEAN
effective function
Is the last exception originally due to a developer exception of name name?
assertion_violation: BOOLEAN
effective function
Is last exception originally due to a violated assertion or non-decreasing variant?
exception: INTEGER_32
Code of last exception that occurred.
is_signal: BOOLEAN
effective function
Is last exception originally due to an external event (operating system signal) ?
die (code: INTEGER_32)
effective procedure
Terminate execution with exit status code, without triggering an exception.
raise (name: STRING)
effective procedure
Raise a developer exception of name name.
signal_number: INTEGER_32
Signal Number received from OS.
developer_exception_name_memory: REFERENCE[STRING]
once function
raise_exception (code: INTEGER_32)