addBacklog
public void addBacklog(int back)
addLastRoundBroadcastCount
public void addLastRoundBroadcastCount(int transmitCount)
addRecoveredMember
public void addRecoveredMember(Address member)
getAllReceivedUpto
public long getAllReceivedUpto()
getBacklog
public int getBacklog()
getHighestSequence
public long getHighestSequence()
getLastRoundBroadcastCount
public int getLastRoundBroadcastCount()
getRecoveredMembers
public Collection getRecoveredMembers()
getRetransmissionRequests
public Collection getRetransmissionRequests()
getTokenSequence
public long getTokenSequence()
getType
public int getType()
getWindowSize
public int getWindowSize()
getWindowThreshold
public int getWindowThreshold()
incrementTokenSequence
public void incrementTokenSequence()
readExternal
public void readExternal(ObjectInput oi)
throws IOException,
ClassNotFoundException
setAllReceivedUpto
public void setAllReceivedUpto(long aru)
setAruId
public void setAruId(Address address)
setHighestSequence
public void setHighestSequence(long highestSequence)
setType
public void setType(int type)
setWindowSize
public void setWindowSize(int newSize)
setWindowThreshold
public void setWindowThreshold(int newSize)
toString
public String toString()
writeExternal
public void writeExternal(ObjectOutput oo)
throws IOException