Uses of Interface
org.apache.bcel.verifier.structurals.InstructionContext

Packages that use InstructionContext
org.apache.bcel.verifier.structurals Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect. 
 

Uses of InstructionContext in org.apache.bcel.verifier.structurals
 

Classes in org.apache.bcel.verifier.structurals that implement InstructionContext
private  class ControlFlowGraph.InstructionContextImpl
          Objects of this class represent a node in a ControlFlowGraph.
 

Methods in org.apache.bcel.verifier.structurals that return InstructionContext
 InstructionContext ControlFlowGraph.contextOf(InstructionHandle inst)
          Returns the InstructionContext of a given instruction.
 InstructionContext[] ControlFlowGraph.contextsOf(InstructionHandle[] insts)
          Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.
 InstructionContext Pass3bVerifier.InstructionContextQueue.getIC(int i)
           
 InstructionContext[] ControlFlowGraph.getInstructionContexts()
          Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).
 InstructionContext[] InstructionContext.getSuccessors()
          Returns the usual control flow successors.
 InstructionContext[] ControlFlowGraph.InstructionContextImpl.getSuccessors()
           
 

Methods in org.apache.bcel.verifier.structurals with parameters of type InstructionContext
 void Pass3bVerifier.InstructionContextQueue.add(InstructionContext ic, java.util.ArrayList executionChain)
           
private  void Pass3bVerifier.circulationPump(ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)
          Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].