org.evosuite.contracts

Class UndeclaredExceptionContract

java.lang.Object

org.evosuite.contracts.Contract

org.evosuite.contracts.UndeclaredExceptionContract

public class UndeclaredExceptionContract
extends Contract

UndeclaredExceptionContract class.

Author:

Gordon Fraser

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
UndeclaredExceptionContract()

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.
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

changeClassLoader, 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

UndeclaredExceptionContract

public UndeclaredExceptionContract()

Method Detail

check

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

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

toString

public String toString()

Overrides:

toString in class Object