org.evosuite.assertion

Class OutputTrace<T extends OutputTraceEntry>

java.lang.Object

org.evosuite.assertion.OutputTrace<T>

All Implemented Interfaces:

Cloneable

public class OutputTrace<T extends OutputTraceEntry>
extends Object
implements Cloneable

Abstract base class of execution traces

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Integer,Map<Integer,T>>	trace One entry per statement and per variable

Constructor Summary

Constructors

Constructor and Description
OutputTrace()

Method Summary

Modifier and Type	Method and Description
void	addEntry(int position, VariableReference var, T entry) Insert a new entry into the trace
void	clear() Reset the trace
OutputTrace<T>	clone()
boolean	containsEntry(int position, VariableReference var) Get the current entry at the given position
boolean	differs(OutputTrace<?> other) Binary decision whether the two traces differ in any way
int	getAllAssertions(TestCase test) Get all possible assertions
int	getAllAssertions(TestCase test, int statement) Get all possible assertions
int	getAssertions(TestCase test, OutputTrace<?> other) Get all assertions based on trace differences
T	getEntry(int position, VariableReference var) Get the current entry at the given position
boolean	isDetectedBy(Assertion assertion) Check if this trace makes the assertion fail
int	numDiffer(OutputTrace<?> other) Count the number of differences between two traces
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

trace

protected Map<Integer,Map<Integer,T extends OutputTraceEntry>> trace

One entry per statement and per variable

Constructor Detail

OutputTrace

public OutputTrace()

Method Detail

addEntry

public void addEntry(int position,
                     VariableReference var,
                     T entry)

Insert a new entry into the trace

Type Parameters:

T - a T object.

Parameters:

position - a int.

entry - a T object.

var - a VariableReference object.

getEntry

public T getEntry(int position,
                  VariableReference var)

Get the current entry at the given position

Parameters:

position - a int.

var - a VariableReference object.

Returns:

a T object.

containsEntry

public boolean containsEntry(int position,
                             VariableReference var)

Get the current entry at the given position

Parameters:

position - a int.

var - a VariableReference object.

Returns:

a boolean.

differs

public boolean differs(OutputTrace<?> other)

Binary decision whether the two traces differ in any way

Parameters:

other - a OutputTrace object.

Returns:

a boolean.

numDiffer

public int numDiffer(OutputTrace<?> other)

Count the number of differences between two traces

Parameters:

other - a OutputTrace object.

Returns:

a int.

getAssertions

public int getAssertions(TestCase test,
                         OutputTrace<?> other)

Get all assertions based on trace differences

Parameters:

test - a TestCase object.

other - a OutputTrace object.

Returns:

a int.

getAllAssertions

public int getAllAssertions(TestCase test)

Get all possible assertions

Parameters:

test - a TestCase object.

Returns:

a int.

getAllAssertions

public int getAllAssertions(TestCase test,
                            int statement)

Get all possible assertions

Parameters:

test - a TestCase object.

Returns:

a int.

isDetectedBy

public boolean isDetectedBy(Assertion assertion)

Check if this trace makes the assertion fail

Parameters:

assertion - a Assertion object.

Returns:

a boolean.

clear

public void clear()

Reset the trace

clone

public OutputTrace<T> clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object