fabric
Class FabricScheduler
java.lang.Object
JifScheduler
fabric.FabricScheduler
public class FabricScheduler
- extends JifScheduler
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
filext
protected ExtensionInfo filext
fabext
protected ExtensionInfo fabext
FabricScheduler
public FabricScheduler(ExtensionInfo fabext,
ExtensionInfo filext)
addJob
public Job addJob(Source source,
Node ast)
addJob
public Job addJob(Source source)
ExplicitSuperclassesAdded
public Goal ExplicitSuperclassesAdded(Job job)
RemoteCallWrappersAdded
public Goal RemoteCallWrappersAdded(Job job)
TypesInitialized
public Goal TypesInitialized(Job job)
RemoteCallWrappersUpdated
public Goal RemoteCallWrappersUpdated(Job job)
DisambiguationAfterWrappers
public Goal DisambiguationAfterWrappers(Job job)
TypeChecked
public Goal TypeChecked(Job job)
ThisLabelChecked
public Goal ThisLabelChecked(Job job)
Serialized
public Goal Serialized(Job job)
PrincipalCastsAdded
public Goal PrincipalCastsAdded(Job job)
FabricToFabilRewritten
public Goal FabricToFabilRewritten(Job job)
ExceptionsChecked
public Goal ExceptionsChecked(Job job)
runToCompletion
public boolean runToCompletion()