|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jgroups.util.Digest
org.jgroups.util.MutableDigest
public class MutableDigest
A mutable version of Digest (which is immutable
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.jgroups.util.Digest |
---|
Digest.Entry |
Field Summary |
---|
Fields inherited from class org.jgroups.util.Digest |
---|
EMPTY_DIGEST, log, senders |
Constructor Summary | |
---|---|
MutableDigest()
Used for externalization |
|
MutableDigest(Digest digest)
|
|
MutableDigest(int size)
|
|
MutableDigest(java.util.Map<Address,Digest.Entry> map)
|
Method Summary | |
---|---|
void |
add(Address sender,
long low_seqno,
long highest_delivered_seqno)
|
void |
add(Address sender,
long low_seqno,
long highest_delivered_seqno,
long highest_received_seqno)
|
void |
add(Digest digest)
|
void |
clear()
|
java.util.Map<Address,Digest.Entry> |
getSenders()
Returns an unmodifiable map, so modifications will result in exceptions |
void |
incrementHighestDeliveredSeqno(Address sender)
Increments the sender's highest delivered seqno by 1 |
void |
merge(Address sender,
long low_seqno,
long highest_delivered_seqno,
long highest_received_seqno)
Similar to add(), but if the sender already exists, its seqnos will be modified (no new entry) as follows: this.low_seqno=min(this.low_seqno, low_seqno) this.highest_delivered_seqno=max(this.highest_delivered_seqno, highest_delivered_seqno) this.highest_received_seqno=max(this.highest_received_seqno, highest_received_seqno) If the sender doesn not exist, a new entry will be added (provided there is enough space) |
void |
merge(Digest digest)
Adds a digest to this digest. |
void |
replace(Digest d)
|
void |
resetAt(Address sender)
Resets the seqnos for the sender at 'index' to 0. |
boolean |
seal()
Seals the instance against modifications |
boolean |
set(Address sender,
long low_seqno,
long highest_delivered_seqno,
long highest_received_seqno)
|
void |
setHighestDeliveredAndSeenSeqnos(Address sender,
long low_seqno,
long highest_delivered_seqno,
long highest_received_seqno)
|
Methods inherited from class org.jgroups.util.Digest |
---|
contains, copy, difference, equals, get, highestDeliveredSeqnoAt, highestReceivedSeqnoAt, highestSequence, isGreaterThanOrEqual, lowSeqnoAt, printHighestDeliveredSeqnos, printHighestReceivedSeqnos, readExternal, readFrom, sameSenders, serializedSize, size, toString, toStringSorted, writeExternal, writeTo |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public MutableDigest()
public MutableDigest(int size)
public MutableDigest(java.util.Map<Address,Digest.Entry> map)
public MutableDigest(Digest digest)
Method Detail |
---|
public java.util.Map<Address,Digest.Entry> getSenders()
Digest
getSenders
in class Digest
public void add(Address sender, long low_seqno, long highest_delivered_seqno)
public void add(Address sender, long low_seqno, long highest_delivered_seqno, long highest_received_seqno)
public void add(Digest digest)
public void replace(Digest d)
public boolean set(Address sender, long low_seqno, long highest_delivered_seqno, long highest_received_seqno)
public void merge(Digest digest)
public void merge(Address sender, long low_seqno, long highest_delivered_seqno, long highest_received_seqno)
public void incrementHighestDeliveredSeqno(Address sender)
public void resetAt(Address sender)
public void clear()
public void setHighestDeliveredAndSeenSeqnos(Address sender, long low_seqno, long highest_delivered_seqno, long highest_received_seqno)
public boolean seal()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |