Automatic generation produced by ISE Eiffel

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

General
	cluster: testing
	description: "Universal assertion mechanisms."

Ancestors
	ANY

Queries
	last_assertion_failed: BOOLEAN

Commands
	assert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN)
	disassert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN)
	on_satisfaction (a_tag: READABLE_STRING_GENERAL)
	on_violation (a_tag: READABLE_STRING_GENERAL)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org