hlt.language.design.types

Class EmptyGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.EmptyGoal

public class EmptyGoal
extends Goal

An EmptyyGoal is the trivial always true goal. It is useful for marking the typechecker's goal stack at a given place that needs to be recognized.

Constructor Summary

Constructors

Constructor and Description
EmptyGoal(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

EmptyGoal

public EmptyGoal(Locatable extent)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Goal