soot.dava.toolkits.base.finders
Interface FactFinder

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

public interface FactFinder


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

Method Detail

find

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