|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DavaBody in soot.dava |
Methods in soot.dava that return DavaBody | |
DavaBody |
Dava.newBody(SootMethod m)
|
DavaBody |
Dava.newBody(Body b)
Returns a DavaBody constructed from the given body b. |
Uses of DavaBody in soot.dava.internal.AST |
Methods in soot.dava.internal.AST that return DavaBody | |
DavaBody |
ASTMethodNode.getDavaBody()
|
Methods in soot.dava.internal.AST with parameters of type DavaBody | |
void |
ASTMethodNode.setDavaBody(DavaBody bod)
|
Uses of DavaBody in soot.dava.internal.javaRep |
Constructors in soot.dava.internal.javaRep with parameters of type DavaBody | |
DVariableDeclarationStmt(Type decType,
DavaBody davaBody)
|
Uses of DavaBody in soot.dava.internal.SET |
Methods in soot.dava.internal.SET with parameters of type DavaBody | |
void |
SETNode.find_StatementSequences(SequenceFinder sf,
DavaBody davaBody)
|
Constructors in soot.dava.internal.SET with parameters of type DavaBody | |
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody)
|
|
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody)
|
Uses of DavaBody in soot.dava.toolkits.base.AST.transformations |
Constructors in soot.dava.toolkits.base.AST.transformations with parameters of type DavaBody | |
VoidReturnRemover(DavaBody davaBody)
|
|
VoidReturnRemover(DavaBody davaBody,
boolean verbose)
|
Uses of DavaBody in soot.dava.toolkits.base.finders |
Methods in soot.dava.toolkits.base.finders with parameters of type DavaBody | |
void |
AbruptEdgeFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
CycleFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
ExceptionFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
ExceptionFinder.preprocess(DavaBody body,
AugmentedStmtGraph asg)
|
void |
FactFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
IfFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
LabeledBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SequenceFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet childUnion,
DavaBody davaBody)
|
void |
SwitchFinder.find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SynchronizedBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
Uses of DavaBody in soot.dava.toolkits.base.misc |
Methods in soot.dava.toolkits.base.misc with parameters of type DavaBody | |
void |
MonitorConverter.convert(DavaBody body)
|
void |
ThrowNullConverter.convert(DavaBody body)
|
Uses of DavaBody in soot.dava.toolkits.base.renamer |
Constructors in soot.dava.toolkits.base.renamer with parameters of type DavaBody | |
infoGatheringAnalysis(DavaBody davaBody)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |