org.grinvin.conjecture.history

Class AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

Implemented Interfaces:
ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
Known Direct Subclasses:
ConjectureEntry, StateEntry

public abstract class AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
extends java.lang.Object
implements ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

Provides standard implementation for the time stamp of a ConjectureHistoryEntry.

Constructor Summary

AbstractConjectureHistoryEntry()
Creates a new instance of AbstractConjectureHistoryEntry

Method Summary

long
getTimeStamp()
Returns the time stamp of the moment this entry was created.
protected void
setTimeStamp(long timeStamp)

Constructor Details

AbstractConjectureHistoryEntry

public AbstractConjectureHistoryEntry()
Creates a new instance of AbstractConjectureHistoryEntry

Method Details

getTimeStamp

public long getTimeStamp()
Returns the time stamp of the moment this entry was created.
Specified by:
getTimeStamp in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

setTimeStamp

protected void setTimeStamp(long timeStamp)