+
Point of view
All features
deferred class EIFFELTEST_TOOLS
Summary
Class invariant
Overview
assert (test: BOOLEAN)
effective procedure
label_assert (label: STRING, test: BOOLEAN)
effective procedure
Check that test is actually True.
assert_counter: COUNTER
once function
Unique once COUNTER used to count assert calls.
assertion_flag: STRING
effective function
assertion_level: INTEGER_32
writable attribute
assertion_level_none: INTEGER_32
constant attribute
assertion_level_require: INTEGER_32
constant attribute
assertion_level_ensure: INTEGER_32
constant attribute
assertion_level_class_invariant: INTEGER_32
constant attribute
assertion_level_loop_invariant: INTEGER_32
constant attribute
assertion_level_check: INTEGER_32
constant attribute
set_require: BOOLEAN
effective function
set_loop_invariant: BOOLEAN
effective function
set_check: BOOLEAN
effective function
set_ensure: BOOLEAN
effective function
set_class_invariant: BOOLEAN
effective function
probe_assertion_level
effective procedure