deferred class
	KI_EXCEPTIONS

General
	cluster: kernel
	description: "Interface for exception handling"

Ancestors
	ANY

Queries
	developer_exception_name: detachable STRING_8
	exception: INTEGER_32
	exception_trace: detachable STRING_8
	is_developer_exception: BOOLEAN
	is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN

Commands
	die (a_code: INTEGER_32)
	raise (a_name: detachable STRING_8)

Generated by ISE EiffelStudio