All Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
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,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
calculate_Reachability(Collection<AugmentedStmt> sources) |
void |
calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
calculate_Reachability(Collection<AugmentedStmt> sources,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
IterableSet<AugmentedStmt> |
clone_Body(IterableSet<AugmentedStmt> oldBody) |
Object |
clone() |
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() |