243
return;
244
}
246
>
const equalPart = w.intersect(equalMapping)!;
247
>
248
>
let equalChars1 = equalPart.seq1Range.length;
249
>
let equalChars2 = equalPart.seq2Range.length;
250
>
251
>
// The words do not touch previous equals mappings, as we would have processed them already.
252
>
// But they might touch the next ones.
253
>
254
>
while (equalMappings.length > 0) {
255
const next = equalMappings[0];
256
const intersects = next.seq1Range.intersects(w.seq1Range) || next.seq2Range.intersects(w.seq2Range);