Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.misc

Class KL_EXCEPTIONS


Direct ancestors

EXCEPTIONS

Features

Invariants

indexing

description

Exception handling

usage

This class should not be used directly through %
%inheritance and client/supplier relationship. %
%Inherit from KL_SHARED_EXCEPTIONS instead.

pattern

Singleton

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:50:16 $

revision

$Revision: 1.2 $

class

KL_EXCEPTIONS

inherit

EXCEPTIONS
EXCEP_CONST

feature -- Access

check_instruction: INTEGER

-- Exception code for violated check

-- (From EXCEP_CONST)

class_invariant: INTEGER

-- Exception code for violated class invariant

-- (From EXCEP_CONST)

com_exception: INTEGER

-- Exception code for a COM error.

-- (From EXCEP_CONST)

developer_exception: INTEGER

-- Exception code for developer exception

-- (From EXCEP_CONST)

external_exception: INTEGER

-- Exception code for operating system error
-- which does not set the errno variable
-- (Unix-specific)

-- (From EXCEP_CONST)

floating_point_exception: INTEGER

-- Exception code for floating point exception

-- (From EXCEP_CONST)

incorrect_inspect_value: INTEGER

-- Exception code for inspect value which is not one
-- of the inspect constants, if there is no Else_part

-- (From EXCEP_CONST)

io_exception: INTEGER

-- Exception code for I/O error

-- (From EXCEP_CONST)

loop_invariant: INTEGER

-- Exception code for violated loop invariant

-- (From EXCEP_CONST)

loop_variant: INTEGER

-- Exception code for non-decreased loop variant

-- (From EXCEP_CONST)

no_more_memory: INTEGER

-- Exception code for failed memory allocation

-- (From EXCEP_CONST)

operating_system_exception: INTEGER

-- Exception code for operating system error
-- which sets the errno variable
-- (Unix-specific)

-- (From EXCEP_CONST)

postcondition: INTEGER

-- Exception code for violated postcondition

-- (From EXCEP_CONST)

precondition: INTEGER

-- Exception code for violated precondition

-- (From EXCEP_CONST)

rescue_exception: INTEGER

-- Exception code for exception in rescue clause

-- (From EXCEP_CONST)

retrieve_exception: INTEGER

-- Exception code for retrieval error
-- may be raised by retrieved in IO_MEDIUM.

-- (From EXCEP_CONST)

routine_failure: INTEGER

-- Exception code for failed routine

-- (From EXCEP_CONST)

runtime_check_exception: INTEGER

-- Exception code for runtime check being violated.

-- (From EXCEP_CONST)

runtime_io_exception: INTEGER

-- Exception code for I/O error raised by runtime functions
-- such as store/retrieve, file access...

-- (From EXCEP_CONST)

signal_exception: INTEGER

-- Exception code for operating system signal

-- (From EXCEP_CONST)

void_assigned_to_expanded: INTEGER

-- Exception code for assignment of void value
-- to expanded entity

-- (From EXCEP_CONST)

void_call_target: INTEGER

-- Exception code for feature applied to void reference

-- (From EXCEP_CONST)

number_of_codes: INTEGER

-- How many codes are there to represent exceptions?

-- (From EXCEP_CONST)

valid_code (c: INTEGER): BOOLEAN

-- Is c a valid code to represent some kind of exceptions?

-- (From EXCEP_CONST)

feature -- Status report

assertion_violation: BOOLEAN

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

-- (From EXCEPTIONS)

class_name: STRING

-- Name of the class that includes the recipient
-- of original form of last exception

-- (From EXCEPTIONS)

developer_exception_name: STRING

-- Name of last developer-raised exception

-- (From EXCEPTIONS)

require
exception: INTEGER

-- Code of last exception that occurred

-- (From EXCEPTIONS)

exception_trace: STRING

-- String representation of the exception trace

-- (From EXCEPTIONS)

is_developer_exception: BOOLEAN

-- Is the last exception originally due to
-- a developer exception?

-- (From EXCEPTIONS)

is_developer_exception_of_name (name: STRING): BOOLEAN

-- Is the last exception originally due to a developer
-- exception of name name?

-- (From EXCEPTIONS)

is_signal: BOOLEAN

-- Is last exception originally due to an external
-- event (operating system signal)?

-- (From EXCEPTIONS)

is_system_exception: BOOLEAN

-- Is last exception originally due to an
-- external event (operating system error)?

-- (From EXCEPTIONS)

meaning (except: INTEGER): STRING

-- A message in English describing what except is

-- (From EXCEPTIONS)

original_class_name: STRING

-- Name of the class that includes the recipient
-- of original form of last exception

-- (From EXCEPTIONS)

original_exception: INTEGER

-- Original code of last exception that triggered
-- current exception

-- (From EXCEPTIONS)

original_recipient_name: STRING

-- Name of the routine whose execution was
-- interrupted by original form of last exception

-- (From EXCEPTIONS)

original_tag_name: STRING

-- Assertion tag for original form of last
-- assertion violation.

-- (From EXCEPTIONS)

recipient_name: STRING

-- Name of the routine whose execution was
-- interrupted by last exception

-- (From EXCEPTIONS)

tag_name: STRING

-- Tag of last violated assertion clause

-- (From EXCEPTIONS)

feature -- Status setting

catch (code: INTEGER)

-- Make sure that any exception of code code will be
-- caught. This is the default.

-- (From EXCEPTIONS)

die (code: INTEGER)

-- Terminate execution with exit status code,
-- without triggering an exception.

-- (From EXCEPTIONS)

ignore (code: INTEGER)

-- Make sure that any exception of code code will be
-- ignored. This is not the default.

-- (From EXCEPTIONS)

message_on_failure

-- Print an exception history table
-- in case of failure.
-- This is the default.

-- (From EXCEPTIONS)

new_die (code: INTEGER)

-- (From EXCEPTIONS)

obsolete

Use `die'

no_message_on_failure

-- Do not print an exception history table
-- in case of failure.

-- (From EXCEPTIONS)

raise (name: STRING)

-- Raise a developer exception of name name.

-- (From EXCEPTIONS)

raise_retrieval_exception (name: STRING)

-- Raise a retrieval exception of name name.

-- (From EXCEPTIONS)

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end