Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ISE_EXCEPTION_MANAGER General cluster: ise description: "Exception manager. The manager handles all common operations of exception mechanism and interaction with the ISE runtime." Ancestors EXCEPTION_MANAGER 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