soot.dava.toolkits.base.finders
Class SwitchNode
java.lang.Object
soot.dava.toolkits.base.finders.SwitchNode
- All Implemented Interfaces:
- java.lang.Comparable
- public class SwitchNode
- extends java.lang.Object
- implements java.lang.Comparable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SwitchNode
public SwitchNode(AugmentedStmt as,
java.util.TreeSet indexSet,
IterableSet body)
get_Score
public int get_Score()
get_Preds
public java.util.List get_Preds()
get_Succs
public java.util.List get_Succs()
get_AugStmt
public AugmentedStmt get_AugStmt()
get_IndexSet
public java.util.TreeSet get_IndexSet()
get_Body
public IterableSet get_Body()
reset
public SwitchNode reset()
setup_Graph
public void setup_Graph(java.util.HashMap binding)
compareTo
public int compareTo(java.lang.Object o)
- Specified by:
compareTo
in interface java.lang.Comparable