public class NotNullAnalysisPass extends InterProcVarContextPass<NotNullAbsVal>
Modifier and Type | Class and Description |
---|---|
static class |
NotNullAnalysisPass.MakeNonPeerNullResultValid |
extInfo, factory, registrar
Modifier | Constructor and Description |
---|---|
protected |
NotNullAnalysisPass(polyglot.frontend.ExtensionInfo extInfo,
polyglot.frontend.goals.Goal goal,
Registrar registrar,
AnalysisFactory<VarContext<NotNullAbsVal>> analysisFactory) |
Modifier and Type | Method and Description |
---|---|
protected void |
postSuccessfulProcess(WorkQueue<VarContext<NotNullAbsVal>> workQueue)
Post the results of a successful analysis pass
|
static NotNullAnalysisPass |
singleton(AccrueExtensionInfo extInfo) |
createWorkQueue
extensionInfo, registrar, run
protected NotNullAnalysisPass(polyglot.frontend.ExtensionInfo extInfo, polyglot.frontend.goals.Goal goal, Registrar registrar, AnalysisFactory<VarContext<NotNullAbsVal>> analysisFactory)
public static NotNullAnalysisPass singleton(AccrueExtensionInfo extInfo)
protected void postSuccessfulProcess(WorkQueue<VarContext<NotNullAbsVal>> workQueue)
InterProcAnalysisPass
postSuccessfulProcess
in class InterProcVarContextPass<NotNullAbsVal>