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