polyglot.ext.pao
Class ExtensionInfo

java.lang.Object
  extended by polyglot.frontend.AbstractExtensionInfo
      extended by polyglot.frontend.JLExtensionInfo
          extended by 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