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