Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
deferred class
	ASSERTION_VIOLATION

Ancestors
	EXCEPTION

Descendants
	CHECK_VIOLATION
	INVARIANT_VIOLATION
	LOOP_INVARIANT_VIOLATION
	POSTCONDITION_VIOLATION
	PRECONDITION_VIOLATION
	VARIANT_VIOLATION



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com