public class AccrueJLScheduler extends polyglot.frontend.JLScheduler implements AccrueScheduler
| Constructor and Description |
|---|
AccrueJLScheduler(polyglot.frontend.JLExtensionInfo extInfo) |
| Modifier and Type | Method and Description |
|---|---|
protected AccrueSchedulerHelper |
createHelper() |
AccrueSchedulerHelper |
helper()
Return a AccrueSchedulerHelper, which defines
useful Accrue-relevant scheduler goals.
|
polyglot.frontend.goals.Goal |
Parsed(polyglot.frontend.Job job) |
CodeGenerated, ConstantsChecked, ConstructorCallsChecked, Disambiguated, ExceptionsChecked, ExitPathsChecked, FieldConstantsChecked, ForwardReferencesChecked, ImportTableInitialized, InitializationsChecked, MembersAdded, ReachabilityChecked, Serialized, SignaturesDisambiguated, SignaturesResolved, SupertypesDisambiguated, SupertypesResolved, TypeChecked, TypeExists, TypesInitialized, TypesInitializedForCommandLineaddCorequisiteDependency, addCorequisiteDependencyAndEnqueue, addDependencyAndEnqueue, addGoal, addJob, addJob, addPrerequisiteDependency, addPrerequisiteDependencyChain, attemptGoal, attemptGoal, commandLineJobs, completeJob, createSourceJob, currentGoal, currentJob, currentPass, dumpDependenceGraph, dumpDependenceGraph, dumpInFlightDependenceGraph, inInfiniteLoop, internGoal, jobs, loadSource, prerequisiteDependsOn, reached, runGoal, runPass, runToCompletion, setCommandLineJobs, sourceHasJob, statusString, toString, worklistpublic AccrueJLScheduler(polyglot.frontend.JLExtensionInfo extInfo)
protected AccrueSchedulerHelper createHelper()
public polyglot.frontend.goals.Goal Parsed(polyglot.frontend.Job job)
Parsed in class polyglot.frontend.JLSchedulerpublic AccrueSchedulerHelper helper()
AccrueSchedulerhelper in interface AccrueScheduler