+
Point of view
All features
class MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
Summary
top
Direct parents
Inherit list: MOCK_TYPED_EXPECTATION
Class invariant
top
Overview
top
Creation features
Features
{}
{ANY}
{}
{ANY}
{ANY}
{}
{ANY}
{}
{}
{MOCK_EXPECTATION_GROUP}
{}
{}
{MOCK_EXPECTATION_GROUP}
Action when an assert fails
{ANY}
Mock features
{ANY}
assert methods used by tests
{ANY}
timer features
{}
{}
{EIFFELTEST_TOOLS}
{}
do_call (args: MOCK_ARGUMENTS)
effective procedure
{}
top
with_side_effect (a_side_effect: PROCEDURE[TUPLE 1[MOCK_ARGUMENTS]]): MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
effective function
{ANY}
top
require ensure
infix "~>" (a_side_effect: PROCEDURE[TUPLE 1[MOCK_ARGUMENTS]]): MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
effective function
{ANY}
top
require ensure
writable attribute
{}
top
result_ready: BOOLEAN
writable attribute
{}
top
ready: BOOLEAN
writable attribute
{ANY}
top
target: MOCK_OBJECT
writable attribute
{ANY}
top
feature_name: FIXED_STRING
writable attribute
{ANY}
top
arg_matchers: MOCK_MATCHERS
writable attribute
{ANY}
top
counter_ready: BOOLEAN
effective function
{ANY}
top
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
times (how_many: INTEGER_32): MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
effective function
{ANY}
top
require ensure
infix "*" (how_many: INTEGER_32): MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
effective function
{ANY}
top
require ensure
whenever: MOCK_PROCEDURE_EXPECTATION [T_ -> TUPLE]
effective function
{ANY}
top
require ensure
counter_any_time: MOCK_TIMES_ANY
once function
{}
top
can_call (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arguments: MOCK_ARGUMENTS): BOOLEAN
effective function
{ANY}
top
require
  • ready
  • a_target /= Void
  • a_feature_name.is_interned
  • a_arguments /= Void
ensure
  • Result implies target.missing_expectations /= Void
match_arguments (a_arguments: MOCK_ARGUMENTS): BOOLEAN
effective function
{}
top
call (a_arguments: MOCK_ARGUMENTS)
effective procedure
{}
top
require
done
effective procedure
{MOCK_EXPECTATION_GROUP}
top
ensure
  • ready
all_called
effective procedure
{MOCK_EXPECTATION_GROUP}
top
ensure
  • target.missing_expectations = Void
all_done_message_in (message: STRING)
effective procedure
{MOCK_EXPECTATION_GROUP}
top
require
  • message /= Void
  • ready
all_done: BOOLEAN
effective function
{MOCK_EXPECTATION_GROUP}
top
counter: MOCK_TIMES
writable attribute
{}
top
make (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arg_matchers: MOCK_MATCHERS)
effective procedure
{}
top
require
  • a_target /= Void
  • a_feature_name.is_interned
ensure
start_replay (missing_expectations: COLLECTION[MOCK_EXPECTATION])
effective procedure
{MOCK_EXPECTATION_GROUP}
top
require
  • missing_expectations /= Void
ensure
  • target.missing_expectations = missing_expectations
stop_replay
effective procedure
{MOCK_EXPECTATION_GROUP}
top
effective procedure
{ANY}
top
require
  • what_to_do /= Void
ensure
scenario: MOCK_SCENARIO
writable attribute
{ANY}
top
assert (test: BOOLEAN)
effective procedure
{ANY}
top
Check that test is actually True.
If test is True, nothing happens except that the assert_counter is incremented by one. When test is False, an error message is printed on std_output; a breakpoint allow you to find out what is going wrong (assuming you are using the -sedb debugger); and the program exits with a non-zero status.
Note: you may change that default behaviour by calling when_test_fails.
label_assert (label: ABSTRACT_STRING, test: BOOLEAN)
effective procedure
{ANY}
top
Check that test is actually True.
If test is True, nothing happens except that the assert_counter is incremented by one. When test is False, the label is printed on std_output; a breakpoint allow you to find out what is going wrong (assuming you are using the -sedb debugger); and the program exits with a non-zero status.
Note: you may change that default behaviour by calling when_test_fails.
require
  • not test implies label /= Void
message_assert (message_generator: FUNCTION[TUPLE, ABSTRACT_STRING], test: BOOLEAN)
effective procedure
{ANY}
top
Check that test is actually True.
If test is True, nothing happens except that the assert_counter is incremented by one. When test is False, the generated message is printed on std_output; a breakpoint allow you to find out what is going wrong (assuming you are using the -sedb debugger); and the program exits with a non-zero status.
Note: you may change that default behaviour by calling when_test_fails.
require
  • not test implies message_generator /= Void
start_timer: MICROSECOND_TIME
effective function
{}
top
stop_timer (start: MICROSECOND_TIME)
effective procedure
{}
top
timed (action: PROCEDURE[TUPLE])
effective procedure
{}
top
assert_counter: COUNTER
once function
{}
top
Unique once COUNTER used to count assert calls.
assertion_flag: STRING
effective function
{}
top
assertion_level: INTEGER_32
writable attribute
{}
top
assertion_level_none: INTEGER_32
is 0
constant attribute
{}
top
assertion_level_require: INTEGER_32
is 1
constant attribute
{}
top
assertion_level_ensure: INTEGER_32
is 2
constant attribute
{}
top
assertion_level_class_invariant: INTEGER_32
is 3
constant attribute
{}
top
assertion_level_loop_invariant: INTEGER_32
is 4
constant attribute
{}
top
assertion_level_check: INTEGER_32
is 5
constant attribute
{}
top
set_require: BOOLEAN
effective function
{}
top
set_loop_invariant: BOOLEAN
effective function
{}
top
set_check: BOOLEAN
effective function
{}
top
set_ensure: BOOLEAN
effective function
{}
top
set_class_invariant: BOOLEAN
effective function
{}
top
probe_assertion_level
effective procedure
{EIFFELTEST_TOOLS}
top
require ensure
once function
{}
top
default_test_failed (id: INTEGER_32, lbl: ABSTRACT_STRING, gen: ABSTRACT_STRING, ass_flag: ABSTRACT_STRING)
effective procedure
{}
top
require
  • lbl /= Void
  • gen /= Void
  • ass_flag /= Void
counter_to_message: FUNCTION[TUPLE, ABSTRACT_STRING]
once function
{}
top
count_to_message: ABSTRACT_STRING
effective function
{}
top
label_to_message (label: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{}
top
require
  • label /= Void
ensure
  • Result = label