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

protected boolean	ignoreTypes
protected int	nextFinishNumber
protected PAG	pag
protected HashSet<VarNode>	visited

Constructor Summary

TopoSorter(PAG pag, boolean ignoreTypes)

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

Field Detail

ignoreTypes

protected boolean ignoreTypes

pag

protected PAG pag

nextFinishNumber

protected int nextFinishNumber

visited

protected HashSet<VarNode> visited

Constructor Detail

TopoSorter

public TopoSorter(PAG pag,
                  boolean ignoreTypes)

Method Detail

sort

public void sort()

Actually perform the topological sort on the PAG.

dfsVisit

protected void dfsVisit(VarNode n)