Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class OPERATING_SYSTEM_EXCEPTION General cluster: elks description: "Operating system exception" Ancestors MACHINE_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