randoop

Interface ExecutionVisitor

All Known Implementing Classes:

CoveredClassVisitor, DummyVisitor, MultiVisitor

public interface ExecutionVisitor

A visitor that is invoked as the execution of a sequence unfolds. Typically such a visitor adds decorations to the sequence based on checks of the runtime behavior.

IMPORTANT: Implementing classes should have a default constructor.

Method Summary

Modifier and Type	Method and Description
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.

Method Detail

visitBeforeStatement

void visitBeforeStatement(ExecutableSequence eseq,
                          int i)

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

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

Parameters:

eseq - the code sequence to be visited

i - the position of statement to visit

visitAfterStatement

void visitAfterStatement(ExecutableSequence eseq,
                         int i)

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

Precondition: statements 0..i have been executed.

Parameters:

eseq - the code sequence to be visited

i - the position of statement to visit

initialize

void initialize(ExecutableSequence eseq)

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

Parameters:

eseq - the code sequence to be visited

visitAfterSequence

void visitAfterSequence(ExecutableSequence eseq)

Called after execution of a sequence.

Parameters:

eseq - the visited code sequence