public class JL5OutputExtensionInfo extends JL5ExtensionInfo
Modifier and Type | Class and Description |
---|---|
protected static class |
JL5OutputExtensionInfo.JL5OutputOptions |
protected static class |
JL5OutputExtensionInfo.JL5OutputScheduler |
Modifier and Type | Field and Description |
---|---|
protected ExtensionInfo |
parent |
outputExtensionInfo
classFileLoader, compiler, default_locations, extFM, nf, scheduler, stats, target_factory, ts
Constructor and Description |
---|
JL5OutputExtensionInfo(ExtensionInfo parent) |
Modifier and Type | Method and Description |
---|---|
protected Options |
createOptions() |
Scheduler |
createScheduler()
Create the scheduler for this extension.
|
compilerName, createClassFile, createNodeFactory, createTypeSystem, defaultFileExtension, defaultFileExtensions, outputExtensionInfo, parser, version
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 final ExtensionInfo parent
public JL5OutputExtensionInfo(ExtensionInfo parent)
public Scheduler createScheduler()
AbstractExtensionInfo
createScheduler
in class JL5ExtensionInfo
protected Options createOptions()
createOptions
in class JL5ExtensionInfo