hlt.language.design.types

Class PopExitableGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.PopExitableGoal

public class PopExitableGoal
extends Goal

A PopExitableGoal simply pops the typechecker's stack of exitable scopes.

Constructor Summary

Constructors

Constructor and Description
PopExitableGoal(Scope scope)

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

PopExitableGoal

public PopExitableGoal(Scope scope)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Goal