public class VectorTime
extends java.lang.Object
Constructor and Description |
---|
VectorTime(Address owner)
Constructs VectorTime given an adress of a owning group member
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection |
getMembers()
Returns Collection containing addresses of other group members from this Vector clock
|
int |
getOwnerIndex()
Returns owner index in this VectorTime clock
|
TransportedVectorTime |
getTransportedVectorTime()
Returns a minimal lightweight representation of this Vector Time
suitable for network transport.
|
int[] |
getValues()
Returns Vector clock values of this Vector clock
|
java.util.Collection |
getVectorValues()
Returns Vector clock values of this Vector clock
|
void |
increment()
Incerements owners current vector value by 1
|
int |
indexOf(Address member)
Returns index of the given member represented by it's Address
|
boolean |
isCausallyNext(TransportedVectorTime other)
Determines if the vector clock represented by TransportedVectorTime is
causally next to this VectorTime
|
void |
max(TransportedVectorTime other)
Maxes this VectorTime with the specified TransportedVectorTime.
|
void |
merge(java.util.Vector newMembers)
Merges this VectorTime with new members of the group
VectorTime can possibly either grow or shrink
|
void |
reset()
Resets all the values in this vector clock to 0
|
java.lang.String |
toString()
return String representation of the VectorTime
|
public VectorTime(Address owner)
owner
- Address of the owner group memberpublic java.util.Collection getMembers()
public java.util.Collection getVectorValues()
public int[] getValues()
public void increment()
public void reset()
public TransportedVectorTime getTransportedVectorTime()
public void max(TransportedVectorTime other)
Maxes this VectorTime with the specified TransportedVectorTime. Updates this VectorTime as follows:
for every k:1...n VT(pj)[k] == max(VT(mi)[k],VT(pj)[k])
other
- TransportedVectorTime that is max-ed with this VectorTimepublic boolean isCausallyNext(TransportedVectorTime other)
other
- TransportedVectorTime representation of vector clockpublic int getOwnerIndex()
public int indexOf(Address member)
member
- group member represented by this Addresspublic void merge(java.util.Vector newMembers)
newMembers
- members of this grouppublic java.lang.String toString()
toString
in class java.lang.Object
Copyright ? 1998-2006 Bela Ban. All Rights Reserved.