soot.dava.toolkits.base.finders
Class SwitchNode

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

public class SwitchNode
extends Object
implements Comparable


Constructor Summary
SwitchNode(AugmentedStmt as, TreeSet indexSet, IterableSet body)
           
 
Method Summary
 int compareTo(Object o)
           
 AugmentedStmt get_AugStmt()
           
 IterableSet get_Body()
           
 TreeSet get_IndexSet()
           
 List get_Preds()
           
 int get_Score()
           
 List get_Succs()
           
 SwitchNode reset()
           
 void setup_Graph(HashMap 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 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 get_IndexSet()

get_Body

public IterableSet get_Body()

reset

public SwitchNode reset()

setup_Graph

public void setup_Graph(HashMap binding)

compareTo

public int compareTo(Object o)
Specified by:
compareTo in interface Comparable