soot.dava.toolkits.base.finders
Interface FactFinder

All Known Implementing Classes:
SequenceFinder, CycleFinder, IfFinder, SynchronizedBlockFinder, AbruptEdgeFinder, ExceptionFinder, SwitchFinder, LabeledBlockFinder

public interface FactFinder


Method Summary
 void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
           
 

Method Detail

find

public void find(DavaBody body,
                 AugmentedStmtGraph asg,
                 SETNode SET)
          throws RetriggerAnalysisException