+
Point of view
All features
deferred class EIFFELTEST_TOOLS
Summary
Just insert class EIFFELTEST_TOOLS in your TEST_* class.
See also commands eiffeltest and mocker.
Direct parents
Insert list: ANY
Known children
Insert list: MOCK_EXPECT, MOCK_EXPECTATION_GROUP, MOCK_EXPECTATION_GROUPS, MOCK_TIMES_COUNTER, MOCK_TYPED_EXPECTATION, MOCK_TYPED_OBJECT
Class invariant
Overview
effective procedure
{ANY}
scenario: MOCK_SCENARIO
writable attribute
{ANY}
assert (test: BOOLEAN)
effective procedure
{ANY}
Check that test is actually True.
label_assert (label: ABSTRACT_STRING, test: BOOLEAN)
effective procedure
{ANY}
Check that test is actually True.
message_assert (message_generator: FUNCTION[TUPLE, ABSTRACT_STRING], test: BOOLEAN)
effective procedure
{ANY}
Check that test is actually True.
start_timer: MICROSECOND_TIME
effective function
{}
stop_timer (start: MICROSECOND_TIME)
effective procedure
{}
timed (action: PROCEDURE[TUPLE])
effective procedure
{}
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
is 0
constant attribute
{}
assertion_level_require: INTEGER_32
is 1
constant attribute
{}
assertion_level_ensure: INTEGER_32
is 2
constant attribute
{}
assertion_level_class_invariant: INTEGER_32
is 3
constant attribute
{}
assertion_level_loop_invariant: INTEGER_32
is 4
constant attribute
{}
assertion_level_check: INTEGER_32
is 5
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
default_test_failed (id: INTEGER_32, lbl: ABSTRACT_STRING, gen: ABSTRACT_STRING, ass_flag: ABSTRACT_STRING)
effective procedure
{}
counter_to_message: FUNCTION[TUPLE, ABSTRACT_STRING]
once function
{}
count_to_message: ABSTRACT_STRING
effective function
{}
label_to_message (label: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{}