|
||||||||||
| 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 | |||||||||