Uses of Class
soot.dava.DavaBody

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)