org.evosuite.contracts

Class ContractChecker

java.lang.Object

org.evosuite.testcase.execution.ExecutionObserver

org.evosuite.contracts.ContractChecker

public class ContractChecker
extends ExecutionObserver

ContractChecker class.

Author:

Gordon Fraser

Field Summary

Fields inherited from class org.evosuite.testcase.execution.ExecutionObserver

currentTest, WRAPPER_TYPES

Constructor Summary

Constructors

Constructor and Description
ContractChecker() Constructor for ContractChecker.

Method Summary

Modifier and Type	Method and Description
void	afterStatement(Statement statement, Scope scope, Throwable exception) After execution of a statement, the result is passed to the observer
void	beforeStatement(Statement statement, Scope scope) Called immediately before a statement is executed
void	clear() Need a way to clear previously produced results
static void	currentTest(TestCase test) Set the current test case, on which we check oracles while it is executed
void	output(int position, String output) This is called with the console output of each statement
static void	setActive(boolean isActive) Setter for the field active.
void	testExecutionFinished(ExecutionResult r, Scope s) Allow observers to update the execution result at the end the execution of a test.

Methods inherited from class org.evosuite.testcase.execution.ExecutionObserver

getCurrentTest, getDependentVariables, isWrapperType, setCurrentTest

Methods inherited from class java.lang.Object

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

Constructor Detail

ContractChecker

public ContractChecker()

Constructor for ContractChecker.

Method Detail

setActive

public static void setActive(boolean isActive)

Setter for the field active.

Parameters:

isActive - a boolean.

output

public void output(int position,
                   String output)

This is called with the console output of each statement

Specified by:

output in class ExecutionObserver

Parameters:

position - a int.

output - a String object.

currentTest

public static void currentTest(TestCase test)

Set the current test case, on which we check oracles while it is executed

Parameters:

test - a TestCase object.

afterStatement

public void afterStatement(Statement statement,
                           Scope scope,
                           Throwable exception)

After execution of a statement, the result is passed to the observer

Specified by:

afterStatement in class ExecutionObserver

Parameters:

statement - a Statement object.

scope - a Scope object.

exception - a Throwable object.

beforeStatement

public void beforeStatement(Statement statement,
                            Scope scope)

Description copied from class: ExecutionObserver

Called immediately before a statement is executed

Specified by:

beforeStatement in class ExecutionObserver

clear

public void clear()

Need a way to clear previously produced results

Specified by:

clear in class ExecutionObserver

testExecutionFinished

public void testExecutionFinished(ExecutionResult r,
                                  Scope s)

Description copied from class: ExecutionObserver

Allow observers to update the execution result at the end the execution of a test.

Specified by:

testExecutionFinished in class ExecutionObserver