hlt.language.design.types

Class Goal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

Direct Known Subclasses:

ArrayIndexTypeGoal, BaseTypeGoal, CheckExitableGoal, EmptyGoal, GlobalTypingGoal, NoVoidTypeGoal, PopExitableGoal, PruningGoal, PushExitableGoal, ResiduatedGoal, TypingGoal, UnifyBaseTypeGoal, UnifyGoal

public abstract class Goal
extends TimeStamp

A Goal is anything that may be established and undone by a TypeChecker. Here are the different types of goals:

• BaseTypeGoal,
• ArrayIndexTypeGoal,
• CheckExitableGoal,
• EmptyGoal,
• GlobalTypingGoal,
• PopExitableGoal,
• PruningGoal,
• PushExitableGoal,
• ResiduatedGoal,
• ShadowUnifyGoal,
• TypingGoal,
• UnifyBaseTypeGoal,
• UnifyGoal,
• NoVoidTypeGoal.

Constructor Summary

Constructors

Constructor and Description
Goal()

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

Goal

public Goal()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object