public interface AccrueExtensionInfo
extends polyglot.frontend.ExtensionInfo
Modifier and Type | Method and Description |
---|---|
StmtRegistrar |
createStmtRegistrar()
Create the StmtRegistrar that will be used to register
pointer-analysis statements.
|
AnalysisSignatures |
getAnalysisSignatures()
Return an object to handle analysis results when
source code is unavailable.
|
HeapAbstractionFactory |
heapAbstractionFactory()
Return the HeapAbstractionFactory to be used
during pointer analysis.
|
boolean |
isOutputExtensionInfo()
Is this ExtensionInfo the output extension info for some
other extension? This will affect some of the behavior
of some of the goals of this ExtensionInfo, notably
whether this extension info will parse source files,
or simply accept the AST nodes given to it (i.e., the output
of the previous ExtensionInfo).
|
PointsToEngine |
pointsToEngine()
Return the PointsToEngine to be used during
pointer analysis.
|
void |
setIsOutputExtensionInfo(boolean isOutputExtensionInfo)
Set whether this ExtensionInfo is the output extension info
for some other extension.
|
classFileLoader, cleanup, compiler, compilerName, configureFileManagerForPostCompiler, createClassFile, createFileSource, createFileSource, defaultFileExtension, defaultFileExtensions, defaultLocations, extFileManager, fileExtensions, getCompileGoal, getOptions, getStats, getToExt, initCompiler, jobExt, nodeFactory, outputExtensionInfo, parser, scheduler, sourceLoader, targetFactory, typeSystem, version
StmtRegistrar createStmtRegistrar()
HeapAbstractionFactory heapAbstractionFactory()
PointsToEngine pointsToEngine()
AnalysisSignatures getAnalysisSignatures()
boolean isOutputExtensionInfo()
void setIsOutputExtensionInfo(boolean isOutputExtensionInfo)