+
Point of view
All features
expanded class MOCK_SCENARIO
Summary
top
Direct parents
Insert list: ANY
Overview
top
expect (expectations: TRAVERSABLE[MOCK_EXPECTATION])
effective procedure
{EIFFELTEST_TOOLS}
top
require
next
effective procedure
{EIFFELTEST_TOOLS}
top
require
replay_all
effective procedure
{EIFFELTEST_TOOLS}
top
require ensure
is_replaying: BOOLEAN
effective function
{EIFFELTEST_TOOLS}
top
check_all_done
effective procedure
{EIFFELTEST_TOOLS}
top
require ensure
missing_expectations: TRAVERSABLE[MOCK_EXPECTATION]
writable attribute
{ANY}
top
check_call (a_target: MOCK_OBJECT, a_feature_name: FIXED_STRING, a_arguments: MOCK_ARGUMENTS): MOCK_EXPECTATION
effective function
{MOCK_EXPECT}
top
require
  • a_target /= Void
  • a_feature_name.is_interned
  • a_arguments /= Void
  • is_replaying
ensure
  • Result /= Void implies Result.can_call(a_target, a_feature_name, a_arguments)
once function
{}
top