Package randoop

Class DummyVisitor

java.lang.Object
randoop.DummyVisitor
All Implemented Interfaces:
ExecutionVisitor
public final class DummyVisitor extends Object implements ExecutionVisitor
A visitor that does nothing and adds no checks.

  • Constructor Details

    • DummyVisitor

      public DummyVisitor()

  • Method Details

    • 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

    • 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

    • visitAfterSequence

      public void visitAfterSequence(ExecutableSequence eseq)
      Description copied from interface: ExecutionVisitor
      Called after execution of a sequence.
      Specified by:
      visitAfterSequence in interface ExecutionVisitor
      Parameters:
      eseq - the visited code sequence