soot.dava.toolkits.base.finders
Class SwitchNode

java.lang.Object
  extended by soot.dava.toolkits.base.finders.SwitchNode
All Implemented Interfaces:
Comparable

public class SwitchNode
extends Object
implements Comparable


Constructor Summary
SwitchNode(AugmentedStmt as, TreeSet<Object> indexSet, IterableSet body)
           
 
Method Summary
 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)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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_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