public final class DummyVisitor extends java.lang.Object implements ExecutionVisitor
Constructor and Description |
---|
DummyVisitor() |
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.
|
public void initialize(ExecutableSequence eseq)
ExecutionVisitor
initialize
in interface ExecutionVisitor
eseq
- the code sequence to be visitedpublic void visitBeforeStatement(ExecutableSequence eseq, int i)
ExecutionVisitor
Precondition: statements 0..i-1 have been executed.
visitBeforeStatement
in interface ExecutionVisitor
eseq
- the code sequence to be visitedi
- the position of statement to visitpublic void visitAfterStatement(ExecutableSequence eseq, int i)
ExecutionVisitor
Precondition: statements 0..i have been executed.
visitAfterStatement
in interface ExecutionVisitor
eseq
- the code sequence to be visitedi
- the position of statement to visitpublic void visitAfterSequence(ExecutableSequence eseq)
ExecutionVisitor
visitAfterSequence
in interface ExecutionVisitor
eseq
- the visited code sequence