soot.dava.internal.SET
Class SETCycleNode

java.lang.Object
  extended bysoot.dava.internal.SET.SETNode
      extended bysoot.dava.internal.SET.SETControlFlowNode
          extended bysoot.dava.internal.SET.SETCycleNode
Direct Known Subclasses:
SETDoWhileNode, SETUnconditionalWhileNode, SETWhileNode

public abstract class SETCycleNode
extends SETControlFlowNode


Field Summary
 
Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
 
Constructor Summary
SETCycleNode(AugmentedStmt characterizingStmt, IterableSet body)
           
 
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_AST, emit_ASTBody, find_AbruptEdges, find_LabeledBlocks, find_SmallestSETNode, find_StatementSequences, get_Body, get_Body2ChildChain, get_EntryStmt, get_IntersectionWith, get_Label, get_NaturalExits, 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

SETCycleNode

public SETCycleNode(AugmentedStmt characterizingStmt,
                    IterableSet body)