Eiffeldoc: MOCK_TYPED_EXPECTATION

+

Point of view

All features

deferred class MOCK_TYPED_EXPECTATION [T_ -> TUPLE]

Summary

Direct parents: Inherit list: MOCK_EXPECTATION; Insert list: EIFFELTEST_TOOLS
Known children: Inherit list: MOCK_FUNCTION_EXPECTATION, MOCK_PROCEDURE_EXPECTATION

Class invariant

target /= Void
feature_name.is_interned
arg_matchers /= Void
ready implies counter_ready
set_class_invariant
test_failed.item /= Void
target /= Void
feature_name.is_interned

Overview

Features

ready: BOOLEAN
target: MOCK_OBJECT
feature_name: FIXED_STRING
arg_matchers: MOCK_MATCHERS
counter_ready: BOOLEAN
out_in_tagged_out_memory

Append terse printable representation of current object in tagged_out_memory.

times (how_many: INTEGER_32): MOCK_TYPED_EXPECTATION [T_ -> TUPLE]
infix "*" (how_many: INTEGER_32): MOCK_TYPED_EXPECTATION [T_ -> TUPLE]
whenever: MOCK_TYPED_EXPECTATION [T_ -> TUPLE]

{}

counter_any_time: MOCK_TIMES_ANY

can_call (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arguments: MOCK_ARGUMENTS): BOOLEAN

{}

match_arguments (a_arguments: MOCK_ARGUMENTS): BOOLEAN

{}

call (a_arguments: MOCK_ARGUMENTS)

{MOCK_EXPECTATION_GROUP}

done
all_called
all_done_message_in (message: STRING)
all_done: BOOLEAN

{}

counter: MOCK_TIMES
do_call (args: MOCK_ARGUMENTS)

{}

make (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arg_matchers: MOCK_MATCHERS)

{MOCK_EXPECTATION_GROUP}

start_replay (missing_expectations: COLLECTION[MOCK_EXPECTATION])
stop_replay

Action when an assert fails

when_test_fails (what_to_do: PROCEDURE[TUPLE 4[INTEGER_32, ABSTRACT_STRING, ABSTRACT_STRING, ABSTRACT_STRING]])

Mock features

scenario: MOCK_SCENARIO

assert methods used by tests

assert (test: BOOLEAN)

Check that test is actually True.
label_assert (label: ABSTRACT_STRING, test: BOOLEAN)

Check that test is actually True.
message_assert (message_generator: FUNCTION[TUPLE, ABSTRACT_STRING], test: BOOLEAN)

Check that test is actually True.

timer features

{}

{}

assert_counter: COUNTER

Unique once COUNTER used to count assert calls.
assertion_flag: STRING
assertion_level: INTEGER_32
assertion_level_none: INTEGER_32
assertion_level_require: INTEGER_32
assertion_level_ensure: INTEGER_32
assertion_level_class_invariant: INTEGER_32
assertion_level_loop_invariant: INTEGER_32
assertion_level_check: INTEGER_32
set_require: BOOLEAN
set_loop_invariant: BOOLEAN
set_check: BOOLEAN
set_ensure: BOOLEAN
set_class_invariant: BOOLEAN

{EIFFELTEST_TOOLS}

probe_assertion_level

{}

test_failed: REFERENCE[PROCEDURE[TUPLE 4[INTEGER_32, ABSTRACT_STRING, ABSTRACT_STRING, ABSTRACT_STRING]]]
default_test_failed (id: INTEGER_32, lbl: ABSTRACT_STRING, gen: ABSTRACT_STRING, ass_flag: ABSTRACT_STRING)
counter_to_message: FUNCTION[TUPLE, ABSTRACT_STRING]
count_to_message: ABSTRACT_STRING
label_to_message (label: ABSTRACT_STRING): ABSTRACT_STRING

ready: BOOLEAN

writable attribute

target: MOCK_OBJECT

writable attribute

feature_name: FIXED_STRING

writable attribute

arg_matchers: MOCK_MATCHERS

writable attribute

counter_ready: BOOLEAN

effective function

out_in_tagged_out_memory

effective procedure

Append terse printable representation of current object in tagged_out_memory.

times (how_many: INTEGER_32): MOCK_TYPED_EXPECTATION [T_ -> TUPLE]

effective function

infix "*" (how_many: INTEGER_32): MOCK_TYPED_EXPECTATION [T_ -> TUPLE]

effective function

whenever: MOCK_TYPED_EXPECTATION [T_ -> TUPLE]

effective function

counter_any_time: MOCK_TIMES_ANY

once function

{}

can_call (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arguments: MOCK_ARGUMENTS): BOOLEAN

effective function

match_arguments (a_arguments: MOCK_ARGUMENTS): BOOLEAN

effective function

{}

call (a_arguments: MOCK_ARGUMENTS)

effective procedure

{}

done

effective procedure

{MOCK_EXPECTATION_GROUP}

all_called

effective procedure

{MOCK_EXPECTATION_GROUP}

all_done_message_in (message: STRING)

effective procedure

{MOCK_EXPECTATION_GROUP}

all_done: BOOLEAN

effective function

{MOCK_EXPECTATION_GROUP}

counter: MOCK_TIMES

writable attribute

{}

do_call (args: MOCK_ARGUMENTS)

deferred procedure

{}

make (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arg_matchers: MOCK_MATCHERS)

effective procedure

{}

start_replay (missing_expectations: COLLECTION[MOCK_EXPECTATION])

effective procedure

{MOCK_EXPECTATION_GROUP}

stop_replay

effective procedure

{MOCK_EXPECTATION_GROUP}

when_test_fails (what_to_do: PROCEDURE[TUPLE 4[INTEGER_32, ABSTRACT_STRING, ABSTRACT_STRING, ABSTRACT_STRING]])

effective procedure

scenario: MOCK_SCENARIO

writable attribute

assert (test: BOOLEAN)

effective procedure

Check that test is actually True.

label_assert (label: ABSTRACT_STRING, test: BOOLEAN)

effective procedure

Check that test is actually True.

message_assert (message_generator: FUNCTION[TUPLE, ABSTRACT_STRING], test: BOOLEAN)

effective procedure

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

{EIFFELTEST_TOOLS}

test_failed: REFERENCE[PROCEDURE[TUPLE 4[INTEGER_32, ABSTRACT_STRING, ABSTRACT_STRING, ABSTRACT_STRING]]]

once function

{}

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

{}