|
|||||||||
| 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 | ||||||||