EqualityTestInfo
EqualityTestInfo
- Superclass
- Object
- Subclasses
- none
- Referenced By
- none
This class is used for storing the test info of OTFEqualityProve, which
compares two values.
Instance Variables
description <String> description of the resutl
left <anObject> value of the left part of the comparison
right <anObject> value of the right part of the comparion
Developed by Dmitry Zelenko (zelenko@cat.ncsa.uiuc.edu)