public class LogicalStampManager extends StampManager
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
REVISION |
| Constructor and Description |
|---|
LogicalStampManager(java.lang.String urid)
Creates a new StampManager
|
LogicalStampManager(java.lang.String urid,
long logicalTime)
Creates a new StampManager
|
| Modifier and Type | Method and Description |
|---|---|
Stamp |
getStamp()
Return a new stamp.
|
void |
update(Stamp stamp,
boolean updatePT)
Updates the clock
|
getProgressStamp, getProgressTable, getUrid, setUridpublic static final java.lang.String REVISION
public LogicalStampManager(java.lang.String urid,
long logicalTime)
urid - Unique Replica IDentifierlogicalTime - the starting logical timepublic LogicalStampManager(java.lang.String urid)
urid - Unique Replica IDentifierpublic 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.