deferred class
	DATA_EXCEPTION

General
	cluster: ise
	description: "Deffered class of data exception from the runtime"

Ancestors
	EIFFEL_RUNTIME_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)

Generated by ISE EiffelStudio