31
32
if (originalLines.length === 1 && originalLines[0].length === 0 || modifiedLines.length === 1 && modifiedLines[0].length === 0) {
34
>
new DetailedLineRangeMapping(
35
>
new LineRange(1, originalLines.length + 1),
36
>
new LineRange(1, modifiedLines.length + 1),
37
>
[
38
>
new RangeMapping(
39
>
new Range(1, 1, originalLines.length, originalLines[originalLines.length - 1].length + 1),
40
>
new Range(1, 1, modifiedLines.length, modifiedLines[modifiedLines.length - 1].length + 1),
41
>
)
42
>
]
43
>
)
44
>
], [], false);
45
>
}
46
47
const timeout = options.maxComputationTimeMs === 0 ? InfiniteTimeout.instance : new DateTimeout(options.maxComputationTimeMs);