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 Object

Field Summary

protected Map<IterableSet,IterableSet>	body2childChain
protected AugmentedStmt	entryStmt
protected SETNode	parent
protected IterableSet	predecessors
protected LinkedList<IterableSet>	subBodies
protected IterableSet	successors

Constructor Summary

SETNode(IterableSet body)

Method Summary

boolean	add_Child(SETNode child, IterableSet children)
void	add_SubBody(IterableSet body)
boolean	contains(Object o)
void	dump()
void	dump(PrintStream out)
abstract ASTNode	emit_AST()
List<Object>	emit_ASTBody(IterableSet children)
void	find_AbruptEdges(AbruptEdgeFinder aef)
void	find_LabeledBlocks(LabeledBlockFinder lbf)
void	find_SmallestSETNode(AugmentedStmt as)
void	find_StatementSequences(SequenceFinder sf, DavaBody davaBody)
IterableSet	get_Body()
Map<IterableSet,IterableSet>	get_Body2ChildChain()
abstract AugmentedStmt	get_EntryStmt()
IterableSet	get_IntersectionWith(SETNode other)
SETNodeLabel	get_Label()
abstract IterableSet	get_NaturalExits()
SETNode	get_Parent()
IterableSet	get_Predecessors()
List<IterableSet>	get_SubBodies()
IterableSet	get_Successors()
boolean	has_IntersectionWith(SETNode other)
boolean	insert_ChildBefore(SETNode child, SETNode point, IterableSet children)
boolean	is_StrictSupersetOf(SETNode other)
boolean	is_SupersetOf(SETNode other)
boolean	nest(SETNode other)
protected void	remove_AugmentedStmt(AugmentedStmt as)
boolean	remove_Child(SETNode child, IterableSet children)
protected abstract boolean	resolve(SETNode parent)
void	verify()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

parent

protected SETNode parent

entryStmt

protected AugmentedStmt entryStmt

predecessors

protected IterableSet predecessors

successors

protected IterableSet successors

subBodies

protected LinkedList<IterableSet> subBodies

body2childChain

protected Map<IterableSet,IterableSet> body2childChain

Constructor Detail

SETNode

public SETNode(IterableSet body)

Method Detail

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 Map<IterableSet,IterableSet> get_Body2ChildChain()

get_SubBodies

public List<IterableSet> get_SubBodies()

get_Body

public IterableSet get_Body()

get_Label

public SETNodeLabel get_Label()

get_Parent

public SETNode get_Parent()

contains

public boolean contains(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 List<Object> 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(PrintStream out)

verify

public void verify()