public class MutableDigest extends Digest
Digest.Entry, Digest.MyIterator
Constructor and Description |
---|
MutableDigest(Address[] members) |
MutableDigest(Digest digest)
Only used for testing
|
Modifier and Type | Method and Description |
---|---|
boolean |
allSet()
Returns true if all members have a corresponding seqno >= 0, else false
|
protected int |
countNonSetMembers() |
protected static long[] |
createEmptyArray(int size) |
Address[] |
getNonSetMembers()
Returns an array of members whose seqno is not set.
|
MutableDigest |
merge(Address member,
long highest_delivered_seqno,
long highest_received_seqno)
Similar to set(), but if the sender already exists, its seqnos will be modified (no new entry) as follows:
this.highest_delivered_seqno=max(this.highest_delivered_seqno, highest_delivered_seqno)
this.highest_received_seqno=max(this.highest_received_seqno, highest_received_seqno)
|
MutableDigest |
merge(Digest digest)
Adds a digest to this digest.
|
MutableDigest |
set(Address member,
long highest_delivered_seqno,
long highest_received_seqno) |
MutableDigest |
set(Digest digest) |
capacity, checkPostcondition, contains, containsAll, copy, createArrays, equals, find, get, getMembersRaw, iterator, readFrom, readFrom, serializedSize, toString, toString, toString, writeTo, writeTo
public MutableDigest(Address[] members)
public MutableDigest(Digest digest)
public MutableDigest set(Address member, long highest_delivered_seqno, long highest_received_seqno)
public boolean allSet()
public Address[] getNonSetMembers()
public MutableDigest set(Digest digest)
public MutableDigest merge(Digest digest)
public MutableDigest merge(Address member, long highest_delivered_seqno, long highest_received_seqno)
protected static long[] createEmptyArray(int size)
protected int countNonSetMembers()
Copyright © 1998-2020 Red Hat. All Rights Reserved.