class
	ECOM_EXCEPTION

General
	cluster: com.Structures
	description: "EiffelCOM exception"

Ancestors
	ECOM_EXCEPTION_CODES
	EXCEPTIONS
	HRESULT_FORMATTER

Queries
	assertion_violation: BOOLEAN
	Check_instruction: INTEGER
	Class_invariant: INTEGER
	class_name: STRING
	Com_exception: INTEGER
	Developer_exception: INTEGER
	developer_exception_name: STRING
	exception: INTEGER
	exception_trace: STRING
	External_exception: INTEGER
	Floating_point_exception: INTEGER
	hresult: INTEGER
	hresult_code: INTEGER
	hresult_facility: INTEGER
	hresult_message: STRING
	Incorrect_inspect_value: INTEGER
	Io_exception: INTEGER
	is_developer_exception: BOOLEAN
	is_developer_exception_of_name (name: STRING): BOOLEAN
	is_signal: BOOLEAN
	is_system_exception: BOOLEAN
	Loop_invariant: INTEGER
	Loop_variant: INTEGER
	meaning (except: INTEGER): STRING
	No_more_memory: INTEGER
	Operating_system_exception: INTEGER
	original_class_name: STRING
	original_exception: INTEGER
	original_recipient_name: STRING
	original_tag_name: STRING
	Postcondition: INTEGER
	Precondition: INTEGER
	recipient_name: STRING
	Rescue_exception: INTEGER
	Retrieve_exception: INTEGER
	Routine_failure: INTEGER
	Runtime_io_exception: INTEGER
	Signal_exception: INTEGER
	tag_name: STRING
	Void_assigned_to_expanded: INTEGER
	Void_call_target: INTEGER

Commands
	catch (code: INTEGER)
	die (code: INTEGER)
	ignore (code: INTEGER)
	message_on_failure
	no_message_on_failure
	raise (name: STRING)
	trigger (code: INTEGER)