Uses of Class
org.evosuite.contracts.ContractViolation

Packages that use ContractViolation

Package	Description
org.evosuite.contracts
org.evosuite.result
org.evosuite.testcase

Uses of ContractViolation in org.evosuite.contracts

Methods in org.evosuite.contracts that return ContractViolation

Modifier and Type	Method and Description
ContractViolation	UndeclaredExceptionContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	ToStringReturnsNormallyContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	NullPointerExceptionContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	JUnitTheoryContract.check(Statement statement, Scope scope, Throwable exception)
ContractViolation	JCrasherExceptionContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	HashCodeReturnsNormallyContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	EqualsSymmetricContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	EqualsNullContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	EqualsHashcodeContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	EqualsContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
abstract ContractViolation	Contract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
ContractViolation	AssertionErrorContract.check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope

Methods in org.evosuite.contracts that return types with arguments of type ContractViolation

Modifier and Type	Method and Description
static Collection<ContractViolation>	FailingTestSet.getContractViolations()

Methods in org.evosuite.contracts with parameters of type ContractViolation

Modifier and Type	Method and Description
static void	FailingTestSet.addFailingTest(ContractViolation violation)
static boolean	FailingTestSet.hasViolation(ContractViolation violation) Determine if we already have an instance of this violation
boolean	ContractViolation.same(ContractViolation other) Determine if we have already seen an instance of this violation

Uses of ContractViolation in org.evosuite.result

Constructors in org.evosuite.result with parameters of type ContractViolation

Constructor and Description
Failure(ContractViolation violation)

Uses of ContractViolation in org.evosuite.testcase

Methods in org.evosuite.testcase that return types with arguments of type ContractViolation

Modifier and Type	Method and Description
Set<ContractViolation>	TestCase.getContractViolations() Retrieve all violations observed during test execution
Set<ContractViolation>	DefaultTestCase.getContractViolations()

Methods in org.evosuite.testcase with parameters of type ContractViolation

Modifier and Type	Method and Description
void	TestCase.addContractViolation(ContractViolation violation) Keep track of an additional test failure
void	DefaultTestCase.addContractViolation(ContractViolation violation)