|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.toolkits.graph.DominatorTreeAdapter
public class DominatorTreeAdapter
This adapter provides a DirectedGraph interface to DominatorTree.
This might be useful if e.g. you want to apply a DirectedGraph analysis such as the PseudoTopologicalOrderer to a DominatorTree.
Constructor Summary | |
---|---|
DominatorTreeAdapter(DominatorTree dt)
|
Method Summary | |
---|---|
List |
getHeads()
Returns a list of entry points for this graph. |
List |
getPredsOf(Object node)
Returns a list of predecessors for the given node in the graph. |
List |
getSuccsOf(Object node)
Returns a list of successors for the given node in the graph. |
List |
getTails()
Returns a list of exit points for this graph. |
Iterator |
iterator()
Returns an iterator for the nodes in this graph. |
int |
size()
Returns the node count for this graph. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DominatorTreeAdapter(DominatorTree dt)
Method Detail |
---|
public List getHeads()
DirectedGraph
getHeads
in interface DirectedGraph
public List getTails()
DirectedGraph
getTails
in interface DirectedGraph
public List getPredsOf(Object node)
DirectedGraph
getPredsOf
in interface DirectedGraph
public List getSuccsOf(Object node)
DirectedGraph
getSuccsOf
in interface DirectedGraph
public Iterator iterator()
DirectedGraph
iterator
in interface Iterable
iterator
in interface DirectedGraph
public int size()
DirectedGraph
size
in interface DirectedGraph
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |