soot.dava.internal.asg
Class AugmentedStmtGraph

java.lang.Object
  |
  +--soot.dava.internal.asg.AugmentedStmtGraph

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

calculate_Reachability

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

calculate_Reachability

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

calculate_Reachability

public void calculate_Reachability(java.util.Collection sources,
                                   AugmentedStmt blocker,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(java.util.Collection sources,
                                   AugmentedStmt dominator)

calculate_Reachability

public void calculate_Reachability(AugmentedStmt source)

calculate_Reachability

public void calculate_Reachability(java.util.Collection sources)

add_StmtBinding

public void add_StmtBinding(Stmt s,
                            AugmentedStmt as)

get_AugStmt

public AugmentedStmt get_AugStmt(Stmt s)

getHeads

public java.util.List getHeads()
Description copied from interface: DirectedGraph
Returns a list of entry points for this graph.
Specified by:
getHeads in interface DirectedGraph

getTails

public java.util.List getTails()
Description copied from interface: DirectedGraph
Returns a list of exit points for this graph.
Specified by:
getTails in interface DirectedGraph

iterator

public java.util.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 DirectedGraph

getPredsOf

public java.util.List getPredsOf(java.lang.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 java.util.List getSuccsOf(java.lang.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 java.util.List get_BriefHeads()

get_BriefTails

public java.util.List get_BriefTails()

get_ChainView

public IterableSet get_ChainView()

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object

remove_AugmentedStmt

public boolean remove_AugmentedStmt(AugmentedStmt toRemove)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

clone_Body

public IterableSet clone_Body(IterableSet oldBody)

find_Dominators

public void find_Dominators()