Package soot.dava.toolkits.base.finders
Class AbruptEdgeFinder
- java.lang.Object
-
- soot.dava.toolkits.base.finders.AbruptEdgeFinder
-
- All Implemented Interfaces:
FactFinder
public class AbruptEdgeFinder extends Object implements FactFinder
-
-
Constructor Summary
Constructors Constructor Description AbruptEdgeFinder(Singletons.Global g)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidfind(DavaBody body, AugmentedStmtGraph asg, SETNode SET)voidfind_Breaks(SETNode prev, SETNode cur)voidfind_Continues(SETNode SETParent, IterableSet body, IterableSet children)static AbruptEdgeFinderv()
-
-
-
Constructor Detail
-
AbruptEdgeFinder
public AbruptEdgeFinder(Singletons.Global g)
-
-
Method Detail
-
v
public static AbruptEdgeFinder v()
-
find
public void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException
- Specified by:
findin interfaceFactFinder- Throws:
RetriggerAnalysisException
-
find_Continues
public void find_Continues(SETNode SETParent, IterableSet body, IterableSet children)
-
-