src/vs/base/common/jsonEdit.ts
176 LOC · 166 covered · 10 uncovered · 64 ranges · 2316 concepts · 32 introducers · 1161 tests
File neighbourhood
The centred file is linked to every concept that introduces one of its ranges, every test that runs code from the file, and the gray connector concepts standing between those tests and the file's own introducer concepts. Undirected links join concepts to every file where they introduce source and concepts to the tests they introduce; arrows show specialization between the displayed concepts and bridge only concepts omitted from this view. Concept colors match the source ranges below; connector concepts have no source color and are shown in gray.
Focused file, its introducer and connector concepts, their introduced files, and tests that run code from the file
In the embedded map, ordinary wheel input scrolls the page; use the visible controls to zoom and drag to pan. Open the full-screen map for canvas navigation: wheel pans, Ctrl/Command plus wheel zooms, and arrow keys pan when this region is focused. On touch screens, open the full-screen map to pan or pinch. If JavaScript or WebGL is unavailable, use the related-file, concept, and source links on this page.
Graph controls are ready.
Interactive rendering requires JavaScript and WebGL. Use the related-file, concept, and source links on this page while the interactive map is unavailable.
1
>
/*---------------------------------------------------------------------------------------------
jsonEdit.ts ×5
2
>
* Copyright (c) Microsoft Corporation. All rights reserved.
3
>
* Licensed under the MIT License. See License.txt in the project root for license information.
4
>
*--------------------------------------------------------------------------------------------*/
5
>
6
>
import { findNodeAtLocation, JSONPath, Node, ParseError, parseTree, Segment } from './json.js';
7
>
import { Edit, format, FormattingOptions, isEOL } from './jsonFormatter.js';
8
>
9
>
10
>
export function removeProperty(text: string, path: JSONPath, formattingOptions: FormattingOptions): Edit[] {
12
>
}
14
>
export function setProperty(text: string, originalPath: JSONPath, value: unknown, formattingOptions: FormattingOptions, getInsertionIndex?: (properties: string[]) => number): Edit[] {
16
>
const errors: ParseError[] = [];
17
>
const root = parseTree(text, errors);
18
>
let parent: Node | undefined = undefined;
19
>
20
>
let lastSegment: Segment | undefined = undefined;
21
>
while (path.length > 0) {
22
>
lastSegment = path.pop();
23
>
parent = findNodeAtLocation(root, path);
24
>
if (parent === undefined && value !== undefined) {
26
>
value = { [lastSegment]: value };
27
>
} else {
28
>
value = [value];
29
>
}
31
>
break;
32
>
}
33
>
}
34
>
35
>
if (!parent) {
37
>
if (value === undefined) { // delete
38
return []; // property does not exist, nothing to do
39
}
40
>
return withFormatting(text, { offset: root ? root.offset : 0, length: root ? root.length : 0, content: JSON.stringify(value) }, formattingOptions);
jsonEdit.ts ×2
41
>
} else if (parent.type === 'object' && typeof lastSegment === 'string' && Array.isArray(parent.children)) {
jsonEdit.ts ×5
43
>
if (existing !== undefined) {
46
throw new Error('Malformed AST');
47
}
49
>
let removeBegin: number;
50
>
let removeEnd = existing.parent.offset + existing.parent.length;
51
>
if (propertyIndex > 0) {
53
>
const previous = parent.children[propertyIndex - 1];
54
>
removeBegin = previous.offset + previous.length;
57
>
if (parent.children.length > 1) {
59
>
const next = parent.children[1];
60
>
removeEnd = next.offset;
61
>
}
63
>
return withFormatting(text, { offset: removeBegin, length: removeEnd - removeBegin, content: '' }, formattingOptions);
jsonEdit.ts ×4
66
>
return withFormatting(text, { offset: existing.offset, length: existing.length, content: JSON.stringify(value) }, formattingOptions);
67
>
}
71
>
}
73
>
const index = getInsertionIndex ? getInsertionIndex(parent.children.map(p => p.children![0].value)) : parent.children.length;
jsonEdit.ts ×2
74
>
let edit: Edit;
75
>
if (index > 0) {
77
>
edit = { offset: previous.offset + previous.length, length: 0, content: ',' + newProperty };
80
>
} else {
82
>
}
84
>
}
85
>
} else if (parent.type === 'array' && typeof lastSegment === 'number' && Array.isArray(parent.children)) {
jsonEdit.ts ×5
88
>
const newProperty = `${JSON.stringify(value)}`;
89
>
let edit: Edit;
90
>
if (parent.children.length === 0 || lastSegment === 0) {
91
>
edit = { offset: parent.offset + 1, length: 0, content: parent.children.length === 0 ? newProperty : newProperty + ',' };
jsonEdit.ts ×1
93
>
const index = lastSegment === -1 || lastSegment > parent.children.length ? parent.children.length : lastSegment;
jsonEdit.ts ×1
94
>
const previous = parent.children[index - 1];
95
>
edit = { offset: previous.offset + previous.length, length: 0, content: ',' + newProperty };
96
>
}
100
>
const removalIndex = lastSegment;
101
>
const toRemove = parent.children[removalIndex];
102
>
let edit: Edit;
103
>
if (parent.children.length === 1) {
105
>
edit = { offset: parent.offset + 1, length: parent.length - 2, content: '' };
108
>
const previous = parent.children[removalIndex - 1];
109
>
const offset = previous.offset + previous.length;
110
>
const parentEndOffset = parent.offset + parent.length;
111
>
edit = { offset, length: parentEndOffset - 2 - offset, content: '' };
113
>
edit = { offset: toRemove.offset, length: parent.children[removalIndex + 1].offset - toRemove.offset, content: '' };
jsonEdit.ts ×1
114
>
}
116
>
}
118
throw new Error(`Can not add ${typeof lastSegment !== 'number' ? 'index' : 'property'} to parent of type ${parent.type}`);
119
}
122
>
export function withFormatting(text: string, edit: Edit, formattingOptions: FormattingOptions): Edit[] {
124
>
let newText = applyEdit(text, edit);
125
>
126
>
// format the new text
127
>
let begin = edit.offset;
128
>
let end = edit.offset + edit.content.length;
129
>
if (edit.length === 0 || edit.content.length === 0) { // insert or remove
131
>
begin--;
132
>
}
133
>
while (end < newText.length && !isEOL(newText, end)) {
135
>
}
138
>
const edits = format(newText, { offset: begin, length: end - begin }, formattingOptions);
139
>
140
>
// apply the formatting edits and track the begin and end offsets of the changes
141
>
for (let i = edits.length - 1; i >= 0; i--) {
143
>
newText = applyEdit(newText, curr);
144
>
begin = Math.min(begin, curr.offset);
145
>
end = Math.max(end, curr.offset + curr.length);
146
>
end += curr.content.length - curr.length;
147
>
}
149
>
const editLength = text.length - (newText.length - end) - begin;
150
>
return [{ offset: begin, length: editLength, content: newText.substring(begin, end) }];
151
>
}
153
>
export function applyEdit(text: string, edit: Edit): string {
154
>
return text.substring(0, edit.offset) + edit.content + text.substring(edit.offset + edit.length);
jsonEdit.ts ×4
155
>
}
157
>
export function applyEdits(text: string, edits: Edit[]): string {
160
>
if (diff === 0) {
161
return a.length - b.length;
162
}
165
>
let lastModifiedOffset = text.length;
166
>
for (let i = sortedEdits.length - 1; i >= 0; i--) {
167
>
const e = sortedEdits[i];
168
>
if (e.offset + e.length <= lastModifiedOffset) {
169
>
text = applyEdit(text, e);
170
>
} else {
171
throw new Error('Overlapping edit');
172
}
174
>
}
175
>
return text;
176
>
}