Methods
Modifier and Type |
Method and Description |
CallGraph |
callGraph() |
protected void |
clearDependees(AnalysisUnit a)
Clear the set of AnalysisUnits that depend on the
results of AnalysisUnit a.
|
protected WorkQueue.AnalysisUnitRecord<T> |
createAnalysisUnitRecord() |
protected WorkQueue.AnalysisUnitRecord<T> |
createAnalysisUnitRecord(T initialInput,
ExitMap<T> initialOutput) |
protected ExitMap<T> |
createExitMap(T input) |
void |
dumpQueue(java.io.PrintStream out) |
ExitMap<T> |
emptyExitMap() |
protected boolean |
existingResultSuitable(T input,
WorkQueue.AnalysisUnitRecord<T> rec) |
polyglot.frontend.ExtensionInfo |
extensionInfo() |
AnalysisFactory<T> |
factory() |
ExitMap<T> |
getAnalysisResult(AnalysisUnit callee,
T input,
AnalysisUtil<T> callerAUtil) |
WorkQueue.AnalysisUnitRecord<T> |
getAnalysisUnitRecord(AnalysisUnit unit) |
protected java.util.Set<AnalysisUnit> |
getDependees(AnalysisUnit a) |
protected ExitMap<T> |
initialAnalysisUnitOutput(AnalysisUnit callee,
T input) |
boolean |
isEmpty() |
protected boolean |
isOutputChanged(ExitMap<T> output,
WorkQueue.AnalysisUnitRecord<T> rec,
AnalysisUtil<T> autil) |
boolean |
maybeRecursiveCall(AnalysisUnit caller,
AnalysisUnit callee) |
polyglot.frontend.Pass |
pass() |
void |
processQueue() |
void |
recordResult(AnalysisUnit pc,
AnalysisUtil<T> autil,
T input,
ExitMap<T> output) |
Registrar |
registrar() |
protected ExitMap<T> |
restoreCallingFrame(ExitMap<T> output,
T input,
WorkQueue.AnalysisUnitRecord<T> rec) |
protected void |
updateCallerRecordAfterCalleeProcessing(WorkQueue.AnalysisUnitRecord<T> callerRec,
WorkQueue.AnalysisUnitRecord<T> rec) |
protected void |
updateOutput(WorkQueue.AnalysisUnitRecord<T> rec,
ExitMap<T> output,
AnalysisUtil<T> autil) |