| Class | Description |
|---|---|
| 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.
|
| Enum | Description |
|---|---|
| PrimValue.EqualityMode |
Specifies what type of equality the contract uses.
|