polyglot.ext.pao
Class ExtensionInfo

java.lang.Object
  polyglot.frontend.AbstractExtensionInfo
      polyglot.frontend.JLExtensionInfo
          polyglot.ext.pao.ExtensionInfo

All Implemented Interfaces:

ExtensionInfo

public class ExtensionInfo
extends JLExtensionInfo

Extension information for the PAO extension. This class specifies the appropriate parser, NodeFactory and TypeSystem to use, as well as inserting a new pass: PaoBoxer.

See Also:

PaoBoxer, PaoNodeFactory_c, PaoTypeSystem, PaoTypeSystem_c

Field Summary

Fields inherited from class polyglot.frontend.AbstractExtensionInfo

compiler, nf, scheduler, source_loader, stats, target_factory, ts

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.
Scheduler	createScheduler()
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.

Methods inherited from class polyglot.frontend.JLExtensionInfo

getCompileGoal, initTypeSystem, jobExt, version

Methods inherited from class polyglot.frontend.AbstractExtensionInfo

compiler, createClassFile, createFileSource, createOptions, defaultFileExtensions, fileExtensions, getOptions, getStats, initCompiler, nodeFactory, scheduler, sourceLoader, targetFactory, toString, typeSystem

Methods inherited from class java.lang.Object

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

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 JLExtensionInfo

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 JLExtensionInfo

parser

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

Description copied from class: JLExtensionInfo

Return a parser for source using the given reader.

Specified by:

parser in interface ExtensionInfo

Overrides:

parser in class JLExtensionInfo

createNodeFactory

protected NodeFactory createNodeFactory()

Description copied from class: JLExtensionInfo

Create the node factory for this extension.

Overrides:

createNodeFactory in class JLExtensionInfo

createTypeSystem

protected TypeSystem createTypeSystem()

Description copied from class: JLExtensionInfo

Create the type system for this extension.

Overrides:

createTypeSystem in class JLExtensionInfo

createScheduler

public Scheduler createScheduler()

Overrides:

createScheduler in class JLExtensionInfo