polyglot.ext.coffer
Class ExtensionInfo

java.lang.Object
  polyglot.frontend.AbstractExtensionInfo
      polyglot.ext.jl.ExtensionInfo
          polyglot.ext.param.ExtensionInfo
              polyglot.ext.coffer.ExtensionInfo

All Implemented Interfaces:

ExtensionInfo

public class ExtensionInfo
extends ExtensionInfo

Extension information for coffer extension.

Field Summary

static Pass.ID

KEY_CHECK

Fields inherited from class polyglot.frontend.AbstractExtensionInfo

compiler, COMPLETED_JOB, currentJob, jobs, nf, source_loader, stats, target_factory, ts, worklist

Constructor Summary

ExtensionInfo()

Method Summary

java.lang.String	compilerName() The name of the compiler for usage messages
protected NodeFactory	createNodeFactory() Create the node factory 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) Get the parser for this language extension.
java.util.List	passes(Job job) Get the complete list of passes for the job.

Methods inherited from class polyglot.ext.jl.ExtensionInfo

initTypeSystem, jobExt, version

Methods inherited from class polyglot.frontend.AbstractExtensionInfo

addDependencyToCurrentJob, addJob, addJob, afterPass, afterPass, beforePass, beforePass, compiler, createClassFile, createJob, createOptions, createSourceJob, defaultFileExtensions, enforceInvariants, fileExtensions, getOptions, getStats, initCompiler, nodeFactory, passes, readSource, removePass, replacePass, replacePass, runAllPasses, runPass, runToCompletion, runToPass, runToPass, selectJobFromWorklist, sourceLoader, spawnJob, targetFactory, toString, typeSystem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

KEY_CHECK

public static final Pass.ID KEY_CHECK

Constructor Detail

ExtensionInfo

public ExtensionInfo()

Method Detail

defaultFileExtension

public java.lang.String defaultFileExtension()

Description copied from interface: ExtensionInfo

The default extension that source files are expected to have.

Specified by:

defaultFileExtension in interface ExtensionInfo

Overrides:

defaultFileExtension in class ExtensionInfo

compilerName

public java.lang.String compilerName()

Description copied from interface: ExtensionInfo

The name of the compiler for usage messages

Specified by:

compilerName in interface ExtensionInfo

Overrides:

compilerName in class ExtensionInfo

parser

public Parser parser(java.io.Reader reader,
                     FileSource source,
                     ErrorQueue eq)

Description copied from class: AbstractExtensionInfo

Get the parser for this language extension.

Specified by:

parser in interface ExtensionInfo

Overrides:

parser in class ExtensionInfo

createNodeFactory

protected NodeFactory createNodeFactory()

Description copied from class: ExtensionInfo

Create the node factory for this extension.

Overrides:

createNodeFactory in class ExtensionInfo

createTypeSystem

protected TypeSystem createTypeSystem()

Description copied from class: ExtensionInfo

Create the type system for this extension.

Overrides:

createTypeSystem in class ExtensionInfo

passes

public java.util.List passes(Job job)

Description copied from class: AbstractExtensionInfo

Get the complete list of passes for the job.

Specified by:

passes in interface ExtensionInfo

Overrides:

passes in class ExtensionInfo