public class InterProcVarContextPass<T extends AbstractValue<T>> extends InterProcAnalysisPass<VarContext<T>>
extInfo, factory, registrar
Modifier | Constructor and Description |
---|---|
protected |
InterProcVarContextPass(polyglot.frontend.ExtensionInfo extInfo,
polyglot.frontend.goals.Goal g,
Registrar registrar,
AnalysisFactory<VarContext<T>> factory) |
Modifier and Type | Method and Description |
---|---|
protected WorkQueue<VarContext<T>> |
createWorkQueue()
Create the analysis work queue of analysis units
|
protected void |
postSuccessfulProcess(WorkQueue<VarContext<T>> workQueue)
Post the results of a successful analysis pass
|
extensionInfo, registrar, run
protected InterProcVarContextPass(polyglot.frontend.ExtensionInfo extInfo, polyglot.frontend.goals.Goal g, Registrar registrar, AnalysisFactory<VarContext<T>> factory)
protected WorkQueue<VarContext<T>> createWorkQueue()
InterProcAnalysisPass
createWorkQueue
in class InterProcAnalysisPass<VarContext<T extends AbstractValue<T>>>
protected void postSuccessfulProcess(WorkQueue<VarContext<T>> workQueue)
InterProcAnalysisPass
postSuccessfulProcess
in class InterProcAnalysisPass<VarContext<T extends AbstractValue<T>>>