soot.dava.internal.SET
Class SETIfElseNode

java.lang.Object
  |
  +--soot.dava.internal.SET.SETNode
        |
        +--soot.dava.internal.SET.SETControlFlowNode
              |
              +--soot.dava.internal.SET.SETDagNode
                    |
                    +--soot.dava.internal.SET.SETIfElseNode

public class SETIfElseNode
extends SETDagNode


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()
Overrides:
get_NaturalExits in class SETNode

emit_AST

public ASTNode emit_AST()
Overrides:
emit_AST in class SETNode