jif
Class JifScheduler
java.lang.Object
polyglot.frontend.Scheduler
polyglot.frontend.JLScheduler
jif.JifScheduler
public class JifScheduler
- extends polyglot.frontend.JLScheduler
Nested classes/interfaces inherited from class polyglot.frontend.Scheduler |
polyglot.frontend.Scheduler.TheEndGoal |
Field Summary |
protected polyglot.frontend.JLExtensionInfo |
jlext
|
protected polyglot.frontend.Job |
objectJob
Hack to ensure that we track the job for java.lang.Object specially. |
Fields inherited from class polyglot.frontend.Scheduler |
commandLineJobs, COMPLETED_JOB, currentPass, dumpCounter, extInfo, failed, goals, infiniteLoopGoal, inWorklist, jobs, MAX_RUN_COUNT, runCount, worklist |
Methods inherited from class polyglot.frontend.JLScheduler |
CodeGenerated, ConstantsChecked, ConstructorCallsChecked, Disambiguated, ExitPathsChecked, ForwardReferencesChecked, ImportTableInitialized, MembersAdded, Parsed, ReachabilityChecked, SignaturesDisambiguated, SignaturesResolved, SupertypesDisambiguated, SupertypesResolved, TypeExists, TypesInitialized, TypesInitializedForCommandLine |
Methods inherited from class polyglot.frontend.Scheduler |
addCorequisiteDependency, addCorequisiteDependencyAndEnqueue, addDependencyAndEnqueue, addGoal, addPrerequisiteDependency, addPrerequisiteDependencyChain, attemptGoal, attemptGoal, commandLineJobs, completeJob, createSourceJob, currentGoal, currentJob, currentPass, dumpDependenceGraph, dumpDependenceGraph, dumpInFlightDependenceGraph, inInfiniteLoop, internGoal, jobs, loadSource, prerequisiteDependsOn, reached, runGoal, runPass, setCommandLineJobs, sourceHasJob, statusString, toString, worklist |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
jlext
protected polyglot.frontend.JLExtensionInfo jlext
objectJob
protected polyglot.frontend.Job objectJob
- Hack to ensure that we track the job for java.lang.Object specially.
In particular, ensure that it is submitted for re-writing before
any other job.
JifScheduler
public JifScheduler(ExtensionInfo extInfo,
polyglot.frontend.JLExtensionInfo jlext)
LabelsChecked
public polyglot.frontend.goals.Goal LabelsChecked(polyglot.frontend.Job job)
FieldLabelInference
public FieldLabelInferenceGoal FieldLabelInference(polyglot.frontend.Job job)
IntegerBoundsChecker
public polyglot.frontend.goals.Goal IntegerBoundsChecker(polyglot.frontend.Job job)
TypeChecked
public polyglot.frontend.goals.Goal TypeChecked(polyglot.frontend.Job job)
- Overrides:
TypeChecked
in class polyglot.frontend.JLScheduler
PreciseClassChecker
public polyglot.frontend.goals.Goal PreciseClassChecker(polyglot.frontend.Job job)
NotNullChecker
public polyglot.frontend.goals.Goal NotNullChecker(polyglot.frontend.Job job)
ExceptionsChecked
public polyglot.frontend.goals.Goal ExceptionsChecked(polyglot.frontend.Job job)
- Overrides:
ExceptionsChecked
in class polyglot.frontend.JLScheduler
JifToJavaRewritten
public polyglot.frontend.goals.Goal JifToJavaRewritten(polyglot.frontend.Job job)
Serialized
public polyglot.frontend.goals.Goal Serialized(polyglot.frontend.Job job)
- Overrides:
Serialized
in class polyglot.frontend.JLScheduler
FieldConstantsChecked
public polyglot.frontend.goals.Goal FieldConstantsChecked(polyglot.types.FieldInstance fi)
- Overrides:
FieldConstantsChecked
in class polyglot.frontend.JLScheduler
InitializationsChecked
public polyglot.frontend.goals.Goal InitializationsChecked(polyglot.frontend.Job job)
- Overrides:
InitializationsChecked
in class polyglot.frontend.JLScheduler
runToCompletion
public boolean runToCompletion()
- Overrides:
runToCompletion
in class polyglot.frontend.Scheduler
addJob
public polyglot.frontend.Job addJob(polyglot.frontend.Source source,
polyglot.ast.Node ast)
- Overrides:
addJob
in class polyglot.frontend.Scheduler
addJob
public polyglot.frontend.Job addJob(polyglot.frontend.Source source)
- Overrides:
addJob
in class polyglot.frontend.Scheduler