deferred class
	EIFFEL_RUNTIME_EXCEPTION

General
	cluster: elks
	description: "Eiffel runtime exception"

Ancestors
	EIF_EXCEPTION*

Queries
	cause: EXCEPTION
	code: INTEGER_32
	description: detachable READABLE_STRING_GENERAL
	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 ISE EiffelStudio