hlt.language.util

Class TimeStampManager

java.lang.Object

hlt.language.util.TimeStampManager

public class TimeStampManager
extends java.lang.Object

This is a class to manage time-stamped objects.

Constructor Summary

Constructors

Constructor and Description
TimeStampManager() Constructs a time stamp manager.

Method Summary

Methods

Modifier and Type	Method and Description
long	newTimeStamp() Issue and returns an new time stamp.
void	setTimeStamp(TimeStamped object) Sets the time stamp of the specified time-stamped object to a new time stamp issued by this time stamp manager.

Methods inherited from class java.lang.Object

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

Constructor Detail

TimeStampManager

public TimeStampManager()

Constructs a time stamp manager.

Method Detail

newTimeStamp

public long newTimeStamp()

Issue and returns an new time stamp.

setTimeStamp

public void setTimeStamp(TimeStamped object)

Sets the time stamp of the specified time-stamped object to a new time stamp issued by this time stamp manager.