public abstract class AccrueJL5TranslationExtensionInfo
extends polyglot.ext.jl5.JL5ExtensionInfo
Modifier and Type | Class and Description |
---|---|
static class |
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
This options class uses the options of the succeeding info flow extension
pass
|
Constructor and Description |
---|
AccrueJL5TranslationExtensionInfo(AccrueExtensionInfo extInfo) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
compilerName() |
protected polyglot.main.Options |
createOptions() |
java.lang.String |
defaultFileExtension() |
java.lang.String[] |
defaultFileExtensions() |
createClassFile, createNodeFactory, createScheduler, createTypeSystem, 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
public AccrueJL5TranslationExtensionInfo(AccrueExtensionInfo extInfo)
extInfo
- The AccrueExtensionInfo to run on the classes once they
have been translated to Java 1.4.public java.lang.String defaultFileExtension()
defaultFileExtension
in interface polyglot.frontend.ExtensionInfo
defaultFileExtension
in class polyglot.ext.jl5.JL5ExtensionInfo
public java.lang.String[] defaultFileExtensions()
defaultFileExtensions
in interface polyglot.frontend.ExtensionInfo
defaultFileExtensions
in class polyglot.ext.jl5.JL5ExtensionInfo
public java.lang.String compilerName()
compilerName
in interface polyglot.frontend.ExtensionInfo
compilerName
in class polyglot.ext.jl5.JL5ExtensionInfo
protected polyglot.main.Options createOptions()
createOptions
in class polyglot.ext.jl5.JL5ExtensionInfo