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

hlt.language.design.types

## Class ShadowUnifyGoal

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

-     public class ShadowUnifyGoal
      extends UnifyGoal

  A `ShadowUnifyGoal` extends a `UnifyGoal` in that it unifies the `shadow types` of the types themselves. This type of goal is used essentially for type checking a `Homomorphism`.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `ShadowUnifyGoal(Type lhs, Type rhs)`
    `ShadowUnifyGoal(Type lhs, Type rhs, Locatable extent)`

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

    - #### ShadowUnifyGoal

          public ShadowUnifyGoal(Type lhs,
                         Type rhs)

    - #### ShadowUnifyGoal

          public ShadowUnifyGoal(Type lhs,
                         Type rhs,
                         Locatable extent)

  - ### Method Detail

    - #### toString

          public final java.lang.String toString()

      Overrides:
        `toString` in class `UnifyGoal`