public class ExtensionInfo extends polyglot.frontend.JLExtensionInfo implements ExtensionInfo
Modifier and Type | Field and Description |
---|---|
protected static java.net.URI |
local_ns |
protected static java.net.URI |
platform_ns |
protected CBTypeEncoder |
typeEncoder |
Constructor and Description |
---|
ExtensionInfo() |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.io.File> |
bootclasspath()
The locations of java boot classes
|
java.util.List<java.net.URI> |
classpath()
The classpath used to resolve dependencies during compilation.
|
java.util.Map<java.lang.String,java.net.URI> |
codebaseAliases()
A map between codebase aliases used in source and the URI of the intended
codebase.
|
java.lang.String |
compilerName() |
protected void |
configureFileManager() |
void |
configureFileManagerForPostCompiler() |
ClassFile |
createClassFile(javax.tools.FileObject classFileSource,
byte[] code) |
FileManager |
createFileManager() |
FileSource |
createFileSource(javax.tools.FileObject f,
Kind kind) |
NamespaceResolver |
createNamespaceResolver(java.net.URI ns)
Creates namespace resolvers for FabIL namespaces.
|
protected NodeFactory |
createNodeFactory() |
protected Options |
createOptions() |
protected Scheduler |
createScheduler() |
protected TypeSystem |
createTypeSystem() |
java.lang.String |
defaultFileExtension() |
fabric.worker.Store |
destinationStore() |
FabILOptions |
getOptions() |
protected void |
initTypeSystem() |
JobExt |
jobExt() |
java.util.Set<java.lang.String> |
keywords() |
java.net.URI |
localNamespace()
The namespace used for source resolved against the classpath and
sourcepath.
|
java.lang.String |
namespaceToJavaPackagePrefix(java.net.URI ns)
Return the java package prefix for the given namespace.
|
FabILNodeFactory |
nodeFactory() |
Parser |
parser(java.io.Reader reader,
Source source,
ErrorQueue eq) |
java.net.URI |
platformNamespace()
The namespace used for built-in types like fabric.lang.Object.
|
java.util.List<java.net.URI> |
sourcepath()
The sourcepath used to resolve source dependencies during compilation.
|
TargetFactory |
targetFactory() |
CBTypeEncoder |
typeEncoder()
Return the type encoder used by this extension.
|
FabILTypeSystem |
typeSystem() |
Version |
version() |
protected static java.net.URI platform_ns
protected static java.net.URI local_ns
protected CBTypeEncoder typeEncoder
public java.lang.String compilerName()
public FileManager createFileManager()
protected void configureFileManager() throws java.io.IOException
java.io.IOException
public void configureFileManagerForPostCompiler() throws java.io.IOException
java.io.IOException
protected NodeFactory createNodeFactory()
protected Options createOptions()
protected Scheduler createScheduler()
public ClassFile createClassFile(javax.tools.FileObject classFileSource, byte[] code) throws java.io.IOException
createClassFile
in interface ExtensionInfo
java.io.IOException
protected TypeSystem createTypeSystem()
public TargetFactory targetFactory()
public Parser parser(java.io.Reader reader, Source source, ErrorQueue eq)
public java.util.Set<java.lang.String> keywords()
protected void initTypeSystem()
public FabILTypeSystem typeSystem()
typeSystem
in interface ExtensionInfo
public FabILNodeFactory nodeFactory()
public java.lang.String defaultFileExtension()
public Version version()
public FabILOptions getOptions()
public FileSource createFileSource(javax.tools.FileObject f, Kind kind) throws java.io.IOException
java.io.IOException
public NamespaceResolver createNamespaceResolver(java.net.URI ns)
ns
- public java.net.URI platformNamespace()
ExtensionInfo
platformNamespace
in interface ExtensionInfo
public java.net.URI localNamespace()
ExtensionInfo
localNamespace
in interface ExtensionInfo
public CBTypeEncoder typeEncoder()
ExtensionInfo
typeEncoder
in interface ExtensionInfo
public java.lang.String namespaceToJavaPackagePrefix(java.net.URI ns)
ExtensionInfo
namespaceToJavaPackagePrefix
in interface ExtensionInfo
public java.util.Map<java.lang.String,java.net.URI> codebaseAliases()
ExtensionInfo
codebaseAliases
in interface ExtensionInfo
public fabric.worker.Store destinationStore()
destinationStore
in interface ExtensionInfo
public JobExt jobExt()
public java.util.List<java.net.URI> classpath()
ExtensionInfo
classpath
in interface ExtensionInfo
public java.util.List<java.net.URI> sourcepath()
ExtensionInfo
sourcepath
in interface ExtensionInfo
public java.util.List<java.io.File> bootclasspath()
ExtensionInfo
bootclasspath
in interface ExtensionInfo