public class LabeledBlockFinder extends Object implements FactFinder
| Constructor and Description |
|---|
LabeledBlockFinder(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
void |
find_LabeledBlocks(SETNode SETParent) |
void |
find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
perform_ChildOrder(SETNode SETParent) |
static LabeledBlockFinder |
v() |
public LabeledBlockFinder(Singletons.Global g)
public static LabeledBlockFinder v()
public void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException
find in interface FactFinderRetriggerAnalysisExceptionpublic void perform_ChildOrder(SETNode SETParent)
public void find_LabeledBlocks(SETNode SETParent)
Copyright © 2021 Soot OSS. All rights reserved.