|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AnalysisResults<D> | The results of a dataflow analysis. |
BranchData<D> | Output data from a transfer function on a branch stmt in dataflow analysis. |
DataflowAnalysis<D> | A template for a dataflow analysis. |
DominatorAnalysis | Computes the dominators for each node in the CFG. |
InverseDominatorAnalysis | Computes the inverse dominators for each node in the CFG. |
ReachabilityAnalysis | Computes the set of nodes reachable from each node in the CFG (not including the node itself unless the node is part of a cycle). |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |