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


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

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