Package soot.dava.toolkits.base.finders
Interface FactFinder
-
- All Known Implementing Classes:
AbruptEdgeFinder,CycleFinder,ExceptionFinder,IfFinder,LabeledBlockFinder,SequenceFinder,SwitchFinder,SynchronizedBlockFinder
public interface FactFinder
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidfind(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
-
-
-
Method Detail
-
find
void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException
- Throws:
RetriggerAnalysisException
-
-