hlt.language.design.types

Class BaseTypeGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.BaseTypeGoal

public class BaseTypeGoal
extends Goal

A BaseTypeGoal encapsulates a pair consisting of an expression and a type. Such a goal is proven in the context of a TypeChecker by unifying the type with the expression's type's base type. The base type of a type is defined for collection types and array types to be the type of the elements of the collection or the array; the base type of any other type is the type itself.

Constructor Summary

Constructors

Constructor and Description
BaseTypeGoal(Expression expression, Type type)

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

BaseTypeGoal

public BaseTypeGoal(Expression expression,
            Type type)

Method Detail

toString

public final java.lang.String toString()

Overrides:

toString in class Goal