soot.dava.internal.SET
Class SETCycleNode

java.lang.Object
  soot.dava.internal.SET.SETNode
      soot.dava.internal.SET.SETControlFlowNode
          soot.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)

Method Summary

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)