hlt.language.design.types

Class ChoicePoint

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.TypingState

hlt.language.design.types.ChoicePoint

public class ChoicePoint
extends TypingState

A ChoicePoint extends a TypingState with a queue of CodeEntry objects.

Constructor Summary

Constructors

Constructor and Description
ChoicePoint()

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

ChoicePoint

public ChoicePoint()

Method Detail

toString

public final java.lang.String toString()

Overrides:

toString in class TypingState