soot.dava.internal.asg
Class AugmentedStmtGraph
java.lang.Object
|
+--soot.dava.internal.asg.AugmentedStmtGraph
- public class AugmentedStmtGraph
- extends java.lang.Object
- implements DirectedGraph
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 |
AugmentedStmtGraph
public AugmentedStmtGraph(AugmentedStmtGraph other)
AugmentedStmtGraph
public AugmentedStmtGraph(BriefUnitGraph bug,
TrapUnitGraph cug)
AugmentedStmtGraph
public AugmentedStmtGraph()
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()