Uses of Class
soot.dava.DavaBody

Packages that use DavaBody
soot.dava   
soot.dava.internal.AST   
soot.dava.internal.javaRep   
soot.dava.internal.SET   
soot.dava.toolkits.base.AST.transformations   
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
 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)