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.

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	ignoreTypes
protected int	nextFinishNumber
protected PAG	pag
protected java.util.HashSet<VarNode>	visited

Constructor Summary

Constructors

Constructor and Description
TopoSorter(PAG pag, boolean ignoreTypes)

Method Summary

Modifier and Type	Method and Description
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 java.util.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)