|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DavaBody in soot.dava |
---|
Methods in soot.dava that return DavaBody | |
---|---|
DavaBody |
Dava.newBody(Body b)
Returns a DavaBody constructed from the given body b. |
DavaBody |
Dava.newBody(Body b)
Returns a DavaBody constructed from the given body b. |
DavaBody |
Dava.newBody(SootMethod m)
|
DavaBody |
Dava.newBody(SootMethod m)
|
Constructors in soot.dava with parameters of type DavaBody | |
---|---|
DavaUnitPrinter(DavaBody body)
|
|
DavaUnitPrinter(DavaBody body)
|
Uses of DavaBody in soot.dava.internal.AST |
---|
Methods in soot.dava.internal.AST that return DavaBody | |
---|---|
DavaBody |
ASTMethodNode.getDavaBody()
|
DavaBody |
ASTMethodNode.getDavaBody()
|
Methods in soot.dava.internal.AST with parameters of type DavaBody | |
---|---|
void |
ASTMethodNode.setDavaBody(DavaBody bod)
|
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)
|
|
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)
|
void |
SETNode.find_StatementSequences(SequenceFinder sf,
DavaBody davaBody)
|
Constructors in soot.dava.internal.SET with parameters of type DavaBody | |
---|---|
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody)
|
|
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody)
|
|
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody)
|
|
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody)
|
Uses of DavaBody in soot.dava.toolkits.base.finders |
---|
Methods in soot.dava.toolkits.base.finders with parameters of type DavaBody | |
---|---|
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet<AugmentedStmt> childUnion,
DavaBody davaBody)
|
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet<AugmentedStmt> childUnion,
DavaBody 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 |
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 |
SwitchFinder.find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SynchronizedBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SynchronizedBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SwitchFinder.find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
SequenceFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
LabeledBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
IfFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
FactFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
ExceptionFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
CycleFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
AbruptEdgeFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
|
void |
ExceptionFinder.preprocess(DavaBody body,
AugmentedStmtGraph asg)
|
void |
ExceptionFinder.preprocess(DavaBody body,
AugmentedStmtGraph asg)
|
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)
|
void |
ThrowNullConverter.convert(DavaBody body)
|
void |
MonitorConverter.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)
|
|
infoGatheringAnalysis(DavaBody davaBody)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |