| 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 adding a concise representation of the exceptional flow as well as START/STOP auxiliary nodes.
|
| IRegion |
This interface represents a region of control dependence in the control flow graph.
|
| PDGNode |
This class defines a Node in the Program Dependence Graph.
|
| PDGNode.Attribute |
|
| PDGNode.Type |
|
| PDGRegion |
This represents a region of control dependence obtained by constructing a program dependence graph.
|
| ProgramDependenceGraph |
This defines the interface to a Program Dependence Graph as defined in
Ferrante, J., Ottenstein, K.
|
| Region |
This class was originally designed to represent a weak region.
|