fabric
Class ExtensionInfo
java.lang.Object
jif.ExtensionInfo
fabric.ExtensionInfo
public class ExtensionInfo
- extends jif.ExtensionInfo
Extension information for fabric extension.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
filext
protected ExtensionInfo filext
ExtensionInfo
public ExtensionInfo()
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)