soot.dava.toolkits.base.finders

Interface FactFinder

All Known Implementing Classes:

AbruptEdgeFinder, CycleFinder, ExceptionFinder, IfFinder, LabeledBlockFinder, SequenceFinder, SwitchFinder, SynchronizedBlockFinder

public interface FactFinder

Method Summary

Methods

Modifier and Type	Method and Description
void	find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)

Method Detail

find

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

Throws:

RetriggerAnalysisException