Package soot.dava.internal.SET

Class SETDagNode

java.lang.Object

soot.dava.internal.SET.SETNode

soot.dava.internal.SET.SETControlFlowNode

soot.dava.internal.SET.SETDagNode

Direct Known Subclasses:

SETIfElseNode, SETSwitchNode

public abstract class SETDagNode
extends SETControlFlowNode

Field Summary

Fields inherited from class soot.dava.internal.SET.SETNode

body2childChain, entryStmt, parent, predecessors, subBodies, successors

Constructor Summary

Constructors

Constructor	Description
SETDagNode(AugmentedStmt characterizingStmt, IterableSet body)

Method Summary

Modifier and Type	Method	Description
AugmentedStmt	get_EntryStmt()

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, equals, find_AbruptEdges, find_LabeledBlocks, find_SmallestSETNode, find_StatementSequences, get_Body, get_Body2ChildChain, get_IntersectionWith, get_Label, get_NaturalExits, 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

SETDagNode

public SETDagNode(AugmentedStmt characterizingStmt,
                  IterableSet body)

Method Detail

get_EntryStmt

public AugmentedStmt get_EntryStmt()

Specified by:

get_EntryStmt in class SETNode