org.evosuite.contracts

Class Contract

java.lang.Object

org.evosuite.contracts.Contract

Direct Known Subclasses:

AssertionErrorContract, EqualsContract, EqualsHashcodeContract, EqualsNullContract, EqualsSymmetricContract, HashCodeReturnsNormallyContract, JCrasherExceptionContract, JUnitTheoryContract, NullPointerExceptionContract, ToStringReturnsNormallyContract, UndeclaredExceptionContract

public abstract class Contract
extends Object

Based on ObjectContract / Randoop

Author:

Gordon Fraser

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	Contract.Pair<T>

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
Contract()

Method Summary

Modifier and Type	Method and Description
abstract void	addAssertionAndComments(Statement statement, List<VariableReference> variables, Throwable exception) Add an assertion to the statement based on the contract.
void	changeClassLoader(ClassLoader classLoader)
abstract ContractViolation	check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
boolean	fails(TestCase test) Run the test against this contract and determine whether it reports a failure
protected Collection<Contract.Pair<Object>>	getAllObjectPairs(Scope scope) getAllObjectPairs
protected Collection<Object>	getAllObjects(Scope scope) getAllObjects
protected Collection<Contract.Pair<VariableReference>>	getAllVariablePairs(Scope scope)
protected Collection<VariableReference>	getAllVariables(Scope scope)
protected boolean	isTargetStatement(Statement statement) Check if this statement is related to the unit under test

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

logger

protected static final org.slf4j.Logger logger

Constructor Detail

Contract

public Contract()

Method Detail

getAllObjects

protected Collection<Object> getAllObjects(Scope scope)

getAllObjects

Parameters:

scope - a Scope object.

Returns:

a Collection object.

getAllVariables

protected Collection<VariableReference> getAllVariables(Scope scope)

getAllObjectPairs

protected Collection<Contract.Pair<Object>> getAllObjectPairs(Scope scope)

getAllObjectPairs

Parameters:

scope - a Scope object.

Returns:

a Collection object.

getAllVariablePairs

protected Collection<Contract.Pair<VariableReference>> getAllVariablePairs(Scope scope)

isTargetStatement

protected boolean isTargetStatement(Statement statement)

Check if this statement is related to the unit under test

Parameters:

statement - a Statement object.

Returns:

a boolean.

fails

public boolean fails(TestCase test)

Run the test against this contract and determine whether it reports a failure

Parameters:

test - a TestCase object.

Returns:

a boolean.

check

public abstract ContractViolation check(Statement statement,
                                        Scope scope,
                                        Throwable exception)

Check the contract on the current statement in the current scope

Parameters:

statement - a Statement object.

scope - a Scope object.

exception - a Throwable object.

Returns:

a boolean.

addAssertionAndComments

public abstract void addAssertionAndComments(Statement statement,
                                             List<VariableReference> variables,
                                             Throwable exception)

Add an assertion to the statement based on the contract. The assertion should fail on a contract violation, and pass if the contract is satisfied.

Parameters:

statement -

variables -

exception -

changeClassLoader

public void changeClassLoader(ClassLoader classLoader)