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