hlt.language.design.types

Class TypingState

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.TypingState

Direct Known Subclasses:

ChoicePoint

public class TypingState
extends TimeStamp

A TypingState consists of the following pointers, each recording the size of the corresponding stack in the TypeChecker at state-saving time:

• a goalStack pointer;
• a chptStack pointer;
• a bindTrail pointer;
• a typeTrail pointer;
• a applTrail pointer;
• a goalTrail pointer;

Constructor Summary

Constructors

Constructor and Description
TypingState()

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

TypingState

public TypingState()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object