+
Point of view
All features
deferred class EIFFELTEST_TOOLS
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