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

kernel.misc

Class KL_SHARED_EXCEPTIONS


Known direct descendants

MA_DECIMAL_CONTEXT, TS_ASSERTIONS, TS_TESTER, XM_XPATH_SERIAL_NUMBER_GENERATOR

Features

Invariants

indexing

description

Shared exception handling

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: 2004/12/22 22:49:51 $

revision

$Revision: 1.4 $

class

KL_SHARED_EXCEPTIONS

feature -- Access

exceptions: KL_EXCEPTIONS

-- Exception handling

ensure
exceptions_not_void: Result /= Void

feature -- Obsolete

exceptions_: KL_EXCEPTIONS

-- Exception handling

obsolete

[040101] Use Exceptions instead.

ensure
exceptions_not_void: Result /= Void

invariant

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

end