hlt.language.design.types

Class UnifyGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.UnifyGoal

Direct Known Subclasses:

ShadowUnifyGoal

public class UnifyGoal
extends Goal

A UnifyGoal encapsulates a pair of types that must be unified. Such a goal is proven in the context of a TypeChecker by unifying the two types.

Constructor Summary

Constructors

Constructor and Description
UnifyGoal(Type lhs, Type rhs)
UnifyGoal(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

UnifyGoal

public UnifyGoal(Type lhs,
         Type rhs)

UnifyGoal

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Goal