org.evosuite.contracts

Class ContractViolation

java.lang.Object

org.evosuite.contracts.ContractViolation

public class ContractViolation
extends Object

ContractViolation class.

Author:

Gordon Fraser

Constructor Summary

Constructors

Constructor and Description
ContractViolation(Contract contract, Statement statement, Throwable exception, VariableReference... variables) Constructor for ContractViolation.

Method Summary

Modifier and Type	Method and Description
void	changeClassLoader(ClassLoader classLoader)
Contract	getContract() Getter for contract that was violated
Throwable	getException()
int	getPosition()
Statement	getStatement()
TestCase	getTestCase() Getter for test case
protected VariableReference	getVariable(int num)
boolean	isExceptionOfType(Class<?> throwableClass)
void	minimizeTest() Remove all statements that do not contribute to the contract violation
boolean	resultsFromMethod(String methodName)
boolean	same(ContractViolation other) Determine if we have already seen an instance of this violation
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ContractViolation

public ContractViolation(Contract contract,
                         Statement statement,
                         Throwable exception,
                         VariableReference... variables)

Constructor for ContractViolation.

Parameters:

contract - a Contract object.

statement - a Statement object.

exception - a Throwable object.

Method Detail

getVariable

protected VariableReference getVariable(int num)

getTestCase

public TestCase getTestCase()

Getter for test case

Returns:

a TestCase object.

getContract

public Contract getContract()

Getter for contract that was violated

Returns:

a Contract object.

getPosition

public int getPosition()

getException

public Throwable getException()

isExceptionOfType

public boolean isExceptionOfType(Class<?> throwableClass)

resultsFromMethod

public boolean resultsFromMethod(String methodName)

getStatement

public Statement getStatement()

minimizeTest

public void minimizeTest()

Remove all statements that do not contribute to the contract violation

same

public boolean same(ContractViolation other)

Determine if we have already seen an instance of this violation

Parameters:

other - a ContractViolation object.

Returns:

a boolean.

toString

public String toString()

Overrides:

toString in class Object

changeClassLoader

public void changeClassLoader(ClassLoader classLoader)