public class MutableDigest extends Digest
Digest.Entry
EMPTY_DIGEST, log, senders
Constructor and Description |
---|
MutableDigest()
Used for externalization
|
MutableDigest(Digest digest) |
MutableDigest(int size) |
MutableDigest(Map<Address,Digest.Entry> map) |
Modifier and Type | Method and Description |
---|---|
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() |
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) |
contains, copy, difference, equals, get, highestDeliveredSeqnoAt, highestReceivedSeqnoAt, highestSequence, isGreaterThanOrEqual, lowSeqnoAt, printHighestDeliveredSeqnos, printHighestReceivedSeqnos, readExternal, readFrom, sameSenders, serializedSize, size, toString, toStringSorted, writeExternal, writeTo
public MutableDigest()
public MutableDigest(int size)
public MutableDigest(Map<Address,Digest.Entry> map)
public MutableDigest(Digest digest)
public 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()
Copyright © 2013 JBoss, a division of Red Hat. All Rights Reserved.