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