Automatic generation produced by ISE Eiffel

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

General
	cluster: testing
	description: "Assertions commonly used in testing routines."

Ancestors
	EQA_ASSERTIONS

Queries
	last_assertion_failed: BOOLEAN

Commands
	assert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN)
	assert_arrays_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: ARRAY [detachable ANY])
	assert_arrays_reference_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: ARRAY [detachable ANY])
	assert_attached (a_tag: READABLE_STRING_GENERAL; object: detachable ANY)
	assert_booleans_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: BOOLEAN)
	assert_booleans_not_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: BOOLEAN)
	assert_characters_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: CHARACTER_8)
	assert_characters_not_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: CHARACTER_8)
	assert_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: detachable ANY)
	assert_integers_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: INTEGER_32)
	assert_integers_not_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: INTEGER_32)
	assert_not_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: detachable ANY)
	assert_not_reference_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: detachable ANY)
	assert_predicate (a_tag: READABLE_STRING_GENERAL; pred: PREDICATE)
	assert_reference_equal (a_tag: READABLE_STRING_GENERAL; expected, actual: detachable ANY)
	assert_strings_case_insensitive_equal (a_tag, expected, actual: READABLE_STRING_GENERAL)
	assert_strings_equal (a_tag, expected, actual: READABLE_STRING_GENERAL)
	assert_strings_not_equal (a_tag, expected, actual: READABLE_STRING_GENERAL)
	assert_void (a_tag: READABLE_STRING_GENERAL; object: detachable ANY)
	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