Package soot.jimple.spark.solver
Class TopoSorter
- java.lang.Object
-
- soot.jimple.spark.solver.TopoSorter
-
public class TopoSorter extends Object
Performs a pseudo-topological sort on the VarNodes in a PAG.- Author:
- Ondrej Lhotak
-
-
Field Summary
Fields Modifier and Type Field Description protected booleanignoreTypesprotected intnextFinishNumberprotected PAGpagprotected HashSet<VarNode>visited
-
Constructor Summary
Constructors Constructor Description TopoSorter(PAG pag, boolean ignoreTypes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voiddfsVisit(VarNode n)voidsort()Actually perform the topological sort on the PAG.
-