Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class MISMATCH_FAILURE General cluster: ise description: "Exception for retrieval error, may be raised by retrieved in IO_MEDIUM." Ancestors DATA_EXCEPTION* Queries cause: EXCEPTION code: INTEGER_32 description: detachable READABLE_STRING_32 Exception_manager: EXCEPTION_MANAGER is_caught: 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