Package randoop.contract
package randoop.contract
-
ClassDescriptionRepresents the contract that an object must conform to its representation invariant, as expressed in a user-supplied representation check method.The contract: Checks that an object is antisymmetric over compareTo.The contract: Checks that compareTo is consistent with equals.The contract: Checks that an object is reflexive over compareTo.Checks that calling compareTo() on an object does not throw an exception.The contract: Checks the substitutability property of compareTo for equals.The contract: Checks the transitivity of the compare to method.A check for a particular value of an
Enum
.The contract:o1.equals(o2) ==> o1.hashCode() == o2.hashCode()
.The contract:x0.equals(x0)==true
.Checks that calling equals() on an object does not throw an exception.The contract:o1.equals(o2) ==> o2.equals(o1)
.The contract:x0.equals(null)==false
.The contract: Checks the transitivity of equals for an object(x0.equals(x1) && x1.equals(x2)) ==> x0.equals(x2)
.Checks that calling hashCode() on an object does not throw an exception.The contract:x != null
.The contract:x == null
.An object contract represents a property that must hold of any object of a given class.Utility methods for safely executing and printingObjectContract
code.A check recording the value that an observer method returned during execution, e.g.A check recording the value of a primitive value (or String) obtained during execution (e.g.,var3 == 1
wherevar3
is an integer-valued variable in a Randoop test).Specifies what type of equality the contract uses.The contract:c.toArray().length == c.size()
for all Collections c.Checks that calling toString() on an object does not throw an exception.