public class SignaturesDisambiguated extends VisitorGoal
Modifier and Type | Class and Description |
---|---|
protected static class |
SignaturesDisambiguated.MyPass
This class overrides VisitorPass to mark the SupertypesDisambiguated
and SignaturesDisambiguated goals reached when this goal is
reached.
|
v
corequisites, job, name, prerequisites, state
ATTEMPTED, REACHED, RUNNING, UNREACHABLE, UNREACHABLE_THIS_RUN, UNREACHED
Modifier | Constructor and Description |
---|---|
protected |
SignaturesDisambiguated(Job job,
TypeSystem ts,
NodeFactory nf) |
Modifier and Type | Method and Description |
---|---|
static Goal |
create(Scheduler scheduler,
Job job,
TypeSystem ts,
NodeFactory nf) |
Pass |
createPass(ExtensionInfo extInfo)
Creates a pass to attempt to satisfy the goal.
|
java.util.Collection<Goal> |
prerequisiteGoals(Scheduler scheduler)
Goals that must be completed before attempting this goal.
|
equals, hashCode, toString, visitor
addCorequisiteGoal, addPrerequisiteGoal, checkCycles, conflictsWith, corequisiteGoals, hasBeenReached, isReachable, job, name, setState, setUnreachable, setUnreachableThisRun, state, stateString
protected SignaturesDisambiguated(Job job, TypeSystem ts, NodeFactory nf)
public static Goal create(Scheduler scheduler, Job job, TypeSystem ts, NodeFactory nf)
public java.util.Collection<Goal> prerequisiteGoals(Scheduler scheduler)
Goal
prerequisiteGoals
in interface Goal
prerequisiteGoals
in class AbstractGoal
public Pass createPass(ExtensionInfo extInfo)
AbstractGoal
createPass
in interface Goal
createPass
in class VisitorGoal