SETUnconditionalWhileNode (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.dava.internal.SET.SETNode
- - soot.dava.internal.SET.SETControlFlowNode
  - - soot.dava.internal.SET.SETCycleNode
    - - soot.dava.internal.SET.SETUnconditionalWhileNode

public class SETUnconditionalWhileNode
extends SETCycleNode

- Field Summary
  - Fields inherited from class soot.dava.internal.SET.SETNode
    body2childChain, entryStmt, parent, predecessors, subBodies, successors
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SETUnconditionalWhileNode(IterableSet body)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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, equals, 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, hashCode, insert_ChildBefore, is_StrictSupersetOf, is_SupersetOf, nest, remove_AugmentedStmt, remove_Child, verify
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SETUnconditionalWhileNode
```
public SETUnconditionalWhileNode(IterableSet body)
```
- 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()
```
    Specified by:
    
    get_EntryStmt in class SETNode