fabric
Class ExtensionInfo

java.lang.Object
  extended by jif.ExtensionInfo
      extended by fabric.ExtensionInfo

public class ExtensionInfo
extends jif.ExtensionInfo

Extension information for fabric extension.


Field Summary
protected  ExtensionInfo filext
           
 
Constructor Summary
ExtensionInfo()
           
 
Method Summary
 java.lang.String compilerName()
           
 LabelChecker createLabelChecker(Job job, boolean solvePerClassBody, boolean solvePerMethod, boolean doLabelSubst)
           
protected  FabricNodeFactory createNodeFactory()
           
protected  FabricOptions createOptions()
           
protected  Scheduler createScheduler()
           
protected  FabricTypeSystem createTypeSystem()
           
 java.lang.String defaultFileExtension()
           
 Goal getCompileGoal(Job job)
           
 void initCompiler(java.lang.Compiler compiler)
           
 FabILTypeSystem jlTypeSystem()
           
 FabricNodeFactory nodeFactory()
           
 Parser parser(java.io.Reader reader, FileSource source, ErrorQueue eq)
           
 FabricScheduler scheduler()
           
 FabricTypeSystem typeSystem()
           
 Version version()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

filext

protected ExtensionInfo filext
Constructor Detail

ExtensionInfo

public ExtensionInfo()
Method Detail

initCompiler

public void initCompiler(java.lang.Compiler compiler)

defaultFileExtension

public java.lang.String defaultFileExtension()

compilerName

public java.lang.String compilerName()

getCompileGoal

public Goal getCompileGoal(Job job)

parser

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

jlTypeSystem

public FabILTypeSystem jlTypeSystem()

createNodeFactory

protected FabricNodeFactory createNodeFactory()

createTypeSystem

protected FabricTypeSystem createTypeSystem()

createOptions

protected FabricOptions createOptions()

createScheduler

protected Scheduler createScheduler()

nodeFactory

public FabricNodeFactory nodeFactory()

typeSystem

public FabricTypeSystem typeSystem()

scheduler

public FabricScheduler scheduler()

version

public Version version()

createLabelChecker

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