+
Point of view
All features
deferred class MOCK_EXPECTATION
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: MOCK_TYPED_EXPECTATION
Class invariant
top
Overview
top
ready: BOOLEAN
deferred function
{ANY}
top
target: MOCK_OBJECT
deferred function
{ANY}
top
feature_name: FIXED_STRING
deferred function
{ANY}
top
can_call (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arguments: MOCK_ARGUMENTS): BOOLEAN
deferred function
{ANY}
top
require
  • ready
  • a_target /= Void
  • a_feature_name.is_interned
  • a_arguments /= Void
ensure
  • Result implies target.missing_expectations /= Void
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
done
deferred procedure
{MOCK_EXPECTATION_GROUP}
top
ensure
all_called
deferred procedure
{MOCK_EXPECTATION_GROUP}
top
ensure
  • target.missing_expectations = Void
all_done_message_in (message: STRING)
deferred procedure
{MOCK_EXPECTATION_GROUP}
top
require
all_done: BOOLEAN
deferred function
{MOCK_EXPECTATION_GROUP}
top