GlobalTypingGoal (API documentation of hlt.language packages)
Date: 2013-01-30

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 `Global`s. 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, `TypingGoal`s 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`