polyglot.frontend

Class JLExtensionInfo

java.lang.Object

polyglot.frontend.AbstractExtensionInfo

polyglot.frontend.ParserlessJLExtensionInfo

polyglot.frontend.JLExtensionInfo

All Implemented Interfaces:

ExtensionInfo

Direct Known Subclasses:

ExtensionInfo, JL5ExtensionInfo, JLOutputExtensionInfo

public class JLExtensionInfo
extends ParserlessJLExtensionInfo

This is the default ExtensionInfo for the Java language. Compilation passes and visitors:

1. parse
2. build-types (TypeBuilder)
BARRIER
3. disambiguate (AmbiguityRemover)
4. type checking (TypeChecker)
5. reachable checking (ReachChecker)
6. exception checking (ExceptionChecker)
7. exit checking (ExitChecker)
8. initialization checking (InitChecker)
9. circular constructor call checking (ConstructorCallChecker) PRE_OUTPUT MARKER
10. serialization (ClassSerializer), optional
11. translation (Translator)

Field Summary

Fields inherited from class polyglot.frontend.AbstractExtensionInfo

classFileLoader, compiler, default_locations, extFM, nf, scheduler, stats, target_factory, ts

Constructor Summary

Constructors

Constructor and Description
JLExtensionInfo()

Method Summary

Methods

Modifier and Type	Method and Description
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.ParserlessJLExtensionInfo

compilerName, createNodeFactory, createScheduler, createTypeSystem, defaultFileExtension, getCompileGoal, initTypeSystem, jobExt, makeLoadedClassResolver, version

Methods inherited from class polyglot.frontend.AbstractExtensionInfo

classFileLoader, cleanup, compiler, configureFileManager, configureFileManagerForPostCompiler, createClassFile, createFileManager, createFileSource, createFileSource, createOptions, defaultFileExtensions, defaultLocations, extFileManager, fileExtensions, getOptions, getStats, getToExt, initCompiler, nodeFactory, outputExtensionInfo, scheduler, sourceLoader, targetFactory, toString, typeSystem

Methods inherited from class java.lang.Object

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

Constructor Detail

JLExtensionInfo

public JLExtensionInfo()

Method Detail

parser

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

Return a parser for source using the given reader.

Specified by:

parser in interface ExtensionInfo

Specified by:

parser in class ParserlessJLExtensionInfo