public abstract class StampManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
REVISION |
Constructor and Description |
---|
StampManager(java.lang.String urid,
long logicalTime)
Creates a new StampManager
|
Modifier and Type | Method and Description |
---|---|
Stamp |
getProgressStamp(java.lang.String urid)
Returns the greatest stamp for a given urid.
|
StampTable |
getProgressTable()
Returns the map of greatest stamp
|
abstract Stamp |
getStamp()
Return a new stamp.
|
java.lang.String |
getUrid()
Get the value of urid.
|
void |
setUrid(java.lang.String v)
Set the value of urid.
|
void |
update(Stamp stamp,
boolean updatePT)
Updates the clock and the progressTable
|
public static final java.lang.String REVISION
public StampManager(java.lang.String urid, long logicalTime)
urid
- Unique Replica IDentifierlogicalTime
- the starting logical timepublic StampTable getProgressTable()
public Stamp getProgressStamp(java.lang.String urid)
urid
- the uridpublic abstract Stamp getStamp()
public void update(Stamp stamp, boolean updatePT)
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)public java.lang.String getUrid()
public void setUrid(java.lang.String v)
v
- Value to assign to urid.Copyright © 2001-2010 Jalios SA. All Rights Reserved.