hlt.language.design.types

Class NoVoidTypeGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.NoVoidTypeGoal

public class NoVoidTypeGoal
extends Goal

A NoVoidType fails when its type component is void. This is typically residuated.

Constructor Summary

Constructors

Constructor and Description
NoVoidTypeGoal(Type type, Locatable extent)
NoVoidTypeGoal(Type type, Locatable extent, java.lang.String info)

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

NoVoidTypeGoal

public NoVoidTypeGoal(Type type,
              Locatable extent,
              java.lang.String info)

NoVoidTypeGoal

public NoVoidTypeGoal(Type type,
              Locatable extent)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Goal