public Entry next() { if(index >= capacity()) throw new NoSuchElementException("index=" + index + ", capacity=" + capacity()); Address mbr=members != null? members[index] : null; long hd=seqnos != null? seqnos[index*2] : 0, hr=seqnos != null? seqnos[index*2+1] : 0; Entry entry=new Entry(mbr, hd, hr); index++; return entry; }
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
if(digest != null) for(Digest.Entry entry: digest) digest_membership.add(entry.getMember());
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
if(digest != null) for(Digest.Entry entry: digest) digest_membership.add(entry.getMember());
if(digest != null) for(Digest.Entry entry: digest) digest_membership.add(entry.getMember());
Address member=entry.getMember(); long[] my_entry=my_digest.get(member); if(my_entry == null) continue; long their_high=entry.getHighest();
Address member=entry.getMember(); if(member == null) continue; high_seqno_delivered=entry.getHighestDeliveredSeqno(); high_seqno_received=entry.getHighestReceivedSeqno();
Address member=entry.getMember(); if(member == null) continue; high_seqno_delivered=entry.getHighestDeliveredSeqno(); high_seqno_received=entry.getHighestReceivedSeqno();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); if(member == null) continue; high_seqno_delivered=entry.getHighestDeliveredSeqno(); high_seqno_received=entry.getHighestReceivedSeqno();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); if(member == null) continue; long highest_delivered_seqno=entry.getHighestDeliveredSeqno();
Address member=entry.getMember(); if(member == null) continue; long hd=entry.getHighestDeliveredSeqno(); long hr=entry.getHighestReceivedSeqno();