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