ControlFlowGraph (bcel-5.3 API)

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.

Version:

$Id: ControlFlowGraph.java 438658 2006-08-30 21:52:09Z dbrosius $

Author:

Enver Haase

Constructor Summary

Constructors
Constructor Description

ControlFlowGraph(MethodGen method_gen)
A Control Flow Graph.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ControlFlowGraph
```
public ControlFlowGraph(MethodGen method_gen)
```
    A Control Flow Graph.
- Method Detail
  - contextOf
```
public InstructionContext contextOf(InstructionHandle inst)
```
    Returns the InstructionContext of a given instruction.
  - contextsOf
```
public InstructionContext[] contextsOf(InstructionHandle[] insts)
```
    Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.
  - 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.