fabil.frontend
Class FabILScheduler

java.lang.Object
  extended by JLScheduler
      extended by fabil.frontend.FabILScheduler
Direct Known Subclasses:
OutputExtensionInfo.OutputScheduler

public class FabILScheduler
extends JLScheduler


Field Summary
protected  ExtensionInfo extInfo
           
 
Constructor Summary
FabILScheduler(ExtensionInfo extInfo)
           
 
Method Summary
 Goal CheckAbortRetry(Job job)
           
 Goal ClassReferencesCollected(Job job)
           
 Goal CodeGenerated(Job job)
           
 Goal CollectStaticInitializers(Job job)
           
 Goal ExpressionsFlattened(Job job)
           
 Goal FindUpdatedVariables(Job job)
           
 Goal FixArrayInitializerTypes(Job job)
           
 Goal InnerClassesRemoved(Job job)
           
 Goal InstrumentThreads(Job job)
           
 Goal LabelsAssigned(Job job)
          Ensures all objects have their labels assigned.
 Goal LocationsAssigned(Job job)
          Ensures all objects have their locations assigned.
 Goal LoopsNormalized(Job job)
           
 Goal Memoized(Job job)
           
 Goal PrincipalsDelegated(Job job)
           
 Goal ReadWriteChecked(Job job)
           
 Goal RewriteAtomic(Job job)
           
 Goal RewriteAtomicMethods(Job job)
           
 Goal RewriteProxies(Job job)
           
 Goal RewriteRemoteCalls(Job job)
           
 Goal RewriteStoreGetters(Job job)
           
 Goal Serialized(Job job)
           
 Goal SignatureClean(Job job)
           
 Goal TypeCheckedAfterFlatten(Job job)
           
 Goal TypesInitialized(Job job)
           
 Goal WrapInlineables(Job job)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

extInfo

protected ExtensionInfo extInfo
Constructor Detail

FabILScheduler

public FabILScheduler(ExtensionInfo extInfo)
Method Detail

TypesInitialized

public Goal TypesInitialized(Job job)

LoopsNormalized

public Goal LoopsNormalized(Job job)

ExpressionsFlattened

public Goal ExpressionsFlattened(Job job)

CheckAbortRetry

public Goal CheckAbortRetry(Job job)

TypeCheckedAfterFlatten

public Goal TypeCheckedAfterFlatten(Job job)

ClassReferencesCollected

public Goal ClassReferencesCollected(Job job)

CollectStaticInitializers

public Goal CollectStaticInitializers(Job job)

RewriteAtomicMethods

public Goal RewriteAtomicMethods(Job job)

FindUpdatedVariables

public Goal FindUpdatedVariables(Job job)

InnerClassesRemoved

public Goal InnerClassesRemoved(Job job)

FixArrayInitializerTypes

public Goal FixArrayInitializerTypes(Job job)

WrapInlineables

public Goal WrapInlineables(Job job)

ReadWriteChecked

public Goal ReadWriteChecked(Job job)

LabelsAssigned

public Goal LabelsAssigned(Job job)
Ensures all objects have their labels assigned.


LocationsAssigned

public Goal LocationsAssigned(Job job)
Ensures all objects have their locations assigned.


PrincipalsDelegated

public Goal PrincipalsDelegated(Job job)

RewriteStoreGetters

public Goal RewriteStoreGetters(Job job)

RewriteProxies

public Goal RewriteProxies(Job job)

InstrumentThreads

public Goal InstrumentThreads(Job job)

RewriteAtomic

public Goal RewriteAtomic(Job job)

RewriteRemoteCalls

public Goal RewriteRemoteCalls(Job job)

Memoized

public Goal Memoized(Job job)

Serialized

public Goal Serialized(Job job)

SignatureClean

public Goal SignatureClean(Job job)

CodeGenerated

public Goal CodeGenerated(Job job)