Package randoop.instrument

Class CoveredClassVisitor

java.lang.Object

randoop.instrument.CoveredClassVisitor

All Implemented Interfaces:

ExecutionVisitor

public class CoveredClassVisitor
extends Object
implements ExecutionVisitor

A ExecutionVisitor that polls a set of coverage instrumented classes and adds each covered class to an ExecutableSequence after it is executed.

Field Summary

Fields

Modifier and Type	Field	Description
private Set<Class<?>>	classes	The classes to be polled.

Constructor Summary

Constructors

Constructor	Description
CoveredClassVisitor(Set<Class<?>> classes)	Creates a visitor to poll the given classes for coverage by sequence executions.

Method Summary

Modifier and Type	Method	Description
private boolean	checkAndReset(Class<?> c)	Calls the coverage instrumentation method.
void	initialize(ExecutableSequence eseq)	Called before execution of a sequence, to allow the visitor to perform any initialization steps required before execution.
void	visitAfterSequence(ExecutableSequence eseq)	Called after execution of a sequence.
void	visitAfterStatement(ExecutableSequence eseq, int i)	Invoked by ExecutableSequence.execute after the i-th statement executes.
void	visitBeforeStatement(ExecutableSequence eseq, int i)	Invoked by ExecutableSequence.execute before the i-th statement executes.

Methods inherited from class java.lang.Object

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

Field Detail

classes

private Set<Class<?>> classes

The classes to be polled.

Constructor Detail

CoveredClassVisitor

public CoveredClassVisitor(Set<Class<?>> classes)

Creates a visitor to poll the given classes for coverage by sequence executions.

Parameters:

classes - the set of classes to poll for coverage by a sequence

Method Detail

visitAfterSequence

public void visitAfterSequence(ExecutableSequence eseq)

Called after execution of a sequence.

Registers each class covered with the sequence execution results.

Specified by:

visitAfterSequence in interface ExecutionVisitor

Parameters:

eseq - the visited code sequence

checkAndReset

private boolean checkAndReset(Class<?> c)

Calls the coverage instrumentation method.

Parameters:

c - the class for which method is to be called

Returns:

true if the instrumentation method is true, false otherwise

visitBeforeStatement

public void visitBeforeStatement(ExecutableSequence eseq,
                                 int i)

Description copied from interface: ExecutionVisitor

Invoked by ExecutableSequence.execute before the i-th statement executes.

Precondition: statements 0..i-1 have been executed.

Specified by:

visitBeforeStatement in interface ExecutionVisitor

Parameters:

eseq - the code sequence to be visited

i - the position of statement to visit

visitAfterStatement

public void visitAfterStatement(ExecutableSequence eseq,
                                int i)

Description copied from interface: ExecutionVisitor

Invoked by ExecutableSequence.execute after the i-th statement executes.

Precondition: statements 0..i have been executed.

Specified by:

visitAfterStatement in interface ExecutionVisitor

Parameters:

eseq - the code sequence to be visited

i - the position of statement to visit

initialize

public void initialize(ExecutableSequence eseq)

Description copied from interface: ExecutionVisitor

Called before execution of a sequence, to allow the visitor to perform any initialization steps required before execution.

Specified by:

initialize in interface ExecutionVisitor

Parameters:

eseq - the code sequence to be visited