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

hlt.language.design.types

## Class TypingGoal

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

-     public class TypingGoal
      extends Goal

  A `TypingGoal` encapsulates a pair of the form e:t, where e is and expression and t is a type. Such a goal is proven in the context of a `TypeChecker` by unifying e's type with t.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `TypingGoal(Expression expression, Type type)` Constructs a typing goal with the specified expression and type.

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

    - #### TypingGoal

          public TypingGoal(Expression expression,
                    Type type)

      Constructs a typing goal with the specified expression and type.

  - ### Method Detail

    - #### toString

          public final java.lang.String toString()

      Returns a string form of this typing goal.
      Overrides:
        `toString` in class `Goal`