| CheckRepContract |
Represents the contract that an object must conform to its representation invariant, as expressed
in a user-supplied representation check method.
|
| CompareToAntiSymmetric |
The contract: Checks that an object is antisymmetric over compareTo.
|
| CompareToEquals |
The contract: Checks that compareTo is consistent with equals.
|
| CompareToReflexive |
The contract: Checks that an object is reflexive over compareTo.
|
| CompareToReturnsNormally |
Checks that calling compareTo() on an object does not throw an exception.
|
| CompareToSubs |
The contract: Checks the substitutability property of compareTo for equals.
|
| CompareToTransitive |
The contract: Checks the transitivity of the compare to method.
|
| EnumValue |
A check for a particular value of an Enum.
|
| EqualsHashcode |
The contract: o1.equals(o2) ==> o1.hashCode() == o2.hashCode().
|
| EqualsReflexive |
The contract: x0.equals(x0)==true.
|
| EqualsReturnsNormally |
Checks that calling equals() on an object does not throw an exception.
|
| EqualsSymmetric |
The contract: o1.equals(o2) ==> o2.equals(o1).
|
| EqualsToNullRetFalse |
The contract: x0.equals(null)==false.
|
| EqualsTransitive |
The contract: Checks the transitivity of equals for an object (x0.equals(x1) &&
x1.equals(x2)) ==> x0.equals(x2).
|
| HashCodeReturnsNormally |
Checks that calling hashCode() on an object does not throw an exception.
|
| IsNotNull |
The contract: x != null.
|
| IsNull |
The contract: x == null.
|
| ObjectContract |
An object contract represents a property that must hold of any object of a given class.
|
| ObjectContractUtils |
Utility methods for safely executing and printing ObjectContract code. |
| ObserverEqArray |
A check recording the current state of an array during execution.
|
| ObserverEqValue |
A check recording the value that an observer method returned during execution, e.g.
|
| PrimValue |
A check recording the value of a primitive value (or String) obtained during execution (e.g.,
var3 == 1 where var3 is an integer-valued variable in a Randoop test).
|
| SizeToArrayLength |
The contract: c.toArray().length == c.size() for all Collections c.
|
| ToStringReturnsNormally |
Checks that calling toString() on an object does not throw an exception.
|