soot.dava.toolkits.base.finders
Class SwitchNode
java.lang.Object
|
+--soot.dava.toolkits.base.finders.SwitchNode
- 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