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, setUrid
public 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 StampManager
public void update(Stamp stamp, boolean updatePT)
update
in class StampManager
stamp
- 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-2010 Jalios SA. All Rights Reserved.