public class AbruptEdgeFinder extends Object implements FactFinder
| Constructor and Description |
|---|
AbruptEdgeFinder(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
void |
find_Breaks(SETNode prev,
SETNode cur) |
void |
find_Continues(SETNode SETParent,
IterableSet body,
IterableSet children) |
void |
find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
static AbruptEdgeFinder |
v() |
public AbruptEdgeFinder(Singletons.Global g)
public static AbruptEdgeFinder v()
public void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException
find in interface FactFinderRetriggerAnalysisExceptionpublic void find_Continues(SETNode SETParent, IterableSet body, IterableSet children)
Copyright © 2020 Soot OSS. All rights reserved.