Package 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 Details

    • 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