|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.dava.internal.asg.AugmentedStmtGraph
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 |
public AugmentedStmtGraph(AugmentedStmtGraph other)
public AugmentedStmtGraph(BriefUnitGraph bug, TrapUnitGraph cug)
public AugmentedStmtGraph()
Method Detail |
public void add_AugmentedStmt(AugmentedStmt as)
public boolean contains(java.lang.Object o)
public AugmentedStmt get_CloneOf(AugmentedStmt as)
public int size()
DirectedGraph
size
in interface DirectedGraph
public void calculate_Reachability(AugmentedStmt source, java.util.HashSet blockers, AugmentedStmt dominator)
public void calculate_Reachability(java.util.Collection sources, java.util.HashSet blockers, AugmentedStmt dominator)
public void calculate_Reachability(AugmentedStmt source, AugmentedStmt blocker, AugmentedStmt dominator)
public void calculate_Reachability(java.util.Collection sources, AugmentedStmt blocker, AugmentedStmt dominator)
public void calculate_Reachability(AugmentedStmt source, AugmentedStmt dominator)
public void calculate_Reachability(java.util.Collection sources, AugmentedStmt dominator)
public void calculate_Reachability(AugmentedStmt source)
public void calculate_Reachability(java.util.Collection sources)
public void add_StmtBinding(Stmt s, AugmentedStmt as)
public AugmentedStmt get_AugStmt(Stmt s)
public java.util.List getHeads()
DirectedGraph
getHeads
in interface DirectedGraph
public java.util.List getTails()
DirectedGraph
getTails
in interface DirectedGraph
public java.util.Iterator iterator()
DirectedGraph
iterator
in interface DirectedGraph
public java.util.List getPredsOf(java.lang.Object s)
DirectedGraph
getPredsOf
in interface DirectedGraph
public java.util.List getSuccsOf(java.lang.Object s)
DirectedGraph
getSuccsOf
in interface DirectedGraph
public java.util.List get_BriefHeads()
public java.util.List get_BriefTails()
public IterableSet get_ChainView()
public java.lang.Object clone()
public boolean remove_AugmentedStmt(AugmentedStmt toRemove)
public java.lang.String toString()
public IterableSet clone_Body(IterableSet oldBody)
public void find_Dominators()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |