soot.jimple.spark.solver
Class TopoSorter
java.lang.Object
|
+--soot.jimple.spark.solver.TopoSorter
- public class TopoSorter
- extends java.lang.Object
Performs a pseudo-topological sort on the VarNodes in a PAG.
Method Summary |
protected void |
dfsVisit(VarNode n)
|
void |
sort()
Actually perform the topological sort on the PAG. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
ignoreTypes
protected boolean ignoreTypes
pag
protected PAG pag
nextFinishNumber
protected int nextFinishNumber
visited
protected java.util.HashSet visited
TopoSorter
public TopoSorter(PAG pag,
boolean ignoreTypes)
sort
public void sort()
- Actually perform the topological sort on the PAG.
dfsVisit
protected void dfsVisit(VarNode n)