Methods in soot.dava.internal.asg with parameters of type AugmentedStmt |
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as)
|
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as)
|
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc)
|
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc)
|
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as)
|
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
HashSet blockers,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
HashSet blockers,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
HashSet blockers,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
HashSet blockers,
AugmentedStmt dominator)
|
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
|
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
|
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove)
|
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove)
|
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc)
|
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc)
|
Constructors in soot.dava.internal.SET with parameters of type AugmentedStmt |
SETControlFlowNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETControlFlowNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETDagNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETDagNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETDoWhileNode(AugmentedStmt characterizingStmt,
AugmentedStmt entryPoint,
IterableSet body)
|
SETDoWhileNode(AugmentedStmt characterizingStmt,
AugmentedStmt entryPoint,
IterableSet body)
|
SETIfElseNode(AugmentedStmt characterizingStmt,
IterableSet body,
IterableSet ifBody,
IterableSet elseBody)
|
SETIfElseNode(AugmentedStmt characterizingStmt,
IterableSet body,
IterableSet ifBody,
IterableSet elseBody)
|
SETSwitchNode(AugmentedStmt characterizingStmt,
Value key,
IterableSet body,
List<SwitchNode> switchNodeList,
IterableSet junkBody)
|
SETSwitchNode(AugmentedStmt characterizingStmt,
Value key,
IterableSet body,
List<SwitchNode> switchNodeList,
IterableSet junkBody)
|
SETWhileNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
SETWhileNode(AugmentedStmt characterizingStmt,
IterableSet body)
|