|
Class Summary |
| Block |
Block represents a basic block of code used in control flow
graphs. |
| DominanceFrontier |
DominanceFrontier is used to calculate the dominance
frontier of each node in a control flow graph.
|
| DominatorTree |
DominatorTree finds the dominator tree of a FlowGraph.
|
| FlowGraph |
FlowGraph constructs and represents a Control Flow Graph (CFG) used
for analyzing a method. |
| Handler |
Handler represents a try-catch block. |
| ReplaceTarget |
ReplaceTarget replaces the block that is the target of a
JumpStmt, JsrStmt, RetStmt,
GotoStmt, SwitchStmt, or IfStmt with
another Block. |
| Subroutine |
Subroutine represents a subroutine (target of a jsr
instruction) in java bytecode. |
| VerifyCFG |
VerifyCFG visits the nodes in a control flow graph and verifies
that certain properties of the graph are true. |
