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)
ExecutionVisitorinitialize in interface ExecutionVisitoreseq - the code sequence to be visitedpublic void visitBeforeStatement(ExecutableSequence eseq, int i)
ExecutionVisitorPrecondition: statements 0..i-1 have been executed.
visitBeforeStatement in interface ExecutionVisitoreseq - the code sequence to be visitedi - the position of statement to visitpublic void visitAfterStatement(ExecutableSequence eseq, int i)
ExecutionVisitorPrecondition: statements 0..i have been executed.
visitAfterStatement in interface ExecutionVisitoreseq - the code sequence to be visitedi - the position of statement to visitpublic void visitAfterSequence(ExecutableSequence eseq)
ExecutionVisitorvisitAfterSequence in interface ExecutionVisitoreseq - the visited code sequence