soot.toolkits.graph
Class SlowPseudoTopologicalOrderer
java.lang.Object
|
+--soot.toolkits.graph.SlowPseudoTopologicalOrderer
- public class SlowPseudoTopologicalOrderer
- extends java.lang.Object
Provide the pseudo topological order of a graph's nodes.
It has same functionality as PseudoTopologicalOrderer;
however, this class considers the order of successors.
It runs slower but more precise. Currently it was only used by
ArrayBoundsCheckerAnalysis to reduce the iteration numbers.
Field Summary |
static boolean |
REVERSE
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
REVERSE
public static final boolean REVERSE
- See Also:
- Constant Field Values
SlowPseudoTopologicalOrderer
public SlowPseudoTopologicalOrderer()
SlowPseudoTopologicalOrderer
public SlowPseudoTopologicalOrderer(boolean isReversed)
v
public static SlowPseudoTopologicalOrderer v()
newList
public java.util.List newList(DirectedGraph g)
- Parameters:
g
- a DirectedGraph instance whose nodes we which to order.
- Returns:
- a pseudo-topologically ordered list of the graph's nodes.
setReverseOrder
public void setReverseOrder(boolean isReversed)
- Set the ordering for the orderer.
isReverseOrder
public boolean isReverseOrder()
- Check the ordering for the orderer.
- Returns:
- true if we have reverse pseudo-topological ordering, false otherwise.