Uses of Class
soot.dava.DavaBody

Packages that use DavaBody

Package	Description
soot.dava
soot.dava.internal.AST
soot.dava.internal.javaRep
soot.dava.internal.SET
soot.dava.toolkits.base.finders
soot.dava.toolkits.base.misc
soot.dava.toolkits.base.renamer

Uses of DavaBody in soot.dava

Methods in soot.dava that return DavaBody

Modifier and Type	Method	Description
DavaBody	Dava.newBody(Body b)	Returns a DavaBody constructed from the given body b.
DavaBody	Dava.newBody(SootMethod m)

Constructors in soot.dava with parameters of type DavaBody

Constructor	Description
DavaUnitPrinter(DavaBody body)

Uses of DavaBody in soot.dava.internal.AST

Methods in soot.dava.internal.AST that return DavaBody

Modifier and Type	Method	Description
DavaBody	ASTMethodNode.getDavaBody()

Methods in soot.dava.internal.AST with parameters of type DavaBody

Modifier and Type	Method	Description
void	ASTMethodNode.setDavaBody(DavaBody bod)

Uses of DavaBody in soot.dava.internal.javaRep

Constructors in soot.dava.internal.javaRep with parameters of type DavaBody

Constructor	Description
DVariableDeclarationStmt(Type decType, DavaBody davaBody)

Uses of DavaBody in soot.dava.internal.SET

Methods in soot.dava.internal.SET with parameters of type DavaBody

Modifier and Type	Method	Description
void	SETNode.find_StatementSequences(SequenceFinder sf, DavaBody davaBody)

Constructors in soot.dava.internal.SET with parameters of type DavaBody

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

Modifier and Type	Method	Description
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	SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
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

Modifier and Type	Method	Description
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

Constructor	Description
infoGatheringAnalysis(DavaBody davaBody)