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);
}
}
}
/// <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);
}
}
/// <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);
}
}
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);
}
}
}
/// <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);
}
}
