public class AccrueJL5ExtensionInfo extends polyglot.ext.jl5.JL5ExtensionInfo implements AccrueExtensionInfo
Modifier and Type | Field and Description |
---|---|
protected AnalysisSignatures |
analysisSignatures |
protected boolean |
isOutputExtensionInfo
Is this extension info being used as an output extension
(i.e., after some preprocessing pass)? If so, then the behavior of the
scheduler and the options will be slightly changed.
|
Constructor and Description |
---|
AccrueJL5ExtensionInfo() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
compilerName() |
protected AnalysisSignatures |
createAnalysisSignatures() |
protected polyglot.ast.NodeFactory |
createNodeFactory() |
protected polyglot.main.Options |
createOptions() |
polyglot.frontend.Scheduler |
createScheduler() |
StmtRegistrar |
createStmtRegistrar()
Create the StmtRegistrar that will be used to register
pointer-analysis statements.
|
java.lang.String[] |
defaultFileExtensions() |
AnalysisSignatures |
getAnalysisSignatures()
Return an object to handle analysis results when
source code is unavailable.
|
polyglot.frontend.goals.Goal |
getCompileGoal(polyglot.frontend.Job job) |
HeapAbstractionFactory |
heapAbstractionFactory()
Return the HeapAbstractionFactory to be used
during pointer analysis.
|
void |
initCompiler(polyglot.frontend.Compiler compiler) |
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.
|
createClassFile, createTypeSystem, defaultFileExtension, outputExtensionInfo, parser, version
initTypeSystem, jobExt, makeLoadedClassResolver
classFileLoader, cleanup, compiler, configureFileManager, configureFileManagerForPostCompiler, createFileManager, createFileSource, createFileSource, defaultLocations, extFileManager, fileExtensions, getOptions, getStats, getToExt, nodeFactory, scheduler, sourceLoader, targetFactory, toString, typeSystem
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
classFileLoader, cleanup, compiler, configureFileManagerForPostCompiler, createClassFile, createFileSource, createFileSource, defaultFileExtension, defaultLocations, extFileManager, fileExtensions, getOptions, getStats, getToExt, jobExt, nodeFactory, outputExtensionInfo, parser, scheduler, sourceLoader, targetFactory, typeSystem, version
protected boolean isOutputExtensionInfo
protected AnalysisSignatures analysisSignatures
public void setIsOutputExtensionInfo(boolean isOutputExtensionInfo)
AccrueExtensionInfo
setIsOutputExtensionInfo
in interface AccrueExtensionInfo
public java.lang.String compilerName()
compilerName
in interface polyglot.frontend.ExtensionInfo
compilerName
in class polyglot.ext.jl5.JL5ExtensionInfo
protected polyglot.ast.NodeFactory createNodeFactory()
createNodeFactory
in class polyglot.ext.jl5.JL5ExtensionInfo
public polyglot.frontend.Scheduler createScheduler()
createScheduler
in class polyglot.ext.jl5.JL5ExtensionInfo
public polyglot.frontend.goals.Goal getCompileGoal(polyglot.frontend.Job job)
getCompileGoal
in interface polyglot.frontend.ExtensionInfo
getCompileGoal
in class polyglot.frontend.ParserlessJLExtensionInfo
public void initCompiler(polyglot.frontend.Compiler compiler)
initCompiler
in interface polyglot.frontend.ExtensionInfo
initCompiler
in class polyglot.frontend.AbstractExtensionInfo
public AnalysisSignatures getAnalysisSignatures()
AccrueExtensionInfo
getAnalysisSignatures
in interface AccrueExtensionInfo
public PointsToEngine pointsToEngine()
AccrueExtensionInfo
pointsToEngine
in interface AccrueExtensionInfo
public HeapAbstractionFactory heapAbstractionFactory()
AccrueExtensionInfo
heapAbstractionFactory
in interface AccrueExtensionInfo
protected AnalysisSignatures createAnalysisSignatures()
protected polyglot.main.Options createOptions()
createOptions
in class polyglot.ext.jl5.JL5ExtensionInfo
public StmtRegistrar createStmtRegistrar()
AccrueExtensionInfo
createStmtRegistrar
in interface AccrueExtensionInfo
public boolean isOutputExtensionInfo()
AccrueExtensionInfo
isOutputExtensionInfo
in interface AccrueExtensionInfo
public java.lang.String[] defaultFileExtensions()
defaultFileExtensions
in interface polyglot.frontend.ExtensionInfo
defaultFileExtensions
in class polyglot.ext.jl5.JL5ExtensionInfo