soot.dava.internal.SET
Class SETNode
java.lang.Object
|
+--soot.dava.internal.SET.SETNode
- Direct Known Subclasses:
- SETControlFlowNode, SETLabeledBlockNode, SETStatementSequenceNode, SETSynchronizedBlockNode, SETTopNode, SETTryNode
- public abstract class SETNode
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
parent
protected SETNode parent
entryStmt
protected AugmentedStmt entryStmt
predecessors
protected IterableSet predecessors
successors
protected IterableSet successors
subBodies
protected java.util.LinkedList subBodies
body2childChain
protected java.util.Map body2childChain
SETNode
public SETNode(IterableSet body)
get_NaturalExits
public abstract IterableSet get_NaturalExits()
emit_AST
public abstract ASTNode emit_AST()
get_EntryStmt
public abstract AugmentedStmt get_EntryStmt()
resolve
protected abstract boolean resolve(SETNode parent)
add_SubBody
public void add_SubBody(IterableSet body)
get_Body2ChildChain
public java.util.Map get_Body2ChildChain()
get_SubBodies
public java.util.List get_SubBodies()
get_Body
public IterableSet get_Body()
get_Label
public SETNodeLabel get_Label()
get_Parent
public SETNode get_Parent()
contains
public boolean contains(java.lang.Object o)
get_Successors
public IterableSet get_Successors()
get_Predecessors
public IterableSet get_Predecessors()
add_Child
public boolean add_Child(SETNode child,
IterableSet children)
remove_Child
public boolean remove_Child(SETNode child,
IterableSet children)
insert_ChildBefore
public boolean insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children)
emit_ASTBody
public java.util.List emit_ASTBody(IterableSet children)
get_IntersectionWith
public IterableSet get_IntersectionWith(SETNode other)
has_IntersectionWith
public boolean has_IntersectionWith(SETNode other)
is_SupersetOf
public boolean is_SupersetOf(SETNode other)
is_StrictSupersetOf
public boolean is_StrictSupersetOf(SETNode other)
find_SmallestSETNode
public void find_SmallestSETNode(AugmentedStmt as)
find_LabeledBlocks
public void find_LabeledBlocks(LabeledBlockFinder lbf)
find_StatementSequences
public void find_StatementSequences(SequenceFinder sf,
DavaBody davaBody)
find_AbruptEdges
public void find_AbruptEdges(AbruptEdgeFinder aef)
remove_AugmentedStmt
protected void remove_AugmentedStmt(AugmentedStmt as)
nest
public boolean nest(SETNode other)
dump
public void dump()
dump
public void dump(java.io.PrintStream out)
verify
public void verify()