258
break;
259
}
261
>
const v1 = findParent(sequence1, next.seq1Range.start);
262
>
const v2 = findParent(sequence2, next.seq2Range.start);
263
>
// Because there is an intersection, we know that the words are not empty.
264
>
const v = new SequenceDiff(v1!, v2!);
265
>
const equalPart = v.intersect(next)!;
266
>
267
>
equalChars1 += equalPart.seq1Range.length;
268
>
equalChars2 += equalPart.seq2Range.length;
269
>
270
>
w = w.join(v);
271
>
272
>
if (w.seq1Range.endExclusive >= next.seq1Range.endExclusive) {
273
// The word extends beyond the next equal mapping.
274
equalMappings.shift();
276
break;
277
}