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


Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
 
Constructor Summary
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, java.util.List 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,
                     java.util.List switchNodeList,
                     IterableSet junkBody)
Method Detail

get_NaturalExits

public IterableSet get_NaturalExits()
Overrides:
get_NaturalExits in class SETNode

emit_AST

public ASTNode emit_AST()
Overrides:
emit_AST in class SETNode

get_EntryStmt

public AugmentedStmt get_EntryStmt()
Overrides:
get_EntryStmt in class SETDagNode