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

hlt.language.design.types

## Class Goal

- java.lang.Object
- - hlt.language.design.types.TimeStamp
  - - hlt.language.design.types.Goal

- Direct Known Subclasses:
    ArrayIndexTypeGoal, BaseTypeGoal, CheckExitableGoal, EmptyGoal, GlobalTypingGoal, NoVoidTypeGoal, PopExitableGoal, PruningGoal, PushExitableGoal, ResiduatedGoal, TypingGoal, UnifyBaseTypeGoal, UnifyGoal

      public abstract class Goal
      extends TimeStamp

  A `Goal` is anything that may be established and undone by a `TypeChecker`. Here are the different types of goals:
  - `BaseTypeGoal`,
  - `ArrayIndexTypeGoal`,
  - `CheckExitableGoal`,
  - `EmptyGoal`,
  - `GlobalTypingGoal`,
  - `PopExitableGoal`,
  - `PruningGoal`,
  - `PushExitableGoal`,
  - `ResiduatedGoal`,
  - `ShadowUnifyGoal`,
  - `TypingGoal`,
  - `UnifyBaseTypeGoal`,
  - `UnifyGoal`,
  - `NoVoidTypeGoal`.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `Goal()`

  - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.String` | `toString()`

    - ### 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

    - #### Goal

          public Goal()

  - ### Method Detail

    - #### toString

          public java.lang.String toString()

      Overrides:
        `toString` in class `java.lang.Object`