Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EXCEPTION_MANAGER General cluster: elks description: "Common exception operations and management." Ancestors ANY Queries is_caught (a_exception: TYPE [detachable EXCEPTION]): BOOLEAN is_ignorable (a_exception: TYPE [detachable EXCEPTION]): BOOLEAN is_ignored (a_exception: TYPE [detachable EXCEPTION]): BOOLEAN is_raisable (a_exception: TYPE [detachable EXCEPTION]): BOOLEAN last_exception: detachable EXCEPTION Commands catch (a_exception: TYPE [detachable EXCEPTION]) ignore (a_exception: TYPE [detachable EXCEPTION]) raise (a_exception: EXCEPTION) set_is_ignored (a_exception: TYPE [detachable EXCEPTION]; a_ignored: BOOLEAN)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org