soot.dava.internal.asg
Class AugmentedStmtGraph

java.lang.Object
  soot.dava.internal.asg.AugmentedStmtGraph

All Implemented Interfaces:

Iterable, DirectedGraph

public class AugmentedStmtGraph
extends Object
implements DirectedGraph

Constructor Summary

AugmentedStmtGraph()

AugmentedStmtGraph(AugmentedStmtGraph other)

AugmentedStmtGraph(BriefUnitGraph bug, TrapUnitGraph cug)

Method Summary

void	add_AugmentedStmt(AugmentedStmt as)
void	add_StmtBinding(Stmt s, AugmentedStmt as)
void	calculate_Reachability(AugmentedStmt source)
void	calculate_Reachability(AugmentedStmt source, AugmentedStmt dominator)
void	calculate_Reachability(AugmentedStmt source, AugmentedStmt blocker, AugmentedStmt dominator)
void	calculate_Reachability(AugmentedStmt source, HashSet blockers, AugmentedStmt dominator)
void	calculate_Reachability(Collection sources)
void	calculate_Reachability(Collection sources, AugmentedStmt dominator)
void	calculate_Reachability(Collection sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	calculate_Reachability(Collection sources, HashSet blockers, AugmentedStmt dominator)
IterableSet	clone_Body(IterableSet oldBody)
Object	clone()
boolean	contains(Object o)
void	find_Dominators()
AugmentedStmt	get_AugStmt(Stmt s)
List	get_BriefHeads()
List	get_BriefTails()
IterableSet	get_ChainView()
AugmentedStmt	get_CloneOf(AugmentedStmt as)
List	getHeads() Returns a list of entry points for this graph.
List	getPredsOf(Object s) Returns a list of predecessors for the given node in the graph.
List	getSuccsOf(Object s) Returns a list of successors for the given node in the graph.
List	getTails() Returns a list of exit points for this graph.
Iterator	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

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

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   HashSet blockers,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(Collection sources,
                                   HashSet blockers,
                                   AugmentedStmt dominator)

calculate_Reachability

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

calculate_Reachability

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

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(Collection sources,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source)

calculate_Reachability

public void calculate_Reachability(Collection sources)

add_StmtBinding

public void add_StmtBinding(Stmt s,
                            AugmentedStmt as)

get_AugStmt

public AugmentedStmt get_AugStmt(Stmt s)

getHeads

public List getHeads()

Description copied from interface: DirectedGraph

Returns a list of entry points for this graph.

Specified by:

getHeads in interface DirectedGraph

getTails

public List getTails()

Description copied from interface: DirectedGraph

Returns a list of exit points for this graph.

Specified by:

getTails in interface DirectedGraph

iterator

public Iterator 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 Iterable

Specified by:

iterator in interface DirectedGraph

getPredsOf

public List getPredsOf(Object s)

Description copied from interface: DirectedGraph

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

Specified by:

getPredsOf in interface DirectedGraph

getSuccsOf

public List getSuccsOf(Object s)

Description copied from interface: DirectedGraph

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

Specified by:

getSuccsOf in interface DirectedGraph

get_BriefHeads

public List get_BriefHeads()

get_BriefTails

public List get_BriefTails()

get_ChainView

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

find_Dominators

public void find_Dominators()