Package 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
-
-
Constructor Summary
Constructors Constructor Description SwitchNode(AugmentedStmt as, TreeSet<Object> indexSet, IterableSet body)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(Object o)AugmentedStmtget_AugStmt()IterableSetget_Body()TreeSet<Object>get_IndexSet()Listget_Preds()intget_Score()Listget_Succs()SwitchNodereset()voidsetup_Graph(HashMap<AugmentedStmt,SwitchNode> binding)
-
-
-
Constructor Detail
-
SwitchNode
public SwitchNode(AugmentedStmt as, TreeSet<Object> indexSet, IterableSet body)
-
-
Method Detail
-
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_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:
compareToin interfaceComparable
-
-