Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	INVARIANT_VIOLATION

General
	cluster: elks
	description: "Exception representing an invariant violation"

Ancestors
	ASSERTION_VIOLATION*

Queries
	cause: EXCEPTION
	code: INTEGER_32
	description: detachable READABLE_STRING_32
	Exception_manager: EXCEPTION_MANAGER
	is_caught: BOOLEAN
	is_entry: 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