public class JL7ExtensionInfo extends JL5ExtensionInfo
Modifier and Type | Field and Description |
---|---|
protected ExtensionInfo |
outputExtensionInfo |
classFileLoader, compiler, default_locations, extFM, nf, scheduler, stats, target_factory, ts
Constructor and Description |
---|
JL7ExtensionInfo() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
compilerName()
The name of the compiler for usage messages
|
protected NodeFactory |
createNodeFactory()
Create the node factory for this extension.
|
Scheduler |
createScheduler()
Create the scheduler for this extension.
|
protected TypeSystem |
createTypeSystem()
Create the type system for this extension.
|
java.lang.String |
defaultFileExtension()
The default extension that source files are expected to have.
|
Parser |
parser(java.io.Reader reader,
FileSource source,
ErrorQueue eq)
Return a parser for
source using the given
reader . |
Version |
version()
Report the version of the extension.
|
createClassFile, createOptions, defaultFileExtensions, outputExtensionInfo
getCompileGoal, initTypeSystem, jobExt, makeLoadedClassResolver
classFileLoader, cleanup, compiler, configureFileManager, configureFileManagerForPostCompiler, createFileManager, createFileSource, createFileSource, defaultLocations, extFileManager, fileExtensions, getOptions, getStats, getToExt, initCompiler, nodeFactory, scheduler, sourceLoader, targetFactory, toString, typeSystem
protected ExtensionInfo outputExtensionInfo
public java.lang.String defaultFileExtension()
ExtensionInfo
defaultFileExtension
in interface ExtensionInfo
defaultFileExtension
in class JL5ExtensionInfo
public java.lang.String compilerName()
ExtensionInfo
compilerName
in interface ExtensionInfo
compilerName
in class JL5ExtensionInfo
protected NodeFactory createNodeFactory()
ParserlessJLExtensionInfo
createNodeFactory
in class JL5ExtensionInfo
protected TypeSystem createTypeSystem()
ParserlessJLExtensionInfo
createTypeSystem
in class JL5ExtensionInfo
public Scheduler createScheduler()
AbstractExtensionInfo
createScheduler
in class JL5ExtensionInfo
public Parser parser(java.io.Reader reader, FileSource source, ErrorQueue eq)
source
using the given
reader
.parser
in interface ExtensionInfo
parser
in class JL5ExtensionInfo
public Version version()
ExtensionInfo
version
in interface ExtensionInfo
version
in class JL5ExtensionInfo