fabil.frontend

Class FabILScheduler

java.lang.Object

JLScheduler

fabil.frontend.FabILScheduler

All Implemented Interfaces:

CBScheduler

Direct Known Subclasses:

OutputExtensionInfo.OutputScheduler

public class FabILScheduler
extends JLScheduler
implements CBScheduler

Field Summary

Fields

Modifier and Type	Field and Description
protected ExtensionInfo	extInfo

Constructor Summary

Constructors

Constructor and Description
FabILScheduler(ExtensionInfo extInfo)

Method Summary

Modifier and Type	Method and Description
Goal	CheckAbortRetry(Job job)
Goal	ClassesHashed(Job job)
Goal	ClassReferencesCollected(Job job)
Goal	CodeGenerated(Job job)
Goal	CollectStaticInitializers(Job job)
Goal	CreateJavaSkeleton(Job job)
Goal	ExpressionsFlattened(Job job)
Goal	FindUpdatedVariables(Job job)
Goal	FixArrayInitializerTypes(Job job)
Goal	ImmutableFlagsCleared(Job job)
Goal	ImportTableInitialized(Job job)
Goal	InitializationsChecked(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	RewriteProviders(Job job) Rewrites C.provider expressions.
Goal	RewriteProxies(Job job)
Goal	RewriteRemoteCalls(Job job)
Goal	RewriteStoreGetters(Job job)
boolean	runToCompletion()
Goal	Serialized(Job job)
Goal	SignatureClean(Job job)
Goal	SignaturesHashed(Job job)
Goal	TypeCheckedAfterFlatten(Job job)
Goal	TypeExists(java.net.URI ns, java.lang.String name)
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

ImmutableFlagsCleared

public Goal ImmutableFlagsCleared(Job job)

ImportTableInitialized

public Goal ImportTableInitialized(Job job)

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)

RewriteProviders

public Goal RewriteProviders(Job job)

Rewrites C.provider expressions.

InstrumentThreads

public Goal InstrumentThreads(Job job)

RewriteAtomic

public Goal RewriteAtomic(Job job)

RewriteRemoteCalls

public Goal RewriteRemoteCalls(Job job)

Memoized

public Goal Memoized(Job job)

ClassesHashed

public Goal ClassesHashed(Job job)

SignaturesHashed

public Goal SignaturesHashed(Job job)

Serialized

public Goal Serialized(Job job)

CreateJavaSkeleton

public Goal CreateJavaSkeleton(Job job)

SignatureClean

public Goal SignatureClean(Job job)

CodeGenerated

public Goal CodeGenerated(Job job)

runToCompletion

public boolean runToCompletion()

TypeExists

public Goal TypeExists(java.net.URI ns,
                       java.lang.String name)

Specified by:

TypeExists in interface CBScheduler

InitializationsChecked

public Goal InitializationsChecked(Job job)