Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif
Class ExtensionInfo

    java.lang.Object
      polyglot.frontend.AbstractExtensionInfo
          polyglot.frontend.ParserlessJLExtensionInfo
              polyglot.frontend.JLExtensionInfo
                  jif.ExtensionInfo

All Implemented Interfaces:
  polyglot.frontend.ExtensionInfo

    public class ExtensionInfo

extends polyglot.frontend.JLExtensionInfo

The configuration information of the Jif extension. Compiling passes and corresponding visitors:

- ... clean super barrier, inherited from the jl extension
- rewrite argument labels, `RewriteArgsVisitor`
- add dummy fields, `AddDummyFieldsVisitor`
- clean signatures, inherited from the jl extension
- resolve field labels, `FieldLabelResolver`
- ... check exceptions, inherited from the jl extension
- (barrier) check labels, `LabelChecker`
- serialization
- translation, `JifTranslator`

Nested Class Summary
`static class` | `ExtensionInfo.JifJobExt`

Field Summary
`protected OutputExtensionInfo` | `jlext`
`static java.util.Set` | `topics`

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()`
`polyglot.frontend.FileSource` | `createFileSource(java.io.File f, boolean user)`
`LabelChecker` | `createLabelChecker(polyglot.frontend.Job job, boolean solvePerClassBody, boolean solvePerMethod, boolean doLabelSubst)`
`protected polyglot.ast.NodeFactory` | `createNodeFactory()`
`protected polyglot.main.Options` | `createOptions()`
`protected polyglot.frontend.Scheduler` | `createScheduler()`
`protected polyglot.types.TypeSystem` | `createTypeSystem()`
`java.lang.String` | `defaultFileExtension()`
`polyglot.frontend.goals.Goal` | `getCompileGoal(polyglot.frontend.Job job)`
`JifOptions` | `getJifOptions()`
`void` | `initCompiler(polyglot.frontend.Compiler compiler)`
`protected void` | `initTypeSystem()`
`protected polyglot.types.TypeSystem` | `jlTypeSystem()`
`polyglot.frontend.JobExt` | `jobExt()`
`polyglot.frontend.Parser` | `parser(java.io.Reader reader, polyglot.frontend.FileSource source, polyglot.util.ErrorQueue eq)`
`polyglot.main.Version` | `version()`

Methods inherited from class polyglot.frontend.ParserlessJLExtensionInfo
`makeLoadedClassResolver`

Methods inherited from class polyglot.frontend.AbstractExtensionInfo
`compiler, createClassFile, defaultFileExtensions, fileExtensions, getOptions, getStats, nodeFactory, scheduler, sourceLoader, targetFactory, toString, typeSystem`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

### jlext

    protected OutputExtensionInfo jlext

### topics

    public static java.util.Set topics

Constructor Detail

### ExtensionInfo

    public ExtensionInfo()

Method Detail

### defaultFileExtension

    public java.lang.String defaultFileExtension()

  Specified by:
    `defaultFileExtension` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `defaultFileExtension` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### compilerName

    public java.lang.String compilerName()

  Specified by:
    `compilerName` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `compilerName` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### createOptions

    protected polyglot.main.Options createOptions()

  Overrides:
    `createOptions` in class `polyglot.frontend.AbstractExtensionInfo`

### getJifOptions

    public JifOptions getJifOptions()

### jlTypeSystem

    protected polyglot.types.TypeSystem jlTypeSystem()

### createTypeSystem

    protected polyglot.types.TypeSystem createTypeSystem()

  Overrides:
    `createTypeSystem` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### initCompiler

    public void initCompiler(polyglot.frontend.Compiler compiler)

  Specified by:
    `initCompiler` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `initCompiler` in class `polyglot.frontend.AbstractExtensionInfo`

### initTypeSystem

    protected void initTypeSystem()

  Overrides:
    `initTypeSystem` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### createNodeFactory

    protected polyglot.ast.NodeFactory createNodeFactory()

  Overrides:
    `createNodeFactory` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### version

    public polyglot.main.Version version()

  Specified by:
    `version` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `version` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### parser

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

  Specified by:
    `parser` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `parser` in class `polyglot.frontend.JLExtensionInfo`

### jobExt

    public polyglot.frontend.JobExt jobExt()

  Specified by:
    `jobExt` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `jobExt` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### createScheduler

    protected polyglot.frontend.Scheduler createScheduler()

  Overrides:
    `createScheduler` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### createLabelChecker

    public LabelChecker createLabelChecker(polyglot.frontend.Job job,
                                           boolean solvePerClassBody,
                                           boolean solvePerMethod,
                                           boolean doLabelSubst)

### getCompileGoal

    public polyglot.frontend.goals.Goal getCompileGoal(polyglot.frontend.Job job)

  Specified by:
    `getCompileGoal` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `getCompileGoal` in class `polyglot.frontend.ParserlessJLExtensionInfo`

### createFileSource

    public polyglot.frontend.FileSource createFileSource(java.io.File f,
                                                         boolean user)
                                                  throws java.io.IOException

  Specified by:
    `createFileSource` in interface `polyglot.frontend.ExtensionInfo`
  Overrides:
    `createFileSource` in class `polyglot.frontend.AbstractExtensionInfo`
  Throws:
    `java.io.IOException`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD