randoop.test

Class ObjectCheck

java.lang.Object

randoop.test.ObjectCheck

All Implemented Interfaces:

Check

public class ObjectCheck
extends java.lang.Object
implements Check

A check that checks for expected properties of one or more objects generated during the execution of a Sequence, for example:

• Checking that the objects created during execution of a sequence respect reflexivity, transitivity and symmetry of equality.
• Checking that calling toString() on the objects created during execution of a sequence does not throw an exception.

An ObjectCheck has two parts:

• A ObjectContract responsible for performing the actual check on a set of runtime values. For example. the class EqualsReflexive is a checker code class that, given an object o, calls o.equals(o) and checks that it returns true.
• A list of Variables, which describe the specific objects in the sequence that the check is over.

Field Summary

Fields

Modifier and Type	Field and Description
private ObjectContract	contract The contract that is checked.
private Variable[]	vars The variables for the contract.

Constructor Summary

Constructors

Constructor and Description
ObjectCheck(ObjectContract contract, Variable... vars) Creates an ObjectCheck for the given contract using the variables as input.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object o)
int	hashCode()
java.lang.String	toCodeStringPostStatement() Returns a string of Java source code to be emitted after a statement containing this check.
java.lang.String	toCodeStringPreStatement() Returns a string of Java source code to be emitted before a statement containing this check.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

contract

private final ObjectContract contract

The contract that is checked.

vars

private final Variable[] vars

The variables for the contract.

Constructor Detail

ObjectCheck

public ObjectCheck(ObjectContract contract,
                   Variable... vars)

Creates an ObjectCheck for the given contract using the variables as input.

Parameters:

contract - the contract to check

vars - the input variables for the created check

Method Detail

equals

public boolean equals(@Nullable java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toCodeStringPreStatement

public java.lang.String toCodeStringPreStatement()

Description copied from interface: Check

Returns a string of Java source code to be emitted before a statement containing this check.

Specified by:

toCodeStringPreStatement in interface Check

Returns:

the string to be included before the statement

toCodeStringPostStatement

public java.lang.String toCodeStringPostStatement()

Description copied from interface: Check

Returns a string of Java source code to be emitted after a statement containing this check.

Specified by:

toCodeStringPostStatement in interface Check

Returns:

the string to be included following the statement