public class DominationPass extends InterProcAnalysisPass<Unit>
Modifier and Type | Class and Description |
---|---|
static class |
DominationPass.Kind |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANALYSIS_RESULT_IMMED_DOMINATED_BY |
static java.lang.String |
ANALYSIS_RESULT_IMMED_DOMINATOR_OF |
static java.lang.String |
ANALYSIS_RESULT_IMMED_POST_DOMINATED_BY |
static java.lang.String |
ANALYSIS_RESULT_IMMED_POST_DOMINATOR_OF |
DominationPass.Kind |
kind |
extInfo, factory, registrar
Modifier and Type | Method and Description |
---|---|
static DominationPass |
singleton(AccrueExtensionInfo extInfo,
DominationPass.Kind kind,
polyglot.frontend.goals.Goal g) |
createWorkQueue, extensionInfo, postSuccessfulProcess, registrar, run
public static final java.lang.String ANALYSIS_RESULT_IMMED_POST_DOMINATOR_OF
public static final java.lang.String ANALYSIS_RESULT_IMMED_POST_DOMINATED_BY
public static final java.lang.String ANALYSIS_RESULT_IMMED_DOMINATOR_OF
public static final java.lang.String ANALYSIS_RESULT_IMMED_DOMINATED_BY
public final DominationPass.Kind kind
public static DominationPass singleton(AccrueExtensionInfo extInfo, DominationPass.Kind kind, polyglot.frontend.goals.Goal g)