org.apache.bcel.verifier.structurals
public class ControlFlowGraph extends Object
Constructor Summary | |
---|---|
ControlFlowGraph(MethodGen method_gen)
A Control Flow Graph. |
Method Summary | |
---|---|
InstructionContext | contextOf(InstructionHandle inst)
Returns the InstructionContext of a given instruction. |
InstructionContext[] | contextsOf(InstructionHandle[] insts)
Returns the InstructionContext[] of a given InstructionHandle[],
in a naturally ordered manner. |
InstructionContext[] | getInstructionContexts()
Returns an InstructionContext[] with all the InstructionContext instances
for the method whose control flow is represented by this ControlFlowGraph
(NOT ORDERED!) |
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. |