Frames | No Frames |
Classes implementing org.apache.bcel.verifier.structurals.InstructionContext | |
class | Objects of this class represent a node in a ControlFlowGraph. |
Methods with parameter type org.apache.bcel.verifier.structurals.InstructionContext | |
void | |
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]. |
Methods with return type org.apache.bcel.verifier.structurals.InstructionContext | |
InstructionContext | Returns the InstructionContext of a given instruction. |
InstructionContext[] | Returns the InstructionContext[] of a given InstructionHandle[],
in a naturally ordered manner. |
InstructionContext | |
InstructionContext[] | Returns an InstructionContext[] with all the InstructionContext instances
for the method whose control flow is represented by this ControlFlowGraph
(NOT ORDERED!). |
InstructionContext[] | Returns the usual control flow successors. |
InstructionContext[] | Returns the usual control flow successors. |