|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProgramDependenceGraph
This defines the interface to a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K. J., and Warren, J. D. 1987. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 3 (Jul. 1987), 319-349. DOI= http://doi.acm.org/10.1145/24039.24041 Note that this interface should evolve based on the need.
Method Summary | |
---|---|
boolean |
dependentOn(PDGNode node1,
PDGNode node2)
This method determines if node1 is control-dependent on node2 in this PDG. |
List |
getDependents(PDGNode node)
This method returns the list of all dependents of a node in the PDG. |
PDGNode |
getPDGNode(Object cfgNode)
This method returns the PDGNode in the PDG corresponding to the given CFG node. |
List<PDGRegion> |
getPDGRegions()
This method returns the list of PDGRegions computed by the construction method. |
PDGNode |
GetStartNode()
|
IRegion |
GetStartRegion()
|
List<Region> |
getStrongRegions()
|
List<Region> |
getWeakRegions()
|
String |
toString()
|
Methods inherited from interface soot.toolkits.graph.MutableEdgeLabelledDirectedGraph |
---|
addEdge, addNode, containsAnyEdge, containsAnyEdge, containsEdge, containsNode, getEdgesForLabel, getLabelsForEdges, getNodes, removeAllEdges, removeAllEdges, removeEdge, removeNode |
Methods inherited from interface soot.toolkits.graph.DirectedGraph |
---|
getHeads, getPredsOf, getSuccsOf, getTails, iterator, size |
Method Detail |
---|
List<Region> getWeakRegions()
List<Region> getStrongRegions()
List<PDGRegion> getPDGRegions()
IRegion GetStartRegion()
PDGNode GetStartNode()
boolean dependentOn(PDGNode node1, PDGNode node2)
node1
- node2
-
List getDependents(PDGNode node)
node
- is the PDG node whose dependents are desired.
PDGNode getPDGNode(Object cfgNode)
cfgNode
- is expected to be a node in CFG (currently only Block).
String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |