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 386056 2006-03-15 11:31:56Z tcurdt $
exceptionhandlers
private final ExceptionHandlers exceptionhandlers
The ExceptionHandlers object for the method whose control flow is represented by this ControlFlowGraph.
instructionContexts
private Hashtable instructionContexts
All InstructionContext instances of this ControlFlowGraph.
method_gen
private final MethodGen method_gen
The MethodGen object we're working on.
subroutines
private final Subroutines subroutines
The Subroutines object for the method whose control flow is represented by this ControlFlowGraph.
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 is not part of this ControlFlowGraph.