Package soot.dava.internal.asg

Class AugmentedStmtGraph

java.lang.Object

soot.dava.internal.asg.AugmentedStmtGraph

All Implemented Interfaces:

Iterable<AugmentedStmt>, DirectedGraph<AugmentedStmt>

public class AugmentedStmtGraph
extends Object
implements DirectedGraph<AugmentedStmt>

Constructor Summary

Constructors

Constructor	Description
AugmentedStmtGraph()
AugmentedStmtGraph(AugmentedStmtGraph other)
AugmentedStmtGraph(BriefUnitGraph bug, TrapUnitGraph cug)

Method Summary

Modifier and Type	Method	Description
void	add_AugmentedStmt(AugmentedStmt as)
void	add_StmtBinding(Stmt s, AugmentedStmt as)
void	calculate_Reachability(Collection<AugmentedStmt> sources)
void	calculate_Reachability(Collection<AugmentedStmt> sources, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	calculate_Reachability(AugmentedStmt source)
void	calculate_Reachability(AugmentedStmt source, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	calculate_Reachability(AugmentedStmt source, AugmentedStmt dominator)
void	calculate_Reachability(AugmentedStmt source, AugmentedStmt blocker, AugmentedStmt dominator)
Object	clone()
IterableSet<AugmentedStmt>	clone_Body(IterableSet<AugmentedStmt> oldBody)
boolean	contains(Object o)
void	find_Dominators()
AugmentedStmt	get_AugStmt(Stmt s)
List<AugmentedStmt>	get_BriefHeads()
List<AugmentedStmt>	get_BriefTails()
IterableSet<AugmentedStmt>	get_ChainView()
AugmentedStmt	get_CloneOf(AugmentedStmt as)
List<AugmentedStmt>	getHeads()	Returns a list of entry points for this graph.
List<AugmentedStmt>	getPredsOf(AugmentedStmt s)	Returns a list of predecessors for the given node in the graph.
List<AugmentedStmt>	getPredsOf(Stmt s)
List<AugmentedStmt>	getSuccsOf(AugmentedStmt s)	Returns a list of successors for the given node in the graph.
List<AugmentedStmt>	getSuccsOf(Stmt s)
List<AugmentedStmt>	getTails()	Returns a list of exit points for this graph.
Iterator<AugmentedStmt>	iterator()	Returns an iterator for the nodes in this graph.
boolean	remove_AugmentedStmt(AugmentedStmt toRemove)
int	size()	Returns the node count for this graph.
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

AugmentedStmtGraph

public AugmentedStmtGraph(AugmentedStmtGraph other)

AugmentedStmtGraph

public AugmentedStmtGraph(BriefUnitGraph bug,
                          TrapUnitGraph cug)

AugmentedStmtGraph

public AugmentedStmtGraph()

Method Detail

add_AugmentedStmt

public void add_AugmentedStmt(AugmentedStmt as)

contains

public boolean contains(Object o)

get_CloneOf

public AugmentedStmt get_CloneOf(AugmentedStmt as)

size

public int size()

Description copied from interface: DirectedGraph

Returns the node count for this graph.

Specified by:

size in interface DirectedGraph<AugmentedStmt>

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   Set<AugmentedStmt> blockers,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(Collection<AugmentedStmt> sources,
                                   Set<AugmentedStmt> blockers,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   AugmentedStmt blocker,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(Collection<AugmentedStmt> sources,
                                   AugmentedStmt blocker,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(Collection<AugmentedStmt> sources,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source)

calculate_Reachability

public void calculate_Reachability(Collection<AugmentedStmt> sources)

add_StmtBinding

public void add_StmtBinding(Stmt s,
                            AugmentedStmt as)

get_AugStmt

public AugmentedStmt get_AugStmt(Stmt s)

getHeads

public List<AugmentedStmt> getHeads()

Description copied from interface: DirectedGraph

Returns a list of entry points for this graph.

Specified by:

getHeads in interface DirectedGraph<AugmentedStmt>

getTails

public List<AugmentedStmt> getTails()

Description copied from interface: DirectedGraph

Returns a list of exit points for this graph.

Specified by:

getTails in interface DirectedGraph<AugmentedStmt>

iterator

public Iterator<AugmentedStmt> iterator()

Description copied from interface: DirectedGraph

Returns an iterator for the nodes in this graph. No specific ordering of the nodes is guaranteed.

Specified by:

iterator in interface DirectedGraph<AugmentedStmt>

Specified by:

iterator in interface Iterable<AugmentedStmt>

getPredsOf

public List<AugmentedStmt> getPredsOf(AugmentedStmt s)

Description copied from interface: DirectedGraph

Returns a list of predecessors for the given node in the graph.

Specified by:

getPredsOf in interface DirectedGraph<AugmentedStmt>

getPredsOf

public List<AugmentedStmt> getPredsOf(Stmt s)

getSuccsOf

public List<AugmentedStmt> getSuccsOf(AugmentedStmt s)

Description copied from interface: DirectedGraph

Returns a list of successors for the given node in the graph.

Specified by:

getSuccsOf in interface DirectedGraph<AugmentedStmt>

getSuccsOf

public List<AugmentedStmt> getSuccsOf(Stmt s)

get_BriefHeads

public List<AugmentedStmt> get_BriefHeads()

get_BriefTails

public List<AugmentedStmt> get_BriefTails()

get_ChainView

public IterableSet<AugmentedStmt> get_ChainView()

clone

public Object clone()

Overrides:

clone in class Object

remove_AugmentedStmt

public boolean remove_AugmentedStmt(AugmentedStmt toRemove)

toString

public String toString()

Overrides:

toString in class Object

clone_Body

public IterableSet<AugmentedStmt> clone_Body(IterableSet<AugmentedStmt> oldBody)

find_Dominators

public void find_Dominators()