Package randoop.contract


package randoop.contract
  • Class
    Description
    Represents 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 printing ObjectContract 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 where var3 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.