|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AugmentedStmt | |
soot.dava | |
soot.dava.internal.asg | |
soot.dava.internal.SET | |
soot.dava.toolkits.base.AST.transformations | |
soot.dava.toolkits.base.finders |
Uses of AugmentedStmt in soot.dava |
Methods in soot.dava with parameters of type AugmentedStmt | |
void |
DavaBody.consume_Condition(AugmentedStmt as)
|
Uses of AugmentedStmt in soot.dava.internal.asg |
Methods in soot.dava.internal.asg that return AugmentedStmt | |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
|
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s)
|
Methods in soot.dava.internal.asg with parameters of type AugmentedStmt | |
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc)
|
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred)
|
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc)
|
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred)
|
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc)
|
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as)
|
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
HashSet blockers,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
HashSet blockers,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt blocker,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(Collection sources,
AugmentedStmt dominator)
|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source)
|
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as)
|
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove)
|
Uses of AugmentedStmt in soot.dava.internal.SET |
Fields in soot.dava.internal.SET declared as AugmentedStmt | |
protected AugmentedStmt |
SETNode.entryStmt
|
Methods in soot.dava.internal.SET that return AugmentedStmt | |
AugmentedStmt |
SETControlFlowNode.get_CharacterizingStmt()
|
AugmentedStmt |
SETDagNode.get_EntryStmt()
|
AugmentedStmt |
SETDoWhileNode.get_EntryStmt()
|
AugmentedStmt |
SETLabeledBlockNode.get_EntryStmt()
|
abstract AugmentedStmt |
SETNode.get_EntryStmt()
|
AugmentedStmt |
SETStatementSequenceNode.get_EntryStmt()
|
AugmentedStmt |
SETSwitchNode.get_EntryStmt()
|
AugmentedStmt |
SETSynchronizedBlockNode.get_EntryStmt()
|
AugmentedStmt |
SETTopNode.get_EntryStmt()
|
AugmentedStmt |
SETTryNode.get_EntryStmt()
|
AugmentedStmt |
SETUnconditionalWhileNode.get_EntryStmt()
|
AugmentedStmt |
SETWhileNode.get_EntryStmt()
|
Methods in soot.dava.internal.SET with parameters of type AugmentedStmt | |
void |
SETNode.find_SmallestSETNode(AugmentedStmt as)
|
protected void |
SETNode.remove_AugmentedStmt(AugmentedStmt as)
|
Constructors in soot.dava.internal.SET with parameters of type AugmentedStmt | |
SETControlFlowNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
|
SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
|
SETDagNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
|
SETDoWhileNode(AugmentedStmt characterizingStmt,
AugmentedStmt entryPoint,
IterableSet body)
|
|
SETIfElseNode(AugmentedStmt characterizingStmt,
IterableSet body,
IterableSet ifBody,
IterableSet elseBody)
|
|
SETSwitchNode(AugmentedStmt characterizingStmt,
Value key,
IterableSet body,
List switchNodeList,
IterableSet junkBody)
|
|
SETWhileNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
Uses of AugmentedStmt in soot.dava.toolkits.base.AST.transformations |
Methods in soot.dava.toolkits.base.AST.transformations that return AugmentedStmt | |
AugmentedStmt |
FinalFieldDefinition.createDefaultStmt(Object field)
|
Uses of AugmentedStmt in soot.dava.toolkits.base.finders |
Methods in soot.dava.toolkits.base.finders that return AugmentedStmt | |
AugmentedStmt |
SwitchNode.get_AugStmt()
|
Methods in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt | |
IterableSet |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
|
boolean |
ExceptionNode.add_TryStmt(AugmentedStmt as)
|
boolean |
ExceptionNode.remove(AugmentedStmt as)
|
Constructors in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt | |
ExceptionNode(IterableSet tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt)
|
|
SwitchNode(AugmentedStmt as,
TreeSet indexSet,
IterableSet body)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |