soot.dava.internal.SET
Class SETIfElseNode

java.lang.Object
  extended by soot.dava.internal.SET.SETNode
      extended by soot.dava.internal.SET.SETControlFlowNode
          extended by soot.dava.internal.SET.SETDagNode
              extended by soot.dava.internal.SET.SETIfElseNode

public class SETIfElseNode
extends SETDagNode


Field Summary
 
Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
 
Constructor Summary
SETIfElseNode(AugmentedStmt characterizingStmt, IterableSet body, IterableSet ifBody, IterableSet elseBody)
           
 
Method Summary
 ASTNode emit_AST()
           
 IterableSet get_NaturalExits()
           
 
Methods inherited from class soot.dava.internal.SET.SETDagNode
get_EntryStmt
 
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

SETIfElseNode

public SETIfElseNode(AugmentedStmt characterizingStmt,
                     IterableSet body,
                     IterableSet ifBody,
                     IterableSet elseBody)
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