Class Digest.Entry

  • Enclosing class:
    Digest

    public static class Digest.Entry
    extends java.lang.Object
    Keeps track of one members plus its highest delivered and received seqnos
    • Field Detail

      • member

        protected final Address member
      • hd

        protected final long hd
      • hr

        protected final long hr
    • Constructor Detail

      • Entry

        public Entry​(Address member,
                     long highest_delivered,
                     long highest_received)
    • Method Detail

      • getMember

        public Address getMember()
      • getHighestDeliveredSeqno

        public long getHighestDeliveredSeqno()
      • getHighestReceivedSeqno

        public long getHighestReceivedSeqno()
      • getHighest

        public long getHighest()
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object