public class SenderManager
extends java.lang.Object
限定符和类型 | 字段和说明 |
---|---|
static long |
NOT_READY |
构造器和说明 |
---|
SenderManager() |
限定符和类型 | 方法和说明 |
---|---|
void |
addNewMessageToSend(MessageID messageID,
java.util.Collection<Address> destinations,
long initialSequenceNumber,
boolean deliverToMyself)
Add a new message sent
|
long |
addPropose(MessageID messageID,
Address from,
long sequenceNumber)
Add a propose from a member in destination set
|
void |
clear()
removes all pending messages
|
java.util.Set<Address> |
getDestination(MessageID messageID)
obtains the destination set of a message
|
java.util.Collection<MessageID> |
getPendingMessageIDs() |
boolean |
markSent(MessageID messageID)
Mark the message as sent
|
long |
removeLeavers(MessageID messageID,
java.util.Collection<Address> leavers) |
public static final long NOT_READY
public void addNewMessageToSend(MessageID messageID, java.util.Collection<Address> destinations, long initialSequenceNumber, boolean deliverToMyself)
messageID
- the message IDdestinations
- the destination setinitialSequenceNumber
- the initial sequence numberdeliverToMyself
- true if *this* member is in destination sent, false otherwisepublic long addPropose(MessageID messageID, Address from, long sequenceNumber)
messageID
- the message IDfrom
- the originator of the proposesequenceNumber
- the proposed sequence numberpublic boolean markSent(MessageID messageID)
messageID
- the message IDpublic java.util.Set<Address> getDestination(MessageID messageID)
messageID
- the message IDpublic void clear()
public java.util.Collection<MessageID> getPendingMessageIDs()