soot.dava.internal.SET
Class SETStatementSequenceNode

java.lang.Object
  |
  +--soot.dava.internal.SET.SETNode
        |
        +--soot.dava.internal.SET.SETStatementSequenceNode

public class SETStatementSequenceNode
extends SETNode


Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
 
Constructor Summary
SETStatementSequenceNode(IterableSet body)
           
SETStatementSequenceNode(IterableSet body, DavaBody davaBody)
           
 
Method Summary
 ASTNode emit_AST()
           
 AugmentedStmt get_EntryStmt()
           
 IterableSet get_NaturalExits()
           
 boolean has_Continue()
           
 void insert_AbruptStmt(DAbruptStmt stmt)
           
protected  boolean resolve(SETNode parent)
           
 
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

SETStatementSequenceNode

public SETStatementSequenceNode(IterableSet body,
                                DavaBody davaBody)

SETStatementSequenceNode

public SETStatementSequenceNode(IterableSet body)
Method Detail

has_Continue

public boolean has_Continue()

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

insert_AbruptStmt

public void insert_AbruptStmt(DAbruptStmt stmt)

resolve

protected boolean resolve(SETNode parent)
Overrides:
resolve in class SETNode