soot.dava.internal.SET
Class SETSwitchNode

java.lang.Object
  soot.dava.internal.SET.SETNode
      soot.dava.internal.SET.SETControlFlowNode
          soot.dava.internal.SET.SETDagNode
              soot.dava.internal.SET.SETSwitchNode

public class SETSwitchNode
extends SETDagNode

Field Summary

Fields inherited from class soot.dava.internal.SET.SETNode

body2childChain, entryStmt, parent, predecessors, subBodies, successors

Constructor Summary

SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, List<SwitchNode> switchNodeList, IterableSet junkBody)

Method Summary

ASTNode	emit_AST()
AugmentedStmt	get_EntryStmt()
IterableSet	get_NaturalExits()

Methods inherited from class soot.dava.internal.SET.SETControlFlowNode

get_CharacterizingStmt, resolve

Methods inherited from class soot.dava.internal.SET.SETNode

add_Child, add_SubBody, contains, dump, dump, emit_ASTBody, find_AbruptEdges, find_LabeledBlocks, find_SmallestSETNode, find_StatementSequences, get_Body, get_Body2ChildChain, get_IntersectionWith, get_Label, get_Parent, get_Predecessors, get_SubBodies, get_Successors, has_IntersectionWith, insert_ChildBefore, is_StrictSupersetOf, is_SupersetOf, nest, remove_AugmentedStmt, remove_Child, verify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SETSwitchNode

public SETSwitchNode(AugmentedStmt characterizingStmt,
                     Value key,
                     IterableSet body,
                     List<SwitchNode> switchNodeList,
                     IterableSet junkBody)

Method Detail

get_NaturalExits

public IterableSet get_NaturalExits()

Specified by:

get_NaturalExits in class SETNode

emit_AST

public ASTNode emit_AST()

Specified by:

emit_AST in class SETNode

get_EntryStmt

public AugmentedStmt get_EntryStmt()

Overrides:

get_EntryStmt in class SETDagNode