+
Point of view
All features
class MOCK_EXPECTATION_GROUPS
- not groups.is_empty
- set_class_invariant
- test_failed.item /= Void
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)
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