Class ControlFlowGraph

java.lang.Object
org.apache.bcel.verifier.structurals.ControlFlowGraph

public class ControlFlowGraph extends Object
This class represents a control flow graph of a method.
Version:
$Id: ControlFlowGraph.java 438658 2006-08-30 21:52:09Z dbrosius $
Author:
Enver Haase
  • Constructor Details

    • ControlFlowGraph

      public ControlFlowGraph(MethodGen method_gen)
      A Control Flow Graph.
  • Method Details

    • contextOf

      public InstructionContext contextOf(InstructionHandle inst)
      Returns the InstructionContext of a given instruction.
    • contextsOf

      public InstructionContext[] contextsOf(InstructionHandle[] insts)
      Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.
    • getInstructionContexts

      public InstructionContext[] getInstructionContexts()
      Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).
    • isDead

      public boolean isDead(InstructionHandle i)
      Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this ControlFlowGraph.