Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
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)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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