soot.dava.internal.SET
Class SETDoWhileNode

java.lang.Object
  |
  +--soot.dava.internal.SET.SETNode
        |
        +--soot.dava.internal.SET.SETControlFlowNode
              |
              +--soot.dava.internal.SET.SETCycleNode
                    |
                    +--soot.dava.internal.SET.SETDoWhileNode

public class SETDoWhileNode
extends SETCycleNode


Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
 
Constructor Summary
SETDoWhileNode(AugmentedStmt characterizingStmt, AugmentedStmt entryPoint, IterableSet body)
           
 
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

SETDoWhileNode

public SETDoWhileNode(AugmentedStmt characterizingStmt,
                      AugmentedStmt entryPoint,
                      IterableSet body)
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 SETNode