Automatic generation produced by ISE Eiffel
class OPERATING_SYSTEM_FAILURE General cluster: elks description: "Operating system failure" Ancestors OPERATING_SYSTEM_EXCEPTION* Queries cause: EXCEPTION code: INTEGER_32 description: detachable READABLE_STRING_32 error_code: INTEGER_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) -- Generated by Eiffel Studio --
For more details: eiffel.org