polyglot.frontend.goals
Class TypeChecked

java.lang.Object
  extended by polyglot.frontend.goals.AbstractGoal
      extended by polyglot.frontend.goals.SourceFileGoal
          extended by polyglot.frontend.goals.VisitorGoal
              extended by polyglot.frontend.goals.TypeChecked
All Implemented Interfaces:
Goal

public class TypeChecked
extends VisitorGoal


Field Summary
 
Fields inherited from class polyglot.frontend.goals.AbstractGoal
corequisites, job, name, prerequisites, state
 
Fields inherited from interface polyglot.frontend.goals.Goal
ATTEMPTED, REACHED, RUNNING, UNREACHABLE, UNREACHABLE_THIS_RUN, UNREACHED
 
Constructor Summary
protected TypeChecked(Job job, TypeSystem ts, NodeFactory nf)
           
 
Method Summary
 java.util.Collection corequisiteGoals(Scheduler scheduler)
          Goals on which this goal may mutually depend.
static Goal create(Scheduler scheduler, Job job, TypeSystem ts, NodeFactory nf)
           
 java.util.Collection prerequisiteGoals(Scheduler scheduler)
          Goals that must be completed before attempting this goal.
 
Methods inherited from class polyglot.frontend.goals.VisitorGoal
createPass, equals, hashCode, toString, visitor
 
Methods inherited from class polyglot.frontend.goals.AbstractGoal
addCorequisiteGoal, addPrerequisiteGoal, checkCycles, conflictsWith, hasBeenReached, isReachable, job, name, setState, setUnreachable, setUnreachableThisRun, state, stateString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeChecked

protected TypeChecked(Job job,
                      TypeSystem ts,
                      NodeFactory nf)
Method Detail

create

public static Goal create(Scheduler scheduler,
                          Job job,
                          TypeSystem ts,
                          NodeFactory nf)

prerequisiteGoals

public java.util.Collection prerequisiteGoals(Scheduler scheduler)
Description copied from interface: Goal
Goals that must be completed before attempting this goal. The graph of dependencies between prerequisite goals should be acyclic.

Specified by:
prerequisiteGoals in interface Goal
Overrides:
prerequisiteGoals in class AbstractGoal

corequisiteGoals

public java.util.Collection corequisiteGoals(Scheduler scheduler)
Description copied from interface: Goal
Goals on which this goal may mutually depend. If the passes for all corequisite goals are run (possibly more than once) they should all eventually be reached.

Specified by:
corequisiteGoals in interface Goal
Overrides:
corequisiteGoals in class AbstractGoal