hlt.language.design.types

Class ArrayIndexTypeGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.ArrayIndexTypeGoal

public class ArrayIndexTypeGoal
extends Goal

An ArrayIndexTypeGoal encapsulates a pair consisting of an expression and an array type. Such a goal is proven in the context of a TypeChecker by unifying the type of the expression with the array type's index type.

Constructor Summary

Constructors

Constructor and Description
ArrayIndexTypeGoal(Expression expression, ArrayType 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

ArrayIndexTypeGoal

public ArrayIndexTypeGoal(Expression expression,
                  ArrayType type)

Method Detail

toString

public final java.lang.String toString()

Overrides:

toString in class Goal