|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use DavaBody | |
| soot.dava | |
| soot.dava.internal.SET | |
| soot.dava.toolkits.base.finders | |
| soot.dava.toolkits.base.misc | |
| 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.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.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)
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||