+
Point of view
All features
class MOCK_EXPECTATION_GROUP
require
- not a_expectations.exists(.ready)
ensure
- a_expectations.for_all(.ready)
require
- a_target /= Void
- a_feature_name.is_interned
- a_arguments /= Void
ensure
- Result /= Void implies Result.can_call(a_target, a_feature_name, a_arguments)
all_done_message_in (message:
STRING)
effective procedure
frozen
effective procedure
{}
frozen
effective procedure
{}
frozen
effective procedure
{}
frozen
effective function
{}
frozen
effective function
{}
frozen
effective function
{}
require
- not test implies label /= Void
require
- not test implies message_generator /= Void
is 0
constant attribute
{}
is 1
constant attribute
{}
is 2
constant attribute
{}
is 3
constant attribute
{}
is 4
constant attribute
{}
is 5
constant attribute
{}
require
- lbl /= Void
- gen /= Void
- ass_flag /= Void