hlt.language.design.types

Class CheckExitableGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.CheckExitableGoal

public class CheckExitableGoal
extends Goal

A CheckExitableGoal unifies the return type of the latest scope typechecker's stack of exitable scopes with its own exit value type.

Constructor Summary

Constructors

Constructor and Description
CheckExitableGoal(Type type, 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

CheckExitableGoal

public CheckExitableGoal(Type type,
                 Locatable extent)

Method Detail

toString

public final java.lang.String toString()

Overrides:

toString in class Goal