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)

Generated by ISE EiffelStudio