Class ControlFlowGraph
java.lang.Object
org.apache.bcel.verifier.structurals.ControlFlowGraph
This class represents a control flow graph of a method.
- Version:
- $Id: ControlFlowGraph.java 438658 2006-08-30 21:52:09Z dbrosius $
- Author:
- Enver Haase
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncontextOf
(InstructionHandle inst) Returns the InstructionContext of a given instruction.contextsOf
(InstructionHandle[] insts) Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).boolean
Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this ControlFlowGraph.
-
Constructor Details
-
ControlFlowGraph
A Control Flow Graph.
-
-
Method Details
-
contextOf
Returns the InstructionContext of a given instruction. -
contextsOf
Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner. -
getInstructionContexts
Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!). -
isDead
Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this ControlFlowGraph.
-