Package sandmark.util.controlflowgraph

Class Summary

Assert	This class is used for making assertions, if an assertion fails an IllegalArgumentException is thrown.
BasicBlock	BasicBlock represents a basic block in a control flow graph.
DominanceFrontier
DomTree	All files in the distribution of BLOAT (Bytecode Level Optimization and Analysis tool for Java(tm)) are Copyright 1997-2001 by the Purdue Research Foundation of Purdue University.
Graph
GraphNode	GraphNode represents a node in a Graph.
MethodCFG