ptolemy.backtrack.util
Class CheckpointRecord.Record

java.lang.Object
  ptolemy.backtrack.util.CheckpointRecord.Record

Enclosing class:

CheckpointRecord

private class CheckpointRecord.Record
extends java.lang.Object

The record of a checkpoint object associated with a timestamp to be stored in the stack.

Since:

Ptolemy II 5.1

Version:

$Id: CheckpointRecord.java 57040 2010-01-27 20:52:32Z cxh $

Author:

Thomas Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

private Checkpoint	_checkpoint The checkpoint object.
private long	_timestamp The timestamp.

Constructor Summary

CheckpointRecord.Record(Checkpoint checkpoint, long timestamp)
Construct a record with a checkpoint object and the timestamp associated with it.

Method Summary

(package private) Checkpoint	getCheckpoint() Get the checkpoint object.
(package private) long	getTimestamp() Get the timestamp.

Methods inherited from class java.lang.Object

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

Field Detail

_checkpoint

private Checkpoint _checkpoint

The checkpoint object.

_timestamp

private long _timestamp

The timestamp.

Constructor Detail

CheckpointRecord.Record

CheckpointRecord.Record(Checkpoint checkpoint,
                        long timestamp)

Construct a record with a checkpoint object and the timestamp associated with it.

Parameters:

checkpoint - The checkpoint object.

timestamp - The timestamp.

Method Detail

getCheckpoint

Checkpoint getCheckpoint()

Get the checkpoint object.

Returns:

The checkpoint object.

getTimestamp

long getTimestamp()

Get the timestamp.

Returns:

The timestamp.