public class SwitchFinder extends Object implements FactFinder
Constructor and Description |
---|
SwitchFinder(Singletons.Global g) |
Modifier and Type | Method and Description |
---|---|
void |
find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET) |
static SwitchFinder |
v() |
public SwitchFinder(Singletons.Global g)
public static SwitchFinder v()
public void find(DavaBody davaBody, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException
find
in interface FactFinder
RetriggerAnalysisException