org.evosuite.contracts

Class JUnitTheoryContract

java.lang.Object

org.evosuite.contracts.Contract

org.evosuite.contracts.JUnitTheoryContract

public class JUnitTheoryContract
extends Contract

Nested Class Summary

Nested classes/interfaces inherited from class org.evosuite.contracts.Contract

Contract.Pair<T>

Field Summary

Fields inherited from class org.evosuite.contracts.Contract

logger

Constructor Summary

Constructors

Constructor and Description
JUnitTheoryContract(GenericMethod theoryMethod)

Method Summary

Modifier and Type	Method and Description
void	addAssertionAndComments(Statement statement, List<VariableReference> variables, Throwable exception) Add an assertion to the statement based on the contract.
void	changeClassLoader(ClassLoader classLoader)
ContractViolation	check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
String	toString()

Methods inherited from class org.evosuite.contracts.Contract

fails, getAllObjectPairs, getAllObjects, getAllVariablePairs, getAllVariables, isTargetStatement

Methods inherited from class java.lang.Object

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

Constructor Detail

JUnitTheoryContract

public JUnitTheoryContract(GenericMethod theoryMethod)
                    throws InstantiationException,
                           IllegalAccessException

Throws:

InstantiationException

IllegalAccessException

Method Detail

check

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

Description copied from class: Contract

Check the contract on the current statement in the current scope

Specified by:

check in class Contract

Parameters:

statement - a Statement object.

scope - a Scope object.

exception - a Throwable object.

Returns:

a boolean.

addAssertionAndComments

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

Description copied from class: Contract

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.

Specified by:

addAssertionAndComments in class Contract

changeClassLoader

public void changeClassLoader(ClassLoader classLoader)

Overrides:

changeClassLoader in class Contract

toString

public String toString()

Overrides:

toString in class Object