polyglot.frontend.goals

Class TypeChecked

java.lang.Object

polyglot.frontend.goals.AbstractGoal

polyglot.frontend.goals.SourceFileGoal

polyglot.frontend.goals.VisitorGoal

polyglot.frontend.goals.TypeChecked

All Implemented Interfaces:

Goal

public class TypeChecked
extends VisitorGoal

A TypeChecked is reached after typechecking.

Field Summary

Fields inherited from class polyglot.frontend.goals.VisitorGoal

v

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

Constructors

Modifier	Constructor and Description
protected	TypeChecked(Job job, TypeSystem ts, NodeFactory nf)

Method Summary

Methods

Modifier and Type	Method and Description
static Goal	create(Scheduler scheduler, Job job, TypeSystem ts, NodeFactory nf)
java.util.Collection<Goal>	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, corequisiteGoals, 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<Goal> 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