Esempio n. 1
0
        public void  add(Digest d)
        {
            Address sender;
            long    low_seqno, high_seqno, high_seqno_seen;

            if (d != null)
            {
                for (int i = 0; i < d.size(); i++)
                {
                    sender          = d.senderAt(i);
                    low_seqno       = d.lowSeqnoAt(i);
                    high_seqno      = d.highSeqnoAt(i);
                    high_seqno_seen = d.highSeqnoSeenAt(i);
                    add(sender, low_seqno, high_seqno, high_seqno_seen);
                }
            }
        }
Esempio n. 2
0
        /// <summary> Adds a digest to this digest. This digest must have enough space to add the other digest; otherwise an error
        /// message will be written. For each sender in the other digest, the merge() method will be called.
        /// </summary>
        public void  merge(Digest d)
        {
            Address sender;
            long    low_seqno, high_seqno, high_seqno_seen;

            if (d == null)
            {
                return;
            }
            for (int i = 0; i < d.size(); i++)
            {
                sender          = d.senderAt(i);
                low_seqno       = d.lowSeqnoAt(i);
                high_seqno      = d.highSeqnoAt(i);
                high_seqno_seen = d.highSeqnoSeenAt(i);
                merge(sender, low_seqno, high_seqno, high_seqno_seen);
            }
        }
Esempio n. 3
0
        /// <summary> Adds a digest to this digest. This digest must have enough space to add the other digest; otherwise an error
        /// message will be written. For each sender in the other digest, the merge() method will be called.
        /// </summary>
        public void  merge(Digest d)
        {
            Address sender;
            long    low_seqno, high_seqno, high_seqno_seen;

            if (d == null)
            {
                //Trace.error("Digest", "digest to be merged with is null");
                return;
            }
            for (int i = 0; i < d.size(); i++)
            {
                sender          = d.senderAt(i);
                low_seqno       = d.lowSeqnoAt(i);
                high_seqno      = d.highSeqnoAt(i);
                high_seqno_seen = d.highSeqnoSeenAt(i);
                merge(sender, low_seqno, high_seqno, high_seqno_seen);
            }
        }
Esempio n. 4
0
		public void  add(Digest d)
		{
			Address sender;
			long low_seqno, high_seqno, high_seqno_seen;
			
			if (d != null)
			{
				for (int i = 0; i < d.size(); i++)
				{
					sender = d.senderAt(i);
					low_seqno = d.lowSeqnoAt(i);
					high_seqno = d.highSeqnoAt(i);
					high_seqno_seen = d.highSeqnoSeenAt(i);
					add(sender, low_seqno, high_seqno, high_seqno_seen);
				}
			}
		}
Esempio n. 5
0
		/// <summary> Adds a digest to this digest. This digest must have enough space to add the other digest; otherwise an error
		/// message will be written. For each sender in the other digest, the merge() method will be called.
		/// </summary>
		public void  merge(Digest d)
		{
			Address sender;
			long low_seqno, high_seqno, high_seqno_seen;
			
			if (d == null)
			{
               return ;
			}
			for (int i = 0; i < d.size(); i++)
			{
				sender = d.senderAt(i);
				low_seqno = d.lowSeqnoAt(i);
				high_seqno = d.highSeqnoAt(i);
				high_seqno_seen = d.highSeqnoSeenAt(i);
				merge(sender, low_seqno, high_seqno, high_seqno_seen);
			}
		}