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, setUrid
public 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 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.