org.apache.bcel.verifier.structurals
Class ControlFlowGraph
java.lang.Object
org.apache.bcel.verifier.structurals.ControlFlowGraph
public class ControlFlowGraph
extends java.lang.Object
This class represents a control flow graph of a method.
$Id: ControlFlowGraph.java,v 1.1.1.1 2001/10/29 20:00:37 jvanzyl Exp $
ControlFlowGraph
public ControlFlowGraph(MethodGen method_gen)
A Control Flow Graph.
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 not part of this ControlFlowGraph.