|
Class Summary |
| ConditionalPDGNode |
This represents a PDGNode that has more than 1 dependent but is not
a loop header. |
| EnhancedBlockGraph |
|
| EnhancedUnitGraph |
This class represents a control flow graph which behaves like an ExceptionalUnitGraph and
BriefUnitGraph when there are no exception handling construct in the method; at the presence
of such constructs, the CFG is constructed from a brief graph by addition a concise representation
of the exceptional flow as well as START/STOP auxiliary nodes. |
| HashMutablePDG |
This class implements a Program Dependence Graph as defined in
Ferrante, J., Ottenstein, K. |
| LoopedPDGNode |
This represents a loop in the PDG. |
| MHGDominatorTree |
Constructs a multi-headed dominator tree. |
| PDGNode |
This class defines a Node in the Program Dependence Graph. |
| PDGRegion |
This represents a region of control dependence obtained by constructing a
program dependence graph. |
| Region |
This class was originally designed to represent a weak region. |
| RegionAnalysis |
This class computes the set of weak regions for a given method. |