+
Point of view
All features
deferred class MOCK_EXPECTATION
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
require
- missing_expectations /= Void
ensure
- target.missing_expectations = missing_expectations
ensure
- target.missing_expectations = Void
all_done_message_in (message:
STRING)
deferred procedure