public class JifScheduler
extends polyglot.frontend.JLScheduler
Modifier and Type | Field and Description |
---|---|
protected polyglot.frontend.JLExtensionInfo |
jlext |
protected polyglot.frontend.Job |
objectJob
Hack to ensure that we track the job for java.lang.Object specially.
|
Constructor and Description |
---|
JifScheduler(ExtensionInfo extInfo,
polyglot.frontend.JLExtensionInfo jlext) |
Modifier and Type | Method and Description |
---|---|
polyglot.frontend.Job |
addJob(polyglot.frontend.Source source) |
polyglot.frontend.Job |
addJob(polyglot.frontend.Source source,
polyglot.ast.Node ast) |
polyglot.frontend.goals.Goal |
ExceptionsChecked(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
FieldConstantsChecked(polyglot.types.FieldInstance fi) |
FieldLabelInferenceGoal |
FieldLabelInference(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
FinalParams(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
FinalParamsBarrier() |
polyglot.frontend.goals.Goal |
InitializationsChecked(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
IntegerBoundsChecker(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
JifToJavaRewritten(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
LabelsChecked(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
LabelsDoubleChecked(polyglot.frontend.Job job)
Creates a goal for the label double-checking pass.
|
polyglot.frontend.goals.Goal |
NativeConstructorsAdded(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
NotNullChecker(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
PreciseClassChecker(polyglot.frontend.Job job) |
boolean |
runToCompletion() |
polyglot.frontend.goals.Goal |
TypeChecked(polyglot.frontend.Job job) |
polyglot.frontend.goals.Goal |
Validated(polyglot.frontend.Job job) |
CodeGenerated, ConstantsChecked, ConstructorCallsChecked, Disambiguated, ExitPathsChecked, ForwardReferencesChecked, ImportTableInitialized, MembersAdded, Parsed, ReachabilityChecked, Serialized, SignaturesDisambiguated, SignaturesResolved, SupertypesDisambiguated, SupertypesResolved, TypeExists, TypesInitialized, TypesInitializedForCommandLine
addCorequisiteDependency, addCorequisiteDependencyAndEnqueue, addDependencyAndEnqueue, addGoal, addPrerequisiteDependency, addPrerequisiteDependencyChain, attemptGoal, attemptGoal, commandLineJobs, completeJob, createSourceJob, currentGoal, currentJob, currentPass, dumpDependenceGraph, dumpDependenceGraph, dumpInFlightDependenceGraph, inInfiniteLoop, internGoal, jobs, loadSource, maxRunCount, prerequisiteDependsOn, reached, runGoal, runPass, setCommandLineJobs, sourceHasJob, statusString, toString, worklist
protected polyglot.frontend.JLExtensionInfo jlext
protected polyglot.frontend.Job objectJob
public JifScheduler(ExtensionInfo extInfo, polyglot.frontend.JLExtensionInfo jlext)
public polyglot.frontend.goals.Goal LabelsChecked(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal LabelsDoubleChecked(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal FinalParamsBarrier()
public polyglot.frontend.goals.Goal FinalParams(polyglot.frontend.Job job)
public FieldLabelInferenceGoal FieldLabelInference(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal IntegerBoundsChecker(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal TypeChecked(polyglot.frontend.Job job)
TypeChecked
in class polyglot.frontend.JLScheduler
public polyglot.frontend.goals.Goal PreciseClassChecker(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal NotNullChecker(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal ExceptionsChecked(polyglot.frontend.Job job)
ExceptionsChecked
in class polyglot.frontend.JLScheduler
public polyglot.frontend.goals.Goal JifToJavaRewritten(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal Validated(polyglot.frontend.Job job)
Validated
in class polyglot.frontend.JLScheduler
public polyglot.frontend.goals.Goal NativeConstructorsAdded(polyglot.frontend.Job job)
public polyglot.frontend.goals.Goal FieldConstantsChecked(polyglot.types.FieldInstance fi)
FieldConstantsChecked
in class polyglot.frontend.JLScheduler
public polyglot.frontend.goals.Goal InitializationsChecked(polyglot.frontend.Job job)
InitializationsChecked
in class polyglot.frontend.JLScheduler
public boolean runToCompletion()
runToCompletion
in class polyglot.frontend.Scheduler
public polyglot.frontend.Job addJob(polyglot.frontend.Source source, polyglot.ast.Node ast)
addJob
in class polyglot.frontend.Scheduler
public polyglot.frontend.Job addJob(polyglot.frontend.Source source)
addJob
in class polyglot.frontend.Scheduler