|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectsoot.jimple.toolkits.annotation.purity.DirectedCallGraph
Builds a DirectedGraph from a CallGraph and SootMethodFilter. This is used in AbstractInterproceduralAnalysis to construct a reverse pseudo topological order on which to iterate. You can specify a SootMethodFilter to trim the graph by cutting call edges strarting Methods filtered-out by the SootMethodFilter will not appear in the DirectedGraph!
| Field Summary | |
protected List |
heads
|
protected Set |
nodes
|
protected Map |
pred
|
protected int |
size
|
protected Map |
succ
|
protected List |
tails
|
| Constructor Summary | |
DirectedCallGraph(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
The constructor does all the work here. |
|
| Method Summary | |
List |
getHeads()
You get a List of SootMethod. |
List |
getPredsOf(Object s)
You get a List of SootMethod. |
List |
getSuccsOf(Object s)
You get a List of SootMethod. |
List |
getTails()
You get a List of SootMethod. |
Iterator |
iterator()
You get an Iterator on SootMethod. |
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 |
| Field Detail |
protected Set nodes
protected Map succ
protected Map pred
protected List heads
protected List tails
protected int size
| Constructor Detail |
public DirectedCallGraph(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
heads - is a List of SootMethod| Method Detail |
public List getHeads()
getHeads in interface DirectedGraphpublic List getTails()
getTails in interface DirectedGraphpublic Iterator iterator()
iterator in interface DirectedGraphpublic int size()
DirectedGraph
size in interface DirectedGraphpublic List getSuccsOf(Object s)
getSuccsOf in interface DirectedGraphpublic List getPredsOf(Object s)
getPredsOf in interface DirectedGraph
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||