executor 1.1.10-beta.5 → 1.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (15) hide show
  1. package/README.md +8 -5
  2. package/bin/executor.mjs +34395 -22221
  3. package/package.json +1 -1
  4. package/resources/web/assets/{highlighted-body-TPN3WLV5-CNtoUE2O.js → highlighted-body-TPN3WLV5-D63Ysw4_.js} +1 -1
  5. package/resources/web/assets/{index-Dyhx5qgf.js → index-luoUjNdg.js} +2 -2
  6. package/resources/web/assets/mermaid-O7DHMXV3-BssdgemB.css +1 -0
  7. package/resources/web/assets/mermaid-O7DHMXV3-C6RV7rv6.js +658 -0
  8. package/resources/web/index.html +1 -1
  9. package/bin/impl/edit.js +0 -201
  10. package/bin/impl/format.js +0 -275
  11. package/bin/impl/parser.js +0 -682
  12. package/bin/impl/scanner.js +0 -456
  13. package/bin/impl/string-intern.js +0 -42
  14. package/resources/web/assets/mermaid-O7DHMXV3-CfqEcqYS.js +0 -658
  15. package/resources/web/assets/mermaid-O7DHMXV3-D1toCiZx.css +0 -1
package/resources/web/index.html CHANGED
@@ -15,7 +15,7 @@
15
15
  href="https://fonts.googleapis.com/css2?family=DM+Sans:ital,opsz,wght@0,9..40,400;0,9..40,500;0,9..40,600;0,9..40,700;1,9..40,400&family=Instrument+Serif&family=JetBrains+Mono:wght@400;500&display=swap"
16
16
  rel="stylesheet"
17
17
  />
18
- <script type="module" crossorigin src="/assets/index-Dyhx5qgf.js"></script>
18
+ <script type="module" crossorigin src="/assets/index-luoUjNdg.js"></script>
19
19
  <link rel="modulepreload" crossorigin href="/assets/index-CRuElBS1.js">
20
20
  </head>
21
21
  <body>
