hlt.language.design.types

Class TimeStamp

java.lang.Object

hlt.language.design.types.TimeStamp

Direct Known Subclasses:

Goal, TypingState

public abstract class TimeStamp
extends java.lang.Object

This is the class of time-stamped objects used in a TypeChecker (i.e., Goals and TypingStates).

Constructor Summary

Constructors

Constructor and Description
TimeStamp() Constructs a time stamp.

Method Summary

Methods

Modifier and Type	Method and Description
TimeStamp	setTimeStamp(long stamp) Sets the time stamp of this object with the specified stamp.
TimeStamp	setTimeStamp(TimeStamp timeStamp) Sets the time stamp of this object with that of the specified TimeStamp object.
long	timeStamp() Returns the time stamp of this object.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TimeStamp

public TimeStamp()

Constructs a time stamp.

Method Detail

timeStamp

public final long timeStamp()

Returns the time stamp of this object.

setTimeStamp

public final TimeStamp setTimeStamp(long stamp)

Sets the time stamp of this object with the specified stamp.

setTimeStamp

public final TimeStamp setTimeStamp(TimeStamp timeStamp)

Sets the time stamp of this object with that of the specified TimeStamp object.