hlt.language.design.types

Class GlobalTypingGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.GlobalTypingGoal

public class GlobalTypingGoal
extends Goal

A GlobalTypingGoal manages the typing of Globals. Because of type overloading, a global may have more than one possible type. Therefore, this kind of goal is responsible for appropriately creating a choice point when needed for a global and identifying itself with each typing goal choice in turn. Therefore, it is simply a wrapper for one, or a disjunction of several, TypingGoals and takes care of being identified to one disjunct after the other if backtracking is needed. It does so by interacting with the typechecker, pushing and popping choice points as needed.

Constructor Summary

Constructors

Constructor and Description
GlobalTypingGoal(Global global) Constructs a global typing goal with the specified Global.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString() Returns a string form of this typing goal.

Methods inherited from class hlt.language.design.types.TimeStamp

setTimeStamp, setTimeStamp, timeStamp

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GlobalTypingGoal

public GlobalTypingGoal(Global global)

Constructs a global typing goal with the specified Global.

Method Detail

toString

public final java.lang.String toString()

Returns a string form of this typing goal.

Overrides:

toString in class Goal