TimeStamp (API documentation of hlt.language packages)
Date: 2013-01-30

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., `Goal`s and `TypingState`s).

- - ### 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.