public class SwitchNode extends Object implements Comparable
Constructor and Description |
---|
SwitchNode(AugmentedStmt as,
TreeSet<Object> indexSet,
IterableSet body) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Object o) |
AugmentedStmt |
get_AugStmt() |
IterableSet |
get_Body() |
TreeSet<Object> |
get_IndexSet() |
List |
get_Preds() |
int |
get_Score() |
List |
get_Succs() |
SwitchNode |
reset() |
void |
setup_Graph(HashMap<AugmentedStmt,SwitchNode> binding) |
public SwitchNode(AugmentedStmt as, TreeSet<Object> indexSet, IterableSet body)
public int get_Score()
public List get_Preds()
public List get_Succs()
public AugmentedStmt get_AugStmt()
public IterableSet get_Body()
public SwitchNode reset()
public void setup_Graph(HashMap<AugmentedStmt,SwitchNode> binding)
public int compareTo(Object o)
compareTo
in interface Comparable