+
Point of view
All features
deferred class MOCK_TYPED_OBJECT [E_ -> MOCK_EXPECT]
- set_class_invariant
- test_failed.item /= Void
can_add_missing_expectation:
BOOLEAN
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