soot.dava.internal.SET

Class SETControlFlowNode

java.lang.Object

soot.dava.internal.SET.SETNode

soot.dava.internal.SET.SETControlFlowNode

Direct Known Subclasses:

SETCycleNode, SETDagNode

public abstract class SETControlFlowNode
extends SETNode

Field Summary

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

body2childChain, entryStmt, parent, predecessors, subBodies, successors

Constructor Summary

Constructors

Constructor and Description
SETControlFlowNode(AugmentedStmt characterizingStmt, IterableSet<AugmentedStmt> body)

Method Summary

Modifier and Type	Method and Description
AugmentedStmt	get_CharacterizingStmt()
protected boolean	resolve(SETNode parent)

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_EntryStmt, 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

SETControlFlowNode

public SETControlFlowNode(AugmentedStmt characterizingStmt,
                          IterableSet<AugmentedStmt> body)

Method Detail

get_CharacterizingStmt

public AugmentedStmt get_CharacterizingStmt()

resolve

protected boolean resolve(SETNode parent)

Specified by:

resolve in class SETNode