soot.dava.internal.SET
Class SETTopNode

java.lang.Object
  extended by soot.dava.internal.SET.SETNode
      extended by soot.dava.internal.SET.SETTopNode

public class SETTopNode
extends SETNode


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

SETTopNode

public SETTopNode(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

resolve

protected boolean resolve(SETNode parent)
Specified by:
resolve in class SETNode