Interface PathVisitor

All Known Implementing Classes:
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor
public interface PathVisitor
Visit the BasicBlocks, InstructionHandles, and Edges along a Path.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    visitBasicBlock(BasicBlock basicBlock)
    Start to visit the given BasicBlock.
    void
    visitEdge(Edge edge)
    Visit an Edge connecting two BasicBlocks in the Path being visited.
    void
    visitInstructionHandle(org.apache.bcel.generic.InstructionHandle handle)
    Visit an InstructionHandle within the BasicBlock currently being visited.

  • Method Details

    • visitBasicBlock

      void visitBasicBlock(BasicBlock basicBlock)
      Start to visit the given BasicBlock.
      Parameters:
      basicBlock - a BasicBlock in the Path being visited

    • visitInstructionHandle

      void visitInstructionHandle(org.apache.bcel.generic.InstructionHandle handle)
      Visit an InstructionHandle within the BasicBlock currently being visited.
      Parameters:
      handle - an InstructionHandle within the current BasicBlock

    • visitEdge

      void visitEdge(Edge edge)
      Visit an Edge connecting two BasicBlocks in the Path being visited.
      Parameters:
      edge - an Edge connecting two BasicBlocks in the Path being visited