30
31
for (const c of result.changes) {
33
>
if (c.originalEndLineNumber === 0) {
34
// Insertion
35
originalRange = new LineRange(c.originalStartLineNumber + 1, c.originalStartLineNumber + 1);
37
originalRange = new LineRange(c.originalStartLineNumber, c.originalEndLineNumber + 1);
38
}
40
>
let modifiedRange: LineRange;
41
>
if (c.modifiedEndLineNumber === 0) {
42
// Deletion
43
modifiedRange = new LineRange(c.modifiedStartLineNumber + 1, c.modifiedStartLineNumber + 1);
45
modifiedRange = new LineRange(c.modifiedStartLineNumber, c.modifiedEndLineNumber + 1);
46
}
48
>
let change = new DetailedLineRangeMapping(originalRange, modifiedRange, c.charChanges?.map(c => new RangeMapping(
49
new Range(c.originalStartLineNumber, c.originalStartColumn, c.originalEndLineNumber, c.originalEndColumn),
50
new Range(c.modifiedStartLineNumber, c.modifiedStartColumn, c.modifiedEndLineNumber, c.modifiedEndColumn),
52
>
if (lastChange) {
53
if (lastChange.modified.endLineNumberExclusive === change.modified.startLineNumber
54
|| lastChange.original.endLineNumberExclusive === change.original.startLineNumber) {