soot.dava.toolkits.base.finders

Class SwitchNode

java.lang.Object

soot.dava.toolkits.base.finders.SwitchNode

All Implemented Interfaces:

java.lang.Comparable

public class SwitchNode
extends java.lang.Object
implements java.lang.Comparable

Constructor Summary

Constructors

Constructor and Description
SwitchNode(AugmentedStmt as, java.util.TreeSet<java.lang.Object> indexSet, IterableSet body)

Method Summary

Modifier and Type	Method and Description
int	compareTo(java.lang.Object o)
AugmentedStmt	get_AugStmt()
IterableSet	get_Body()
java.util.TreeSet<java.lang.Object>	get_IndexSet()
java.util.List	get_Preds()
int	get_Score()
java.util.List	get_Succs()
SwitchNode	reset()
void	setup_Graph(java.util.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,
                  java.util.TreeSet<java.lang.Object> 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<java.lang.Object> get_IndexSet()

get_Body

public IterableSet get_Body()

reset

public SwitchNode reset()

setup_Graph

public void setup_Graph(java.util.HashMap<AugmentedStmt,SwitchNode> binding)

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable