monaco-editor11 1.0.9 → 1.1.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 (232) hide show
  1. package/dist/index.d.ts +1 -1
  2. package/dist/monaco-editor11.es.js +11 -16
  3. package/dist/monaco-editor11.umd.js +1 -1
  4. package/package.json +2 -2
  5. package/dist/monaco.d.ts +0 -8
  6. package/dist/workers/common/initialize.js +0 -16
  7. package/dist/workers/common/workers.js +0 -141
  8. package/dist/workers/editor/common/abstractSyntaxTokenBackend.js +0 -128
  9. package/dist/workers/editor/common/abstractText.js +0 -89
  10. package/dist/workers/editor/common/ast.js +0 -485
  11. package/dist/workers/editor/common/autoIndent.js +0 -390
  12. package/dist/workers/editor/common/beforeEditPositionMapper.js +0 -110
  13. package/dist/workers/editor/common/bracketPairsImpl.js +0 -717
  14. package/dist/workers/editor/common/bracketPairsTree.js +0 -343
  15. package/dist/workers/editor/common/brackets.js +0 -108
  16. package/dist/workers/editor/common/characterClassifier.js +0 -59
  17. package/dist/workers/editor/common/characterPair.js +0 -40
  18. package/dist/workers/editor/common/colorizedBracketPairsDecorationProvider.js +0 -97
  19. package/dist/workers/editor/common/columnRange.js +0 -35
  20. package/dist/workers/editor/common/combineTextEditInfos.js +0 -124
  21. package/dist/workers/editor/common/common.js +0 -20
  22. package/dist/workers/editor/common/computeMovedLines.js +0 -249
  23. package/dist/workers/editor/common/concat23Trees.js +0 -192
  24. package/dist/workers/editor/common/contiguousMultilineTokens.js +0 -32
  25. package/dist/workers/editor/common/contiguousMultilineTokensBuilder.js +0 -23
  26. package/dist/workers/editor/common/contiguousTokensEditing.js +0 -128
  27. package/dist/workers/editor/common/contiguousTokensStore.js +0 -207
  28. package/dist/workers/editor/common/coordinatesConverter.js +0 -51
  29. package/dist/workers/editor/common/cursor.js +0 -899
  30. package/dist/workers/editor/common/cursorAtomicMoveOperations.js +0 -145
  31. package/dist/workers/editor/common/cursorCollection.js +0 -194
  32. package/dist/workers/editor/common/cursorColumnSelection.js +0 -93
  33. package/dist/workers/editor/common/cursorColumns.js +0 -112
  34. package/dist/workers/editor/common/cursorCommon.js +0 -250
  35. package/dist/workers/editor/common/cursorContext.js +0 -15
  36. package/dist/workers/editor/common/cursorDeleteOperations.js +0 -231
  37. package/dist/workers/editor/common/cursorMoveCommands.js +0 -676
  38. package/dist/workers/editor/common/cursorMoveOperations.js +0 -290
  39. package/dist/workers/editor/common/cursorTypeEditOperations.js +0 -968
  40. package/dist/workers/editor/common/cursorTypeOperations.js +0 -173
  41. package/dist/workers/editor/common/cursorUtils.js +0 -75
  42. package/dist/workers/editor/common/cursorWordOperations.js +0 -720
  43. package/dist/workers/editor/common/defaultDocumentColorsComputer.js +0 -138
  44. package/dist/workers/editor/common/defaultLinesDiffComputer.js +0 -188
  45. package/dist/workers/editor/common/diffAlgorithm.js +0 -139
  46. package/dist/workers/editor/common/diffEditor.js +0 -38
  47. package/dist/workers/editor/common/dynamicProgrammingDiffing.js +0 -101
  48. package/dist/workers/editor/common/edit.js +0 -183
  49. package/dist/workers/editor/common/editOperation.js +0 -36
  50. package/dist/workers/editor/common/editStack.js +0 -363
  51. package/dist/workers/editor/common/editorAction.js +0 -26
  52. package/dist/workers/editor/common/editorBaseApi.js +0 -43
  53. package/dist/workers/editor/common/editorColorRegistry.js +0 -102
  54. package/dist/workers/editor/common/editorCommon.js +0 -13
  55. package/dist/workers/editor/common/editorConfigurationSchema.js +0 -338
  56. package/dist/workers/editor/common/editorContextKeys.js +0 -84
  57. package/dist/workers/editor/common/editorFeatures.js +0 -17
  58. package/dist/workers/editor/common/editorOptions.js +0 -3440
  59. package/dist/workers/editor/common/editorTheme.js +0 -23
  60. package/dist/workers/editor/common/editorWebWorker.js +0 -299
  61. package/dist/workers/editor/common/editorWorker.js +0 -9
  62. package/dist/workers/editor/common/editorWorkerHost.js +0 -15
  63. package/dist/workers/editor/common/editorZoom.js +0 -26
  64. package/dist/workers/editor/common/electricCharacter.js +0 -55
  65. package/dist/workers/editor/common/encodedTokenAttributes.js +0 -79
  66. package/dist/workers/editor/common/enterAction.js +0 -53
  67. package/dist/workers/editor/common/eolCounter.js +0 -44
  68. package/dist/workers/editor/common/findSectionHeaders.js +0 -128
  69. package/dist/workers/editor/common/fixBrackets.js +0 -67
  70. package/dist/workers/editor/common/fixedArray.js +0 -70
  71. package/dist/workers/editor/common/fontInfo.js +0 -172
  72. package/dist/workers/editor/common/fontInfoFromSettings.js +0 -29
  73. package/dist/workers/editor/common/getIconClasses.js +0 -106
  74. package/dist/workers/editor/common/getPositionOffsetTransformerFromTextModel.js +0 -24
  75. package/dist/workers/editor/common/glyphLanesModel.js +0 -61
  76. package/dist/workers/editor/common/guidesTextModelPart.js +0 -405
  77. package/dist/workers/editor/common/heuristicSequenceOptimizations.js +0 -374
  78. package/dist/workers/editor/common/indentRules.js +0 -63
  79. package/dist/workers/editor/common/indentation.js +0 -39
  80. package/dist/workers/editor/common/indentationGuesser.js +0 -178
  81. package/dist/workers/editor/common/indentationLineProcessor.js +0 -193
  82. package/dist/workers/editor/common/inlineDecorations.js +0 -26
  83. package/dist/workers/editor/common/inplaceReplaceSupport.js +0 -87
  84. package/dist/workers/editor/common/inputMode.js +0 -22
  85. package/dist/workers/editor/common/intervalTree.js +0 -1002
  86. package/dist/workers/editor/common/language.js +0 -9
  87. package/dist/workers/editor/common/languageBracketsConfiguration.js +0 -133
  88. package/dist/workers/editor/common/languageConfiguration.js +0 -138
  89. package/dist/workers/editor/common/languageConfigurationRegistry.js +0 -361
  90. package/dist/workers/editor/common/languageFeatureDebounce.js +0 -137
  91. package/dist/workers/editor/common/languageFeatureRegistry.js +0 -180
  92. package/dist/workers/editor/common/languageFeatures.js +0 -9
  93. package/dist/workers/editor/common/languageFeaturesService.js +0 -47
  94. package/dist/workers/editor/common/languageSelector.js +0 -112
  95. package/dist/workers/editor/common/languageService.js +0 -92
  96. package/dist/workers/editor/common/languages.js +0 -522
  97. package/dist/workers/editor/common/languagesAssociations.js +0 -193
  98. package/dist/workers/editor/common/languagesRegistry.js +0 -237
  99. package/dist/workers/editor/common/legacyLinesDiffComputer.js +0 -468
  100. package/dist/workers/editor/common/length.js +0 -129
  101. package/dist/workers/editor/common/lineDecorations.js +0 -208
  102. package/dist/workers/editor/common/lineEdit.js +0 -75
  103. package/dist/workers/editor/common/lineHeights.js +0 -370
  104. package/dist/workers/editor/common/linePart.js +0 -25
  105. package/dist/workers/editor/common/lineRange.js +0 -312
  106. package/dist/workers/editor/common/lineSequence.js +0 -36
  107. package/dist/workers/editor/common/lineTokens.js +0 -405
  108. package/dist/workers/editor/common/linesDiffComputer.js +0 -29
  109. package/dist/workers/editor/common/linesDiffComputers.js +0 -13
  110. package/dist/workers/editor/common/linesLayout.js +0 -765
  111. package/dist/workers/editor/common/linesSliceCharSequence.js +0 -205
  112. package/dist/workers/editor/common/linkComputer.js +0 -269
  113. package/dist/workers/editor/common/markerDecorations.js +0 -9
  114. package/dist/workers/editor/common/markerDecorationsService.js +0 -248
  115. package/dist/workers/editor/common/minimapTokensColorTracker.js +0 -58
  116. package/dist/workers/editor/common/mirrorTextModel.js +0 -117
  117. package/dist/workers/editor/common/model.js +0 -9
  118. package/dist/workers/editor/common/modelLineProjection.js +0 -350
  119. package/dist/workers/editor/common/modelLineProjectionData.js +0 -297
  120. package/dist/workers/editor/common/modelService.js +0 -413
  121. package/dist/workers/editor/common/modesRegistry.js +0 -75
  122. package/dist/workers/editor/common/monospaceLineBreaksComputer.js +0 -473
  123. package/dist/workers/editor/common/myersDiffAlgorithm.js +0 -159
  124. package/dist/workers/editor/common/nodeReader.js +0 -127
  125. package/dist/workers/editor/common/nullTokenize.js +0 -29
  126. package/dist/workers/editor/common/offsetRange.js +0 -225
  127. package/dist/workers/editor/common/onEnter.js +0 -109
  128. package/dist/workers/editor/common/oneCursor.js +0 -117
  129. package/dist/workers/editor/common/overviewZoneManager.js +0 -176
  130. package/dist/workers/editor/common/parser.js +0 -121
  131. package/dist/workers/editor/common/pieceTreeBase.js +0 -1473
  132. package/dist/workers/editor/common/pieceTreeTextBuffer.js +0 -461
  133. package/dist/workers/editor/common/pieceTreeTextBufferBuilder.js +0 -140
  134. package/dist/workers/editor/common/point.js +0 -50
  135. package/dist/workers/editor/common/position.js +0 -142
  136. package/dist/workers/editor/common/positionToOffset.js +0 -17
  137. package/dist/workers/editor/common/positionToOffsetImpl.js +0 -98
  138. package/dist/workers/editor/common/prefixSumComputer.js +0 -226
  139. package/dist/workers/editor/common/range.js +0 -421
  140. package/dist/workers/editor/common/rangeMapping.js +0 -229
  141. package/dist/workers/editor/common/rangeSingleLine.js +0 -17
  142. package/dist/workers/editor/common/rbTreeBase.js +0 -362
  143. package/dist/workers/editor/common/rect.js +0 -163
  144. package/dist/workers/editor/common/replaceCommand.js +0 -158
  145. package/dist/workers/editor/common/resolverService.js +0 -5
  146. package/dist/workers/editor/common/rgba.js +0 -35
  147. package/dist/workers/editor/common/richEditBrackets.js +0 -356
  148. package/dist/workers/editor/common/selection.js +0 -145
  149. package/dist/workers/editor/common/semanticTokensDto.js +0 -82
  150. package/dist/workers/editor/common/semanticTokensProviderStyling.js +0 -263
  151. package/dist/workers/editor/common/semanticTokensStyling.js +0 -9
  152. package/dist/workers/editor/common/semanticTokensStylingService.js +0 -47
  153. package/dist/workers/editor/common/shiftCommand.js +0 -241
  154. package/dist/workers/editor/common/smallImmutableSet.js +0 -108
  155. package/dist/workers/editor/common/sparseMultilineTokens.js +0 -548
  156. package/dist/workers/editor/common/sparseTokensStore.js +0 -210
  157. package/dist/workers/editor/common/standaloneEnums.js +0 -1017
  158. package/dist/workers/editor/common/standaloneStrings.js +0 -42
  159. package/dist/workers/editor/common/stringBuilder.js +0 -122
  160. package/dist/workers/editor/common/stringEdit.js +0 -165
  161. package/dist/workers/editor/common/supports.js +0 -58
  162. package/dist/workers/editor/common/surroundSelectionCommand.js +0 -44
  163. package/dist/workers/editor/common/textChange.js +0 -248
  164. package/dist/workers/editor/common/textEdit.js +0 -269
  165. package/dist/workers/editor/common/textLength.js +0 -87
  166. package/dist/workers/editor/common/textModel.js +0 -2031
  167. package/dist/workers/editor/common/textModelBracketPairs.js +0 -45
  168. package/dist/workers/editor/common/textModelDefaults.js +0 -18
  169. package/dist/workers/editor/common/textModelEditSource.js +0 -166
  170. package/dist/workers/editor/common/textModelEvents.js +0 -216
  171. package/dist/workers/editor/common/textModelGuides.js +0 -40
  172. package/dist/workers/editor/common/textModelPart.js +0 -23
  173. package/dist/workers/editor/common/textModelSearch.js +0 -455
  174. package/dist/workers/editor/common/textModelStringEdit.js +0 -11
  175. package/dist/workers/editor/common/textModelSync.impl.js +0 -307
  176. package/dist/workers/editor/common/textModelText.js +0 -26
  177. package/dist/workers/editor/common/textModelTokens.js +0 -436
  178. package/dist/workers/editor/common/textResourceConfiguration.js +0 -6
  179. package/dist/workers/editor/common/textToHtmlTokenizer.js +0 -139
  180. package/dist/workers/editor/common/tokenStore.js +0 -407
  181. package/dist/workers/editor/common/tokenWithTextArray.js +0 -73
  182. package/dist/workers/editor/common/tokenization.js +0 -287
  183. package/dist/workers/editor/common/tokenizationRegistry.js +0 -123
  184. package/dist/workers/editor/common/tokenizationTextModelPart.js +0 -275
  185. package/dist/workers/editor/common/tokenizer.js +0 -301
  186. package/dist/workers/editor/common/tokenizerSyntaxTokenBackend.js +0 -261
  187. package/dist/workers/editor/common/treeSitterLibraryService.js +0 -9
  188. package/dist/workers/editor/common/treeSitterSyntaxTokenBackend.js +0 -167
  189. package/dist/workers/editor/common/treeSitterThemeService.js +0 -9
  190. package/dist/workers/editor/common/treeSitterTokenizationImpl.js +0 -713
  191. package/dist/workers/editor/common/treeSitterTree.js +0 -395
  192. package/dist/workers/editor/common/treeViewsDnd.js +0 -24
  193. package/dist/workers/editor/common/treeViewsDndService.js +0 -12
  194. package/dist/workers/editor/common/trimTrailingWhitespaceCommand.js +0 -98
  195. package/dist/workers/editor/common/unicodeTextModelHighlighter.js +0 -188
  196. package/dist/workers/editor/common/utils.js +0 -62
  197. package/dist/workers/editor/common/viewContext.js +0 -22
  198. package/dist/workers/editor/common/viewEventHandler.js +0 -186
  199. package/dist/workers/editor/common/viewEvents.js +0 -180
  200. package/dist/workers/editor/common/viewLayout.js +0 -368
  201. package/dist/workers/editor/common/viewLineRenderer.js +0 -948
  202. package/dist/workers/editor/common/viewLinesViewportData.js +0 -30
  203. package/dist/workers/editor/common/viewModel.js +0 -98
  204. package/dist/workers/editor/common/viewModelDecoration.js +0 -55
  205. package/dist/workers/editor/common/viewModelDecorations.js +0 -132
  206. package/dist/workers/editor/common/viewModelEventDispatcher.js +0 -398
  207. package/dist/workers/editor/common/viewModelImpl.js +0 -1163
  208. package/dist/workers/editor/common/viewModelLines.js +0 -938
  209. package/dist/workers/editor/common/wordCharacterClassifier.js +0 -87
  210. package/dist/workers/editor/common/wordHelper.js +0 -127
  211. package/dist/workers/language/cssMode.js +0 -198
  212. package/dist/workers/language/cssWorker.js +0 -183
  213. package/dist/workers/language/htmlMode.js +0 -213
  214. package/dist/workers/language/htmlWorker.js +0 -126
  215. package/dist/workers/language/jsonMode.js +0 -224
  216. package/dist/workers/language/jsonWorker.js +0 -187
  217. package/dist/workers/language/languageFeatures.js +0 -1009
  218. package/dist/workers/language/lib.index.js +0 -103
  219. package/dist/workers/language/lib.js +0 -1107
  220. package/dist/workers/language/lspLanguageFeatures.js +0 -716
  221. package/dist/workers/language/monaco.contribution.js +0 -144
  222. package/dist/workers/language/tokenization.js +0 -189
  223. package/dist/workers/language/tsMode.js +0 -212
  224. package/dist/workers/language/tsWorker.js +0 -352
  225. package/dist/workers/language/typescriptServices.js +0 -210154
  226. package/dist/workers/language/typescriptServicesMetadata.js +0 -3
  227. package/dist/workers/language/workerManager.js +0 -65
  228. /package/dist/workers/{language/css.worker.js → css.worker.js} +0 -0
  229. /package/dist/workers/{editor/editor.worker.js → editor.worker.js} +0 -0
  230. /package/dist/workers/{language/html.worker.js → html.worker.js} +0 -0
  231. /package/dist/workers/{language/json.worker.js → json.worker.js} +0 -0
  232. /package/dist/workers/{language/ts.worker.js → ts.worker.js} +0 -0
