Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class INVARIANT_VIOLATION General cluster: elks description: "Exception representing an invariant violation" Ancestors ASSERTION_VIOLATION* Queries cause: EXCEPTION code: INTEGER_32 description: detachable READABLE_STRING_32 Exception_manager: EXCEPTION_MANAGER is_caught: BOOLEAN is_entry: BOOLEAN is_ignorable: BOOLEAN is_ignored: BOOLEAN is_raisable: BOOLEAN line_number: INTEGER_32 original: EXCEPTION out: STRING_8 recipient_name: detachable STRING_8 Tag: IMMUTABLE_STRING_32 trace: detachable STRING_32 type_name: detachable STRING_8 Commands raise set_description (a_description: detachable READABLE_STRING_GENERAL)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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