Package randoop.contract
Class CompareToTransitive
java.lang.Object
randoop.contract.ObjectContract
randoop.contract.CompareToTransitive
The contract: Checks the transitivity of the compare to method.
((x0.compareTo(x1) > 0) && (x1.compareTo(x2) > 0))
=> (x0.compareTo(x2) > 0)
-
Field Summary
Modifier and TypeFieldDescription(package private) static TypeTuple
The arguments to which this contract can be applied.private static final CompareToTransitive
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Evaluates the contract on the given values.Returns a string describing the observer.int
getArity()
The number of values that this contract is over.Returns the input types for this contract.static CompareToTransitive
A string that can be used as Java source code and will result in the expression being evaluated.A string that will be inserted as a comment in the test before the code corresponding to this contract.Methods inherited from class randoop.contract.ObjectContract
checkContract, failedContract, toStringHandleExceptions
-
Field Details
-
instance
-
inputTypes
The arguments to which this contract can be applied.
-
-
Constructor Details
-
CompareToTransitive
private CompareToTransitive()
-
-
Method Details
-
getInstance
-
evaluate
Description copied from class:ObjectContract
Evaluates the contract on the given values. Returnsfalse
if the contract was violated. Returnstrue
if the contract was satisfied or was not applicable.When calling this method during execution of a test, Randoop guarantees that
objects
does not contain anynull
objects, and thatobjects.length == getArity()
.- Specified by:
evaluate
in classObjectContract
- Parameters:
objects
- the actual parameters to this contract- Returns:
- false if the contract is violated, true otherwise
-
getArity
public int getArity()Description copied from class:ObjectContract
The number of values that this contract is over.- Specified by:
getArity
in classObjectContract
- Returns:
- the number of arguments to the contract
-
getInputTypes
Description copied from class:ObjectContract
Returns the input types for this contract.- Specified by:
getInputTypes
in classObjectContract
- Returns:
- the input types for this contract
-
toCommentString
Description copied from class:ObjectContract
A string that will be inserted as a comment in the test before the code corresponding to this contract. Occurrences of variables x0, x1, x2, etc. in the string will be replaced by actual values.- Specified by:
toCommentString
in classObjectContract
- Returns:
- the comment string representation of this contract
-
get_observer_str
Description copied from class:ObjectContract
Returns a string describing the observer.- Specified by:
get_observer_str
in classObjectContract
- Returns:
- a string description of the contract
-
toCodeString
Description copied from class:ObjectContract
A string that can be used as Java source code and will result in the expression being evaluated.The N-th object that participates in the contract check should be referred to as "xN" (for N one of 0, ... , 9). For example, if the expression of arity 2 represents a call of the equals method between two objects, the code should be something like
assert x0.equals(x1);
".The string does not contain a trailing newline. When there is a leading comment, it should start with a newline.
- Specified by:
toCodeString
in classObjectContract
- Returns:
- the code string representation of this contract; must be non-null
-