package/bin/impl/edit.js DELETED
@@ -1,201 +0,0 @@
1
- (function (factory) {
2
- if (typeof module === "object" && typeof module.exports === "object") {
3
- var v = factory(require, exports);
4
- if (v !== undefined) module.exports = v;
5
- }
6
- else if (typeof define === "function" && define.amd) {
7
- define(["require", "exports", "./format", "./parser"], factory);
8
- }
9
- })(function (require, exports) {
10
- /*---------------------------------------------------------------------------------------------
11
- * Copyright (c) Microsoft Corporation. All rights reserved.
12
- * Licensed under the MIT License. See License.txt in the project root for license information.
13
- *--------------------------------------------------------------------------------------------*/
14
- 'use strict';
15
- Object.defineProperty(exports, "__esModule", { value: true });
16
- exports.isWS = exports.applyEdit = exports.setProperty = exports.removeProperty = void 0;
17
- const format_1 = require("./format");
18
- const parser_1 = require("./parser");
19
- function removeProperty(text, path, options) {
20
- return setProperty(text, path, void 0, options);
21
- }
22
- exports.removeProperty = removeProperty;
23
- function setProperty(text, originalPath, value, options) {
24
- const path = originalPath.slice();
25
- const errors = [];
26
- const root = (0, parser_1.parseTree)(text, errors);
27
- let parent = void 0;
28
- let lastSegment = void 0;
29
- while (path.length > 0) {
30
- lastSegment = path.pop();
31
- parent = (0, parser_1.findNodeAtLocation)(root, path);
32
- if (parent === void 0 && value !== void 0) {
33
- if (typeof lastSegment === 'string') {
34
- value = { [lastSegment]: value };
35
- }
36
- else {
37
- value = [value];
38
- }
39
- }
40
- else {
41
- break;
42
- }
43
- }
44
- if (!parent) {
45
- // empty document
46
- if (value === void 0) { // delete
47
- throw new Error('Can not delete in empty document');
48
- }
49
- return withFormatting(text, { offset: root ? root.offset : 0, length: root ? root.length : 0, content: JSON.stringify(value) }, options);
50
- }
51
- else if (parent.type === 'object' && typeof lastSegment === 'string' && Array.isArray(parent.children)) {
52
- const existing = (0, parser_1.findNodeAtLocation)(parent, [lastSegment]);
53
- if (existing !== void 0) {
54
- if (value === void 0) { // delete
55
- if (!existing.parent) {
56
- throw new Error('Malformed AST');
57
- }
58
- const propertyIndex = parent.children.indexOf(existing.parent);
59
- let removeBegin;
60
- let removeEnd = existing.parent.offset + existing.parent.length;
61
- if (propertyIndex > 0) {
62
- // remove the comma of the previous node
63
- let previous = parent.children[propertyIndex - 1];
64
- removeBegin = previous.offset + previous.length;
65
- }
66
- else {
67
- removeBegin = parent.offset + 1;
68
- if (parent.children.length > 1) {
69
- // remove the comma of the next node
70
- let next = parent.children[1];
71
- removeEnd = next.offset;
72
- }
73
- }
74
- return withFormatting(text, { offset: removeBegin, length: removeEnd - removeBegin, content: '' }, options);
75
- }
76
- else {
77
- // set value of existing property
78
- return withFormatting(text, { offset: existing.offset, length: existing.length, content: JSON.stringify(value) }, options);
79
- }
80
- }
81
- else {
82
- if (value === void 0) { // delete
83
- return []; // property does not exist, nothing to do
84
- }
85
- const newProperty = `${JSON.stringify(lastSegment)}: ${JSON.stringify(value)}`;
86
- const index = options.getInsertionIndex ? options.getInsertionIndex(parent.children.map(p => p.children[0].value)) : parent.children.length;
87
- let edit;
88
- if (index > 0) {
89
- let previous = parent.children[index - 1];
90
- edit = { offset: previous.offset + previous.length, length: 0, content: ',' + newProperty };
91
- }
92
- else if (parent.children.length === 0) {
93
- edit = { offset: parent.offset + 1, length: 0, content: newProperty };
94
- }
95
- else {
96
- edit = { offset: parent.offset + 1, length: 0, content: newProperty + ',' };
97
- }
98
- return withFormatting(text, edit, options);
99
- }
100
- }
101
- else if (parent.type === 'array' && typeof lastSegment === 'number' && Array.isArray(parent.children)) {
102
- const insertIndex = lastSegment;
103
- if (insertIndex === -1) {
104
- // Insert
105
- const newProperty = `${JSON.stringify(value)}`;
106
- let edit;
107
- if (parent.children.length === 0) {
108
- edit = { offset: parent.offset + 1, length: 0, content: newProperty };
109
- }
110
- else {
111
- const previous = parent.children[parent.children.length - 1];
112
- edit = { offset: previous.offset + previous.length, length: 0, content: ',' + newProperty };
113
- }
114
- return withFormatting(text, edit, options);
115
- }
116
- else if (value === void 0 && parent.children.length >= 0) {
117
- // Removal
118
- const removalIndex = lastSegment;
119
- const toRemove = parent.children[removalIndex];
120
- let edit;
121
- if (parent.children.length === 1) {
122
- // only item
123
- edit = { offset: parent.offset + 1, length: parent.length - 2, content: '' };
124
- }
125
- else if (parent.children.length - 1 === removalIndex) {
126
- // last item
127
- let previous = parent.children[removalIndex - 1];
128
- let offset = previous.offset + previous.length;
129
- let parentEndOffset = parent.offset + parent.length;
130
- edit = { offset, length: parentEndOffset - 2 - offset, content: '' };
131
- }
132
- else {
133
- edit = { offset: toRemove.offset, length: parent.children[removalIndex + 1].offset - toRemove.offset, content: '' };
134
- }
135
- return withFormatting(text, edit, options);
136
- }
137
- else if (value !== void 0) {
138
- let edit;
139
- const newProperty = `${JSON.stringify(value)}`;
140
- if (!options.isArrayInsertion && parent.children.length > lastSegment) {
141
- const toModify = parent.children[lastSegment];
142
- edit = { offset: toModify.offset, length: toModify.length, content: newProperty };
143
- }
144
- else if (parent.children.length === 0 || lastSegment === 0) {
145
- edit = { offset: parent.offset + 1, length: 0, content: parent.children.length === 0 ? newProperty : newProperty + ',' };
146
- }
147
- else {
148
- const index = lastSegment > parent.children.length ? parent.children.length : lastSegment;
149
- const previous = parent.children[index - 1];
150
- edit = { offset: previous.offset + previous.length, length: 0, content: ',' + newProperty };
151
- }
152
- return withFormatting(text, edit, options);
153
- }
154
- else {
155
- throw new Error(`Can not ${value === void 0 ? 'remove' : (options.isArrayInsertion ? 'insert' : 'modify')} Array index ${insertIndex} as length is not sufficient`);
156
- }
157
- }
158
- else {
159
- throw new Error(`Can not add ${typeof lastSegment !== 'number' ? 'index' : 'property'} to parent of type ${parent.type}`);
160
- }
161
- }
162
- exports.setProperty = setProperty;
163
- function withFormatting(text, edit, options) {
164
- if (!options.formattingOptions) {
165
- return [edit];
166
- }
167
- // apply the edit
168
- let newText = applyEdit(text, edit);
169
- // format the new text
170
- let begin = edit.offset;
171
- let end = edit.offset + edit.content.length;
172
- if (edit.length === 0 || edit.content.length === 0) { // insert or remove
173
- while (begin > 0 && !(0, format_1.isEOL)(newText, begin - 1)) {
174
- begin--;
175
- }
176
- while (end < newText.length && !(0, format_1.isEOL)(newText, end)) {
177
- end++;
178
- }
179
- }
180
- const edits = (0, format_1.format)(newText, { offset: begin, length: end - begin }, { ...options.formattingOptions, keepLines: false });
181
- // apply the formatting edits and track the begin and end offsets of the changes
182
- for (let i = edits.length - 1; i >= 0; i--) {
183
- const edit = edits[i];
184
- newText = applyEdit(newText, edit);
185
- begin = Math.min(begin, edit.offset);
186
- end = Math.max(end, edit.offset + edit.length);
187
- end += edit.content.length - edit.length;
188
- }
189
- // create a single edit with all changes
190
- const editLength = text.length - (newText.length - end) - begin;
191
- return [{ offset: begin, length: editLength, content: newText.substring(begin, end) }];
192
- }
193
- function applyEdit(text, edit) {
194
- return text.substring(0, edit.offset) + edit.content + text.substring(edit.offset + edit.length);
195
- }
196
- exports.applyEdit = applyEdit;
197
- function isWS(text, offset) {
198
- return '\r\n \t'.indexOf(text.charAt(offset)) !== -1;
199
- }
200
- exports.isWS = isWS;
201
- });
package/bin/impl/format.js DELETED
@@ -1,275 +0,0 @@
1
- (function (factory) {
2
- if (typeof module === "object" && typeof module.exports === "object") {
3
- var v = factory(require, exports);
4
- if (v !== undefined) module.exports = v;
5
- }
6
- else if (typeof define === "function" && define.amd) {
7
- define(["require", "exports", "./scanner", "./string-intern"], factory);
8
- }
9
- })(function (require, exports) {
10
- /*---------------------------------------------------------------------------------------------
11
- * Copyright (c) Microsoft Corporation. All rights reserved.
12
- * Licensed under the MIT License. See License.txt in the project root for license information.
13
- *--------------------------------------------------------------------------------------------*/
14
- 'use strict';
15
- Object.defineProperty(exports, "__esModule", { value: true });
16
- exports.isEOL = exports.format = void 0;
17
- const scanner_1 = require("./scanner");
18
- const string_intern_1 = require("./string-intern");
19
- function format(documentText, range, options) {
20
- let initialIndentLevel;
21
- let formatText;
22
- let formatTextStart;
23
- let rangeStart;
24
- let rangeEnd;
25
- if (range) {
26
- rangeStart = range.offset;
27
- rangeEnd = rangeStart + range.length;
28
- formatTextStart = rangeStart;
29
- while (formatTextStart > 0 && !isEOL(documentText, formatTextStart - 1)) {
30
- formatTextStart--;
31
- }
32
- let endOffset = rangeEnd;
33
- while (endOffset < documentText.length && !isEOL(documentText, endOffset)) {
34
- endOffset++;
35
- }
36
- formatText = documentText.substring(formatTextStart, endOffset);
37
- initialIndentLevel = computeIndentLevel(formatText, options);
38
- }
39
- else {
40
- formatText = documentText;
41
- initialIndentLevel = 0;
42
- formatTextStart = 0;
43
- rangeStart = 0;
44
- rangeEnd = documentText.length;
45
- }
46
- const eol = getEOL(options, documentText);
47
- const eolFastPathSupported = string_intern_1.supportedEols.includes(eol);
48
- let numberLineBreaks = 0;
49
- let indentLevel = 0;
50
- let indentValue;
51
- if (options.insertSpaces) {
52
- indentValue = string_intern_1.cachedSpaces[options.tabSize || 4] ?? repeat(string_intern_1.cachedSpaces[1], options.tabSize || 4);
53
- }
54
- else {
55
- indentValue = '\t';
56
- }
57
- const indentType = indentValue === '\t' ? '\t' : ' ';
58
- let scanner = (0, scanner_1.createScanner)(formatText, false);
59
- let hasError = false;
60
- function newLinesAndIndent() {
61
- if (numberLineBreaks > 1) {
62
- return repeat(eol, numberLineBreaks) + repeat(indentValue, initialIndentLevel + indentLevel);
63
- }
64
- const amountOfSpaces = indentValue.length * (initialIndentLevel + indentLevel);
65
- if (!eolFastPathSupported || amountOfSpaces > string_intern_1.cachedBreakLinesWithSpaces[indentType][eol].length) {
66
- return eol + repeat(indentValue, initialIndentLevel + indentLevel);
67
- }
68
- if (amountOfSpaces <= 0) {
69
- return eol;
70
- }
71
- return string_intern_1.cachedBreakLinesWithSpaces[indentType][eol][amountOfSpaces];
72
- }
73
- function scanNext() {
74
- let token = scanner.scan();
75
- numberLineBreaks = 0;
76
- while (token === 15 /* SyntaxKind.Trivia */ || token === 14 /* SyntaxKind.LineBreakTrivia */) {
77
- if (token === 14 /* SyntaxKind.LineBreakTrivia */ && options.keepLines) {
78
- numberLineBreaks += 1;
79
- }
80
- else if (token === 14 /* SyntaxKind.LineBreakTrivia */) {
81
- numberLineBreaks = 1;
82
- }
83
- token = scanner.scan();
84
- }
85
- hasError = token === 16 /* SyntaxKind.Unknown */ || scanner.getTokenError() !== 0 /* ScanError.None */;
86
- return token;
87
- }
88
- const editOperations = [];
89
- function addEdit(text, startOffset, endOffset) {
90
- if (!hasError && (!range || (startOffset < rangeEnd && endOffset > rangeStart)) && documentText.substring(startOffset, endOffset) !== text) {
91
- editOperations.push({ offset: startOffset, length: endOffset - startOffset, content: text });
92
- }
93
- }
94
- let firstToken = scanNext();
95
- if (options.keepLines && numberLineBreaks > 0) {
96
- addEdit(repeat(eol, numberLineBreaks), 0, 0);
97
- }
98
- if (firstToken !== 17 /* SyntaxKind.EOF */) {
99
- let firstTokenStart = scanner.getTokenOffset() + formatTextStart;
100
- let initialIndent = (indentValue.length * initialIndentLevel < 20) && options.insertSpaces
101
- ? string_intern_1.cachedSpaces[indentValue.length * initialIndentLevel]
102
- : repeat(indentValue, initialIndentLevel);
103
- addEdit(initialIndent, formatTextStart, firstTokenStart);
104
- }
105
- while (firstToken !== 17 /* SyntaxKind.EOF */) {
106
- let firstTokenEnd = scanner.getTokenOffset() + scanner.getTokenLength() + formatTextStart;
107
- let secondToken = scanNext();
108
- let replaceContent = '';
109
- let needsLineBreak = false;
110
- while (numberLineBreaks === 0 && (secondToken === 12 /* SyntaxKind.LineCommentTrivia */ || secondToken === 13 /* SyntaxKind.BlockCommentTrivia */)) {
111
- let commentTokenStart = scanner.getTokenOffset() + formatTextStart;
112
- addEdit(string_intern_1.cachedSpaces[1], firstTokenEnd, commentTokenStart);
113
- firstTokenEnd = scanner.getTokenOffset() + scanner.getTokenLength() + formatTextStart;
114
- needsLineBreak = secondToken === 12 /* SyntaxKind.LineCommentTrivia */;
115
- replaceContent = needsLineBreak ? newLinesAndIndent() : '';
116
- secondToken = scanNext();
117
- }
118
- if (secondToken === 2 /* SyntaxKind.CloseBraceToken */) {
119
- if (firstToken !== 1 /* SyntaxKind.OpenBraceToken */) {
120
- indentLevel--;
121
- }
122
- ;
123
- if (options.keepLines && numberLineBreaks > 0 || !options.keepLines && firstToken !== 1 /* SyntaxKind.OpenBraceToken */) {
124
- replaceContent = newLinesAndIndent();
125
- }
126
- else if (options.keepLines) {
127
- replaceContent = string_intern_1.cachedSpaces[1];
128
- }
129
- }
130
- else if (secondToken === 4 /* SyntaxKind.CloseBracketToken */) {
131
- if (firstToken !== 3 /* SyntaxKind.OpenBracketToken */) {
132
- indentLevel--;
133
- }
134
- ;
135
- if (options.keepLines && numberLineBreaks > 0 || !options.keepLines && firstToken !== 3 /* SyntaxKind.OpenBracketToken */) {
136
- replaceContent = newLinesAndIndent();
137
- }
138
- else if (options.keepLines) {
139
- replaceContent = string_intern_1.cachedSpaces[1];
140
- }
141
- }
142
- else {
143
- switch (firstToken) {
144
- case 3 /* SyntaxKind.OpenBracketToken */:
145
- case 1 /* SyntaxKind.OpenBraceToken */:
146
- indentLevel++;
147
- if (options.keepLines && numberLineBreaks > 0 || !options.keepLines) {
148
- replaceContent = newLinesAndIndent();
149
- }
150
- else {
151
- replaceContent = string_intern_1.cachedSpaces[1];
152
- }
153
- break;
154
- case 5 /* SyntaxKind.CommaToken */:
155
- if (options.keepLines && numberLineBreaks > 0 || !options.keepLines) {
156
- replaceContent = newLinesAndIndent();
157
- }
158
- else {
159
- replaceContent = string_intern_1.cachedSpaces[1];
160
- }
161
- break;
162
- case 12 /* SyntaxKind.LineCommentTrivia */:
163
- replaceContent = newLinesAndIndent();
164
- break;
165
- case 13 /* SyntaxKind.BlockCommentTrivia */:
166
- if (numberLineBreaks > 0) {
167
- replaceContent = newLinesAndIndent();
168
- }
169
- else if (!needsLineBreak) {
170
- replaceContent = string_intern_1.cachedSpaces[1];
171
- }
172
- break;
173
- case 6 /* SyntaxKind.ColonToken */:
174
- if (options.keepLines && numberLineBreaks > 0) {
175
- replaceContent = newLinesAndIndent();
176
- }
177
- else if (!needsLineBreak) {
178
- replaceContent = string_intern_1.cachedSpaces[1];
179
- }
180
- break;
181
- case 10 /* SyntaxKind.StringLiteral */:
182
- if (options.keepLines && numberLineBreaks > 0) {
183
- replaceContent = newLinesAndIndent();
184
- }
185
- else if (secondToken === 6 /* SyntaxKind.ColonToken */ && !needsLineBreak) {
186
- replaceContent = '';
187
- }
188
- break;
189
- case 7 /* SyntaxKind.NullKeyword */:
190
- case 8 /* SyntaxKind.TrueKeyword */:
191
- case 9 /* SyntaxKind.FalseKeyword */:
192
- case 11 /* SyntaxKind.NumericLiteral */:
193
- case 2 /* SyntaxKind.CloseBraceToken */:
194
- case 4 /* SyntaxKind.CloseBracketToken */:
195
- if (options.keepLines && numberLineBreaks > 0) {
196
- replaceContent = newLinesAndIndent();
197
- }
198
- else {
199
- if ((secondToken === 12 /* SyntaxKind.LineCommentTrivia */ || secondToken === 13 /* SyntaxKind.BlockCommentTrivia */) && !needsLineBreak) {
200
- replaceContent = string_intern_1.cachedSpaces[1];
201
- }
202
- else if (secondToken !== 5 /* SyntaxKind.CommaToken */ && secondToken !== 17 /* SyntaxKind.EOF */) {
203
- hasError = true;
204
- }
205
- }
206
- break;
207
- case 16 /* SyntaxKind.Unknown */:
208
- hasError = true;
209
- break;
210
- }
211
- if (numberLineBreaks > 0 && (secondToken === 12 /* SyntaxKind.LineCommentTrivia */ || secondToken === 13 /* SyntaxKind.BlockCommentTrivia */)) {
212
- replaceContent = newLinesAndIndent();
213
- }
214
- }
215
- if (secondToken === 17 /* SyntaxKind.EOF */) {
216
- if (options.keepLines && numberLineBreaks > 0) {
217
- replaceContent = newLinesAndIndent();
218
- }
219
- else {
220
- replaceContent = options.insertFinalNewline ? eol : '';
221
- }
222
- }
223
- const secondTokenStart = scanner.getTokenOffset() + formatTextStart;
224
- addEdit(replaceContent, firstTokenEnd, secondTokenStart);
225
- firstToken = secondToken;
226
- }
227
- return editOperations;
228
- }
229
- exports.format = format;
230
- function repeat(s, count) {
231
- let result = '';
232
- for (let i = 0; i < count; i++) {
233
- result += s;
234
- }
235
- return result;
236
- }
237
- function computeIndentLevel(content, options) {
238
- let i = 0;
239
- let nChars = 0;
240
- const tabSize = options.tabSize || 4;
241
- while (i < content.length) {
242
- let ch = content.charAt(i);
243
- if (ch === string_intern_1.cachedSpaces[1]) {
244
- nChars++;
245
- }
246
- else if (ch === '\t') {
247
- nChars += tabSize;
248
- }
249
- else {
250
- break;
251
- }
252
- i++;
253
- }
254
- return Math.floor(nChars / tabSize);
255
- }
256
- function getEOL(options, text) {
257
- for (let i = 0; i < text.length; i++) {
258
- const ch = text.charAt(i);
259
- if (ch === '\r') {
260
- if (i + 1 < text.length && text.charAt(i + 1) === '\n') {
261
- return '\r\n';
262
- }
263
- return '\r';
264
- }
265
- else if (ch === '\n') {
266
- return '\n';
267
- }
268
- }
269
- return (options && options.eol) || '\n';
270
- }
271
- function isEOL(text, offset) {
272
- return '\r\n'.indexOf(text.charAt(offset)) !== -1;
273
- }
274
- exports.isEOL = isEOL;
275
- });