public MutableDigest(Digest digest) { super(digest.getSenders()); }
NakReceiverWindow win; for(Iterator it=digest.getSenders().entrySet().iterator(); it.hasNext();) { entry=(Map.Entry)it.next(); sender=(Address)entry.getKey();
long highest_delivered_seqno, low_seqno; for(Iterator it=digest.getSenders().entrySet().iterator(); it.hasNext();) { entry=(Map.Entry)it.next(); sender=(Address)entry.getKey();
/** * Returns true if all senders of the current digest have their seqnos >= the ones from other * @param other * @return */ public boolean isGreaterThanOrEqual(Digest other) { if(other == null) return true; Map<Address,Entry> our_map=getSenders(); Address sender; Entry my_entry, their_entry; long my_highest, their_highest; for(Map.Entry<Address,Entry> entry: our_map.entrySet()) { sender=entry.getKey(); my_entry=entry.getValue(); their_entry=other.get(sender); if(their_entry == null) continue; my_highest=my_entry.getHighest(); their_highest=their_entry.getHighest(); if(my_highest < their_highest) return false; } return true; }
long high_seqno_delivered, high_seqno_received; for(Map.Entry<Address, Digest.Entry> entry: digest.getSenders().entrySet()) { sender=entry.getKey(); if(sender == null)
long highest_seen_seqno, my_highest_seen_seqno, new_highest_seen_seqno; Digest.Entry val; for(Map.Entry<Address, Digest.Entry> entry: d.getSenders().entrySet()) { mbr=entry.getKey(); val=entry.getValue();
their_digest=rebroadcast_digest.getSenders();