@@ -1,287 +0,0 @@
1
- import { Color } from '../../../../base/common/color.js';
2
-
3
- /*---------------------------------------------------------------------------------------------
4
- * Copyright (c) Microsoft Corporation. All rights reserved.
5
- * Licensed under the MIT License. See License.txt in the project root for license information.
6
- *--------------------------------------------------------------------------------------------*/
7
- class ParsedTokenThemeRule {
8
- constructor(token, index, fontStyle, foreground, background) {
9
- this._parsedThemeRuleBrand = undefined;
10
- this.token = token;
11
- this.index = index;
12
- this.fontStyle = fontStyle;
13
- this.foreground = foreground;
14
- this.background = background;
15
- }
16
- }
17
- /**
18
- * Parse a raw theme into rules.
19
- */
20
- function parseTokenTheme(source) {
21
- if (!source || !Array.isArray(source)) {
22
- return [];
23
- }
24
- const result = [];
25
- let resultLen = 0;
26
- for (let i = 0, len = source.length; i < len; i++) {
27
- const entry = source[i];
28
- let fontStyle = -1 /* FontStyle.NotSet */;
29
- if (typeof entry.fontStyle === 'string') {
30
- fontStyle = 0 /* FontStyle.None */;
31
- const segments = entry.fontStyle.split(' ');
32
- for (let j = 0, lenJ = segments.length; j < lenJ; j++) {
33
- const segment = segments[j];
34
- switch (segment) {
35
- case 'italic':
36
- fontStyle = fontStyle | 1 /* FontStyle.Italic */;
37
- break;
38
- case 'bold':
39
- fontStyle = fontStyle | 2 /* FontStyle.Bold */;
40
- break;
41
- case 'underline':
42
- fontStyle = fontStyle | 4 /* FontStyle.Underline */;
43
- break;
44
- case 'strikethrough':
45
- fontStyle = fontStyle | 8 /* FontStyle.Strikethrough */;
46
- break;
47
- }
48
- }
49
- }
50
- let foreground = null;
51
- if (typeof entry.foreground === 'string') {
52
- foreground = entry.foreground;
53
- }
54
- let background = null;
55
- if (typeof entry.background === 'string') {
56
- background = entry.background;
57
- }
58
- result[resultLen++] = new ParsedTokenThemeRule(entry.token || '', i, fontStyle, foreground, background);
59
- }
60
- return result;
61
- }
62
- /**
63
- * Resolve rules (i.e. inheritance).
64
- */
65
- function resolveParsedTokenThemeRules(parsedThemeRules, customTokenColors) {
66
- // Sort rules lexicographically, and then by index if necessary
67
- parsedThemeRules.sort((a, b) => {
68
- const r = strcmp(a.token, b.token);
69
- if (r !== 0) {
70
- return r;
71
- }
72
- return a.index - b.index;
73
- });
74
- // Determine defaults
75
- let defaultFontStyle = 0 /* FontStyle.None */;
76
- let defaultForeground = '000000';
77
- let defaultBackground = 'ffffff';
78
- while (parsedThemeRules.length >= 1 && parsedThemeRules[0].token === '') {
79
- const incomingDefaults = parsedThemeRules.shift();
80
- if (incomingDefaults.fontStyle !== -1 /* FontStyle.NotSet */) {
81
- defaultFontStyle = incomingDefaults.fontStyle;
82
- }
83
- if (incomingDefaults.foreground !== null) {
84
- defaultForeground = incomingDefaults.foreground;
85
- }
86
- if (incomingDefaults.background !== null) {
87
- defaultBackground = incomingDefaults.background;
88
- }
89
- }
90
- const colorMap = new ColorMap();
91
- // start with token colors from custom token themes
92
- for (const color of customTokenColors) {
93
- colorMap.getId(color);
94
- }
95
- const foregroundColorId = colorMap.getId(defaultForeground);
96
- const backgroundColorId = colorMap.getId(defaultBackground);
97
- const defaults = new ThemeTrieElementRule(defaultFontStyle, foregroundColorId, backgroundColorId);
98
- const root = new ThemeTrieElement(defaults);
99
- for (let i = 0, len = parsedThemeRules.length; i < len; i++) {
100
- const rule = parsedThemeRules[i];
101
- root.insert(rule.token, rule.fontStyle, colorMap.getId(rule.foreground), colorMap.getId(rule.background));
102
- }
103
- return new TokenTheme(colorMap, root);
104
- }
105
- const colorRegExp = /^#?([0-9A-Fa-f]{6})([0-9A-Fa-f]{2})?$/;
106
- class ColorMap {
107
- constructor() {
108
- this._lastColorId = 0;
109
- this._id2color = [];
110
- this._color2id = new Map();
111
- }
112
- getId(color) {
113
- if (color === null) {
114
- return 0;
115
- }
116
- const match = color.match(colorRegExp);
117
- if (!match) {
118
- throw new Error('Illegal value for token color: ' + color);
119
- }
120
- color = match[1].toUpperCase();
121
- let value = this._color2id.get(color);
122
- if (value) {
123
- return value;
124
- }
125
- value = ++this._lastColorId;
126
- this._color2id.set(color, value);
127
- this._id2color[value] = Color.fromHex('#' + color);
128
- return value;
129
- }
130
- getColorMap() {
131
- return this._id2color.slice(0);
132
- }
133
- }
134
- class TokenTheme {
135
- static createFromRawTokenTheme(source, customTokenColors) {
136
- return this.createFromParsedTokenTheme(parseTokenTheme(source), customTokenColors);
137
- }
138
- static createFromParsedTokenTheme(source, customTokenColors) {
139
- return resolveParsedTokenThemeRules(source, customTokenColors);
140
- }
141
- constructor(colorMap, root) {
142
- this._colorMap = colorMap;
143
- this._root = root;
144
- this._cache = new Map();
145
- }
146
- getColorMap() {
147
- return this._colorMap.getColorMap();
148
- }
149
- _match(token) {
150
- return this._root.match(token);
151
- }
152
- match(languageId, token) {
153
- // The cache contains the metadata without the language bits set.
154
- let result = this._cache.get(token);
155
- if (typeof result === 'undefined') {
156
- const rule = this._match(token);
157
- const standardToken = toStandardTokenType(token);
158
- result = (rule.metadata
159
- | (standardToken << 8 /* MetadataConsts.TOKEN_TYPE_OFFSET */)) >>> 0;
160
- this._cache.set(token, result);
161
- }
162
- return (result
163
- | (languageId << 0 /* MetadataConsts.LANGUAGEID_OFFSET */)) >>> 0;
164
- }
165
- }
166
- const STANDARD_TOKEN_TYPE_REGEXP = /\b(comment|string|regex|regexp)\b/;
167
- function toStandardTokenType(tokenType) {
168
- const m = tokenType.match(STANDARD_TOKEN_TYPE_REGEXP);
169
- if (!m) {
170
- return 0 /* StandardTokenType.Other */;
171
- }
172
- switch (m[1]) {
173
- case 'comment':
174
- return 1 /* StandardTokenType.Comment */;
175
- case 'string':
176
- return 2 /* StandardTokenType.String */;
177
- case 'regex':
178
- return 3 /* StandardTokenType.RegEx */;
179
- case 'regexp':
180
- return 3 /* StandardTokenType.RegEx */;
181
- }
182
- throw new Error('Unexpected match for standard token type!');
183
- }
184
- function strcmp(a, b) {
185
- if (a < b) {
186
- return -1;
187
- }
188
- if (a > b) {
189
- return 1;
190
- }
191
- return 0;
192
- }
193
- class ThemeTrieElementRule {
194
- constructor(fontStyle, foreground, background) {
195
- this._themeTrieElementRuleBrand = undefined;
196
- this._fontStyle = fontStyle;
197
- this._foreground = foreground;
198
- this._background = background;
199
- this.metadata = ((this._fontStyle << 11 /* MetadataConsts.FONT_STYLE_OFFSET */)
200
- | (this._foreground << 15 /* MetadataConsts.FOREGROUND_OFFSET */)
201
- | (this._background << 24 /* MetadataConsts.BACKGROUND_OFFSET */)) >>> 0;
202
- }
203
- clone() {
204
- return new ThemeTrieElementRule(this._fontStyle, this._foreground, this._background);
205
- }
206
- acceptOverwrite(fontStyle, foreground, background) {
207
- if (fontStyle !== -1 /* FontStyle.NotSet */) {
208
- this._fontStyle = fontStyle;
209
- }
210
- if (foreground !== 0 /* ColorId.None */) {
211
- this._foreground = foreground;
212
- }
213
- if (background !== 0 /* ColorId.None */) {
214
- this._background = background;
215
- }
216
- this.metadata = ((this._fontStyle << 11 /* MetadataConsts.FONT_STYLE_OFFSET */)
217
- | (this._foreground << 15 /* MetadataConsts.FOREGROUND_OFFSET */)
218
- | (this._background << 24 /* MetadataConsts.BACKGROUND_OFFSET */)) >>> 0;
219
- }
220
- }
221
- class ThemeTrieElement {
222
- constructor(mainRule) {
223
- this._themeTrieElementBrand = undefined;
224
- this._mainRule = mainRule;
225
- this._children = new Map();
226
- }
227
- match(token) {
228
- if (token === '') {
229
- return this._mainRule;
230
- }
231
- const dotIndex = token.indexOf('.');
232
- let head;
233
- let tail;
234
- if (dotIndex === -1) {
235
- head = token;
236
- tail = '';
237
- }
238
- else {
239
- head = token.substring(0, dotIndex);
240
- tail = token.substring(dotIndex + 1);
241
- }
242
- const child = this._children.get(head);
243
- if (typeof child !== 'undefined') {
244
- return child.match(tail);
245
- }
246
- return this._mainRule;
247
- }
248
- insert(token, fontStyle, foreground, background) {
249
- if (token === '') {
250
- // Merge into the main rule
251
- this._mainRule.acceptOverwrite(fontStyle, foreground, background);
252
- return;
253
- }
254
- const dotIndex = token.indexOf('.');
255
- let head;
256
- let tail;
257
- if (dotIndex === -1) {
258
- head = token;
259
- tail = '';
260
- }
261
- else {
262
- head = token.substring(0, dotIndex);
263
- tail = token.substring(dotIndex + 1);
264
- }
265
- let child = this._children.get(head);
266
- if (typeof child === 'undefined') {
267
- child = new ThemeTrieElement(this._mainRule.clone());
268
- this._children.set(head, child);
269
- }
270
- child.insert(tail, fontStyle, foreground, background);
271
- }
272
- }
273
- function generateTokensCSSForColorMap(colorMap) {
274
- const rules = [];
275
- for (let i = 1, len = colorMap.length; i < len; i++) {
276
- const color = colorMap[i];
277
- rules[i] = `.mtk${i} { color: ${color}; }`;
278
- }
279
- rules.push('.mtki { font-style: italic; }');
280
- rules.push('.mtkb { font-weight: bold; }');
281
- rules.push('.mtku { text-decoration: underline; text-underline-position: under; }');
282
- rules.push('.mtks { text-decoration: line-through; }');
283
- rules.push('.mtks.mtku { text-decoration: underline line-through; text-underline-position: under; }');
284
- return rules.join('\n');
285
- }
286
-
287
- export { ColorMap, ParsedTokenThemeRule, ThemeTrieElement, ThemeTrieElementRule, TokenTheme, generateTokensCSSForColorMap, parseTokenTheme, strcmp, toStandardTokenType };
@@ -1,123 +0,0 @@
1
- import { Emitter } from '../../base/common/event.js';
2
- import { toDisposable, Disposable } from '../../base/common/lifecycle.js';
3
-
4
- /*---------------------------------------------------------------------------------------------
5
- * Copyright (c) Microsoft Corporation. All rights reserved.
6
- * Licensed under the MIT License. See License.txt in the project root for license information.
7
- *--------------------------------------------------------------------------------------------*/
8
- class TokenizationRegistry {
9
- constructor() {
10
- this._tokenizationSupports = new Map();
11
- this._factories = new Map();
12
- this._onDidChange = new Emitter();
13
- this.onDidChange = this._onDidChange.event;
14
- this._colorMap = null;
15
- }
16
- handleChange(languageIds) {
17
- this._onDidChange.fire({
18
- changedLanguages: languageIds,
19
- changedColorMap: false
20
- });
21
- }
22
- register(languageId, support) {
23
- this._tokenizationSupports.set(languageId, support);
24
- this.handleChange([languageId]);
25
- return toDisposable(() => {
26
- if (this._tokenizationSupports.get(languageId) !== support) {
27
- return;
28
- }
29
- this._tokenizationSupports.delete(languageId);
30
- this.handleChange([languageId]);
31
- });
32
- }
33
- get(languageId) {
34
- return this._tokenizationSupports.get(languageId) || null;
35
- }
36
- registerFactory(languageId, factory) {
37
- this._factories.get(languageId)?.dispose();
38
- const myData = new TokenizationSupportFactoryData(this, languageId, factory);
39
- this._factories.set(languageId, myData);
40
- return toDisposable(() => {
41
- const v = this._factories.get(languageId);
42
- if (!v || v !== myData) {
43
- return;
44
- }
45
- this._factories.delete(languageId);
46
- v.dispose();
47
- });
48
- }
49
- async getOrCreate(languageId) {
50
- // check first if the support is already set
51
- const tokenizationSupport = this.get(languageId);
52
- if (tokenizationSupport) {
53
- return tokenizationSupport;
54
- }
55
- const factory = this._factories.get(languageId);
56
- if (!factory || factory.isResolved) {
57
- // no factory or factory.resolve already finished
58
- return null;
59
- }
60
- await factory.resolve();
61
- return this.get(languageId);
62
- }
63
- isResolved(languageId) {
64
- const tokenizationSupport = this.get(languageId);
65
- if (tokenizationSupport) {
66
- return true;
67
- }
68
- const factory = this._factories.get(languageId);
69
- if (!factory || factory.isResolved) {
70
- return true;
71
- }
72
- return false;
73
- }
74
- setColorMap(colorMap) {
75
- this._colorMap = colorMap;
76
- this._onDidChange.fire({
77
- changedLanguages: Array.from(this._tokenizationSupports.keys()),
78
- changedColorMap: true
79
- });
80
- }
81
- getColorMap() {
82
- return this._colorMap;
83
- }
84
- getDefaultBackground() {
85
- if (this._colorMap && this._colorMap.length > 2 /* ColorId.DefaultBackground */) {
86
- return this._colorMap[2 /* ColorId.DefaultBackground */];
87
- }
88
- return null;
89
- }
90
- }
91
- class TokenizationSupportFactoryData extends Disposable {
92
- get isResolved() {
93
- return this._isResolved;
94
- }
95
- constructor(_registry, _languageId, _factory) {
96
- super();
97
- this._registry = _registry;
98
- this._languageId = _languageId;
99
- this._factory = _factory;
100
- this._isDisposed = false;
101
- this._resolvePromise = null;
102
- this._isResolved = false;
103
- }
104
- dispose() {
105
- this._isDisposed = true;
106
- super.dispose();
107
- }
108
- async resolve() {
109
- if (!this._resolvePromise) {
110
- this._resolvePromise = this._create();
111
- }
112
- return this._resolvePromise;
113
- }
114
- async _create() {
115
- const value = await this._factory.tokenizationSupport;
116
- this._isResolved = true;
117
- if (value && !this._isDisposed) {
118
- this._register(this._registry.register(this._languageId, value));
119
- }
120
- }
121
- }
122
-
123
- export { TokenizationRegistry };
@@ -1,275 +0,0 @@
1
- import { BugIndicatingError } from '../../../../base/common/errors.js';
2
- import { Emitter } from '../../../../base/common/event.js';
3
- import { countEOL } from '../../core/misc/eolCounter.js';
4
- import { Position } from '../../core/position.js';
5
- import { getWordAtText } from '../../core/wordHelper.js';
6
- import { ILanguageService } from '../../languages/language.js';
7
- import { ILanguageConfigurationService } from '../../languages/languageConfigurationRegistry.js';
8
- import { TextModelPart } from '../textModelPart.js';
9
- import { TreeSitterSyntaxTokenBackend } from './treeSitter/treeSitterSyntaxTokenBackend.js';
10
- import { SparseTokensStore } from '../../tokens/sparseTokensStore.js';
11
- import { IInstantiationService } from '../../../../platform/instantiation/common/instantiation.js';
12
- import { TokenizerSyntaxTokenBackend } from './tokenizerSyntaxTokenBackend.js';
13
- import { ITreeSitterLibraryService } from '../../services/treeSitter/treeSitterLibraryService.js';
14
- import '../../../../base/common/observableInternal/index.js';
15
- import { observableValue } from '../../../../base/common/observableInternal/observables/observableValue.js';
16
- import { derived } from '../../../../base/common/observableInternal/observables/derived.js';
17
-
18
- /*---------------------------------------------------------------------------------------------
19
- * Copyright (c) Microsoft Corporation. All rights reserved.
20
- * Licensed under the MIT License. See License.txt in the project root for license information.
21
- *--------------------------------------------------------------------------------------------*/
22
- var __decorate = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
23
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
24
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
25
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
26
- return c > 3 && r && Object.defineProperty(target, key, r), r;
27
- };
28
- var __param = (undefined && undefined.__param) || function (paramIndex, decorator) {
29
- return function (target, key) { decorator(target, key, paramIndex); }
30
- };
31
- var TokenizationTextModelPart_1;
32
- let TokenizationTextModelPart = TokenizationTextModelPart_1 = class TokenizationTextModelPart extends TextModelPart {
33
- constructor(_textModel, _bracketPairsTextModelPart, _languageId, _attachedViews, _languageService, _languageConfigurationService, _instantiationService, _treeSitterLibraryService) {
34
- super();
35
- this._textModel = _textModel;
36
- this._bracketPairsTextModelPart = _bracketPairsTextModelPart;
37
- this._languageId = _languageId;
38
- this._attachedViews = _attachedViews;
39
- this._languageService = _languageService;
40
- this._languageConfigurationService = _languageConfigurationService;
41
- this._instantiationService = _instantiationService;
42
- this._treeSitterLibraryService = _treeSitterLibraryService;
43
- this._languageIdObs = observableValue(this, this._languageId);
44
- this._useTreeSitter = derived(this, reader => {
45
- const languageId = this._languageIdObs.read(reader);
46
- return this._treeSitterLibraryService.supportsLanguage(languageId, reader);
47
- });
48
- this.tokens = derived(this, reader => {
49
- let tokens;
50
- if (this._useTreeSitter.read(reader)) {
51
- tokens = reader.store.add(this._instantiationService.createInstance(TreeSitterSyntaxTokenBackend, this._languageIdObs, this._languageService.languageIdCodec, this._textModel, this._attachedViews.visibleLineRanges));
52
- }
53
- else {
54
- tokens = reader.store.add(new TokenizerSyntaxTokenBackend(this._languageService.languageIdCodec, this._textModel, () => this._languageId, this._attachedViews));
55
- }
56
- reader.store.add(tokens.onDidChangeTokens(e => {
57
- this._emitModelTokensChangedEvent(e);
58
- }));
59
- reader.store.add(tokens.onDidChangeBackgroundTokenizationState(e => {
60
- this._bracketPairsTextModelPart.handleDidChangeBackgroundTokenizationState();
61
- }));
62
- return tokens;
63
- });
64
- let hadTokens = false;
65
- this.tokens.recomputeInitiallyAndOnChange(this._store, value => {
66
- if (hadTokens) {
67
- // We need to reset the tokenization, as the new token provider otherwise won't have a chance to provide tokens until some action happens in the editor.
68
- // TODO@hediet: Look into why this is needed.
69
- value.todo_resetTokenization();
70
- }
71
- hadTokens = true;
72
- });
73
- this._semanticTokens = new SparseTokensStore(this._languageService.languageIdCodec);
74
- this._onDidChangeLanguage = this._register(new Emitter());
75
- this.onDidChangeLanguage = this._onDidChangeLanguage.event;
76
- this._onDidChangeLanguageConfiguration = this._register(new Emitter());
77
- this.onDidChangeLanguageConfiguration = this._onDidChangeLanguageConfiguration.event;
78
- this._onDidChangeTokens = this._register(new Emitter());
79
- this.onDidChangeTokens = this._onDidChangeTokens.event;
80
- }
81
- handleLanguageConfigurationServiceChange(e) {
82
- if (e.affects(this._languageId)) {
83
- this._onDidChangeLanguageConfiguration.fire({});
84
- }
85
- }
86
- handleDidChangeContent(e) {
87
- if (e.isFlush) {
88
- this._semanticTokens.flush();
89
- }
90
- else if (!e.isEolChange) { // We don't have to do anything on an EOL change
91
- for (const c of e.changes) {
92
- const [eolCount, firstLineLength, lastLineLength] = countEOL(c.text);
93
- this._semanticTokens.acceptEdit(c.range, eolCount, firstLineLength, lastLineLength, c.text.length > 0 ? c.text.charCodeAt(0) : 0 /* CharCode.Null */);
94
- }
95
- }
96
- this.tokens.get().handleDidChangeContent(e);
97
- }
98
- handleDidChangeAttached() {
99
- this.tokens.get().handleDidChangeAttached();
100
- }
101
- /**
102
- * Includes grammar and semantic tokens.
103
- */
104
- getLineTokens(lineNumber) {
105
- this.validateLineNumber(lineNumber);
106
- const syntacticTokens = this.tokens.get().getLineTokens(lineNumber);
107
- return this._semanticTokens.addSparseTokens(lineNumber, syntacticTokens);
108
- }
109
- _emitModelTokensChangedEvent(e) {
110
- if (!this._textModel._isDisposing()) {
111
- this._bracketPairsTextModelPart.handleDidChangeTokens(e);
112
- this._onDidChangeTokens.fire(e);
113
- }
114
- }
115
- // #region Grammar Tokens
116
- validateLineNumber(lineNumber) {
117
- if (lineNumber < 1 || lineNumber > this._textModel.getLineCount()) {
118
- throw new BugIndicatingError('Illegal value for lineNumber');
119
- }
120
- }
121
- get hasTokens() {
122
- return this.tokens.get().hasTokens;
123
- }
124
- resetTokenization() {
125
- this.tokens.get().todo_resetTokenization();
126
- }
127
- get backgroundTokenizationState() {
128
- return this.tokens.get().backgroundTokenizationState;
129
- }
130
- forceTokenization(lineNumber) {
131
- this.validateLineNumber(lineNumber);
132
- this.tokens.get().forceTokenization(lineNumber);
133
- }
134
- hasAccurateTokensForLine(lineNumber) {
135
- this.validateLineNumber(lineNumber);
136
- return this.tokens.get().hasAccurateTokensForLine(lineNumber);
137
- }
138
- isCheapToTokenize(lineNumber) {
139
- this.validateLineNumber(lineNumber);
140
- return this.tokens.get().isCheapToTokenize(lineNumber);
141
- }
142
- tokenizeIfCheap(lineNumber) {
143
- this.validateLineNumber(lineNumber);
144
- this.tokens.get().tokenizeIfCheap(lineNumber);
145
- }
146
- getTokenTypeIfInsertingCharacter(lineNumber, column, character) {
147
- return this.tokens.get().getTokenTypeIfInsertingCharacter(lineNumber, column, character);
148
- }
149
- tokenizeLinesAt(lineNumber, lines) {
150
- return this.tokens.get().tokenizeLinesAt(lineNumber, lines);
151
- }
152
- // #endregion
153
- // #region Semantic Tokens
154
- setSemanticTokens(tokens, isComplete) {
155
- this._semanticTokens.set(tokens, isComplete, this._textModel);
156
- this._emitModelTokensChangedEvent({
157
- semanticTokensApplied: tokens !== null,
158
- ranges: [{ fromLineNumber: 1, toLineNumber: this._textModel.getLineCount() }],
159
- });
160
- }
161
- hasCompleteSemanticTokens() {
162
- return this._semanticTokens.isComplete();
163
- }
164
- hasSomeSemanticTokens() {
165
- return !this._semanticTokens.isEmpty();
166
- }
167
- setPartialSemanticTokens(range, tokens) {
168
- if (this.hasCompleteSemanticTokens()) {
169
- return;
170
- }
171
- const changedRange = this._textModel.validateRange(this._semanticTokens.setPartial(range, tokens));
172
- this._emitModelTokensChangedEvent({
173
- semanticTokensApplied: true,
174
- ranges: [
175
- {
176
- fromLineNumber: changedRange.startLineNumber,
177
- toLineNumber: changedRange.endLineNumber,
178
- },
179
- ],
180
- });
181
- }
182
- // #endregion
183
- // #region Utility Methods
184
- getWordAtPosition(_position) {
185
- this.assertNotDisposed();
186
- const position = this._textModel.validatePosition(_position);
187
- const lineContent = this._textModel.getLineContent(position.lineNumber);
188
- const lineTokens = this.getLineTokens(position.lineNumber);
189
- const tokenIndex = lineTokens.findTokenIndexAtOffset(position.column - 1);
190
- // (1). First try checking right biased word
191
- const [rbStartOffset, rbEndOffset] = TokenizationTextModelPart_1._findLanguageBoundaries(lineTokens, tokenIndex);
192
- const rightBiasedWord = getWordAtText(position.column, this.getLanguageConfiguration(lineTokens.getLanguageId(tokenIndex)).getWordDefinition(), lineContent.substring(rbStartOffset, rbEndOffset), rbStartOffset);
193
- // Make sure the result touches the original passed in position
194
- if (rightBiasedWord &&
195
- rightBiasedWord.startColumn <= _position.column &&
196
- _position.column <= rightBiasedWord.endColumn) {
197
- return rightBiasedWord;
198
- }
199
- // (2). Else, if we were at a language boundary, check the left biased word
200
- if (tokenIndex > 0 && rbStartOffset === position.column - 1) {
201
- // edge case, where `position` sits between two tokens belonging to two different languages
202
- const [lbStartOffset, lbEndOffset] = TokenizationTextModelPart_1._findLanguageBoundaries(lineTokens, tokenIndex - 1);
203
- const leftBiasedWord = getWordAtText(position.column, this.getLanguageConfiguration(lineTokens.getLanguageId(tokenIndex - 1)).getWordDefinition(), lineContent.substring(lbStartOffset, lbEndOffset), lbStartOffset);
204
- // Make sure the result touches the original passed in position
205
- if (leftBiasedWord &&
206
- leftBiasedWord.startColumn <= _position.column &&
207
- _position.column <= leftBiasedWord.endColumn) {
208
- return leftBiasedWord;
209
- }
210
- }
211
- return null;
212
- }
213
- getLanguageConfiguration(languageId) {
214
- return this._languageConfigurationService.getLanguageConfiguration(languageId);
215
- }
216
- static _findLanguageBoundaries(lineTokens, tokenIndex) {
217
- const languageId = lineTokens.getLanguageId(tokenIndex);
218
- // go left until a different language is hit
219
- let startOffset = 0;
220
- for (let i = tokenIndex; i >= 0 && lineTokens.getLanguageId(i) === languageId; i--) {
221
- startOffset = lineTokens.getStartOffset(i);
222
- }
223
- // go right until a different language is hit
224
- let endOffset = lineTokens.getLineContent().length;
225
- for (let i = tokenIndex, tokenCount = lineTokens.getCount(); i < tokenCount && lineTokens.getLanguageId(i) === languageId; i++) {
226
- endOffset = lineTokens.getEndOffset(i);
227
- }
228
- return [startOffset, endOffset];
229
- }
230
- getWordUntilPosition(position) {
231
- const wordAtPosition = this.getWordAtPosition(position);
232
- if (!wordAtPosition) {
233
- return { word: '', startColumn: position.column, endColumn: position.column, };
234
- }
235
- return {
236
- word: wordAtPosition.word.substr(0, position.column - wordAtPosition.startColumn),
237
- startColumn: wordAtPosition.startColumn,
238
- endColumn: position.column,
239
- };
240
- }
241
- // #endregion
242
- // #region Language Id handling
243
- getLanguageId() {
244
- return this._languageId;
245
- }
246
- getLanguageIdAtPosition(lineNumber, column) {
247
- const position = this._textModel.validatePosition(new Position(lineNumber, column));
248
- const lineTokens = this.getLineTokens(position.lineNumber);
249
- return lineTokens.getLanguageId(lineTokens.findTokenIndexAtOffset(position.column - 1));
250
- }
251
- setLanguageId(languageId, source = 'api') {
252
- if (this._languageId === languageId) {
253
- // There's nothing to do
254
- return;
255
- }
256
- const e = {
257
- oldLanguage: this._languageId,
258
- newLanguage: languageId,
259
- source
260
- };
261
- this._languageId = languageId;
262
- this._languageIdObs.set(languageId, undefined);
263
- this._bracketPairsTextModelPart.handleDidChangeLanguage(e);
264
- this._onDidChangeLanguage.fire(e);
265
- this._onDidChangeLanguageConfiguration.fire({});
266
- }
267
- };
268
- TokenizationTextModelPart = TokenizationTextModelPart_1 = __decorate([
269
- __param(4, ILanguageService),
270
- __param(5, ILanguageConfigurationService),
271
- __param(6, IInstantiationService),
272
- __param(7, ITreeSitterLibraryService)
273
- ], TokenizationTextModelPart);
274
-
275
- export { TokenizationTextModelPart };