public class TemporalStampManager extends StampManager
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
REVISION |
| Constructor and Description |
|---|
TemporalStampManager(java.lang.String urid)
Creates a new StampManager
|
TemporalStampManager(java.lang.String urid,
long logicalTime)
Creates a new StampManager
|
| Modifier and Type | Method and Description |
|---|---|
Stamp |
getStamp()
Return a new stamp.
|
void |
setGranularity(long granularity)
Set the logical clock time granularity
|
void |
update(Stamp stamp,
boolean updatePT)
Updates the clock
|
getProgressStamp, getProgressTable, getUrid, setUridpublic static final java.lang.String REVISION
public TemporalStampManager(java.lang.String urid,
long logicalTime)
urid - Unique Replica IDentifierlogicalTime - the starting logical timepublic TemporalStampManager(java.lang.String urid)
urid - Unique Replica IDentifierpublic void setGranularity(long granularity)
granularity - - the granularity in millisecspublic Stamp getStamp()
getStamp in class StampManagerpublic void update(Stamp stamp, boolean updatePT)
update in class StampManagerstamp - the stamp containing the new time (MUST BE greaterupdatePT - if true use this stamp to update the progress table
than the current time, otherwise it is ignored)Copyright © 2001-2017 Jalios SA. All Rights Reserved.