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

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<IterableSet,IterableSet>	body2childChain
protected AugmentedStmt	entryStmt
protected SETNode	parent
protected IterableSet	predecessors
protected java.util.LinkedList<IterableSet>	subBodies
protected IterableSet	successors

Constructor Summary

Constructors

Constructor and Description
SETNode(IterableSet<AugmentedStmt> body)

Method Summary

Modifier and Type	Method and Description
boolean	add_Child(SETNode child, IterableSet children)
void	add_SubBody(IterableSet body)
boolean	contains(java.lang.Object o)
void	dump()
void	dump(java.io.PrintStream out)
abstract ASTNode	emit_AST()
java.util.List<java.lang.Object>	emit_ASTBody(IterableSet children)
boolean	equals(java.lang.Object other)
void	find_AbruptEdges(AbruptEdgeFinder aef)
void	find_LabeledBlocks(LabeledBlockFinder lbf)
void	find_SmallestSETNode(AugmentedStmt as)
void	find_StatementSequences(SequenceFinder sf, DavaBody davaBody)
IterableSet<AugmentedStmt>	get_Body()
java.util.Map<IterableSet,IterableSet>	get_Body2ChildChain()
abstract AugmentedStmt	get_EntryStmt()
IterableSet<AugmentedStmt>	get_IntersectionWith(SETNode other)
SETNodeLabel	get_Label()
abstract IterableSet	get_NaturalExits()
SETNode	get_Parent()
IterableSet	get_Predecessors()
java.util.List<IterableSet>	get_SubBodies()
IterableSet	get_Successors()
boolean	has_IntersectionWith(SETNode other)
int	hashCode()
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, finalize, getClass, 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 java.util.LinkedList<IterableSet> subBodies

body2childChain

protected java.util.Map<IterableSet,IterableSet> body2childChain

Constructor Detail

SETNode

public SETNode(IterableSet<AugmentedStmt> 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 java.util.Map<IterableSet,IterableSet> get_Body2ChildChain()

get_SubBodies

public java.util.List<IterableSet> get_SubBodies()

get_Body

public IterableSet<AugmentedStmt> 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<java.lang.Object> emit_ASTBody(IterableSet children)

get_IntersectionWith

public IterableSet<AugmentedStmt> 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()

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object