xbintsc 0.1.3 → 0.1.8

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 (142) hide show
  1. package/README.md +14 -13
  2. package/dist/src/ast/common.d.ts +33 -0
  3. package/dist/src/ast/common.js +7 -0
  4. package/dist/src/ast/common.js.map +1 -0
  5. package/dist/src/ast/declarations.d.ts +110 -0
  6. package/dist/src/ast/declarations.js +5 -0
  7. package/dist/src/ast/declarations.js.map +1 -0
  8. package/dist/src/ast/expressions.d.ts +219 -0
  9. package/dist/src/ast/expressions.js +6 -0
  10. package/dist/src/ast/expressions.js.map +1 -0
  11. package/dist/src/ast/kinds.d.ts +160 -0
  12. package/dist/src/ast/kinds.js +171 -0
  13. package/dist/src/ast/kinds.js.map +1 -0
  14. package/dist/src/ast/modules.d.ts +61 -0
  15. package/dist/src/ast/modules.js +5 -0
  16. package/dist/src/ast/modules.js.map +1 -0
  17. package/dist/src/ast/nodes.d.ts +11 -839
  18. package/dist/src/ast/nodes.js +11 -237
  19. package/dist/src/ast/nodes.js.map +1 -1
  20. package/dist/src/ast/operators.d.ts +71 -0
  21. package/dist/src/ast/operators.js +77 -0
  22. package/dist/src/ast/operators.js.map +1 -0
  23. package/dist/src/ast/statements.d.ts +120 -0
  24. package/dist/src/ast/statements.js +5 -0
  25. package/dist/src/ast/statements.js.map +1 -0
  26. package/dist/src/ast/types.d.ts +123 -0
  27. package/dist/src/ast/types.js +6 -0
  28. package/dist/src/ast/types.js.map +1 -0
  29. package/dist/src/codegen/generator/calls.d.ts +22 -0
  30. package/dist/src/codegen/generator/calls.js +301 -0
  31. package/dist/src/codegen/generator/calls.js.map +1 -0
  32. package/dist/src/codegen/generator/context.d.ts +45 -0
  33. package/dist/src/codegen/generator/context.js +128 -0
  34. package/dist/src/codegen/generator/context.js.map +1 -0
  35. package/dist/src/codegen/generator/expressions.d.ts +22 -0
  36. package/dist/src/codegen/generator/expressions.js +383 -0
  37. package/dist/src/codegen/generator/expressions.js.map +1 -0
  38. package/dist/src/codegen/generator/generator.d.ts +22 -0
  39. package/dist/src/codegen/generator/generator.js +21 -0
  40. package/dist/src/codegen/generator/generator.js.map +1 -0
  41. package/dist/src/codegen/generator/module.d.ts +15 -0
  42. package/dist/src/codegen/generator/module.js +114 -0
  43. package/dist/src/codegen/generator/module.js.map +1 -0
  44. package/dist/src/codegen/generator/state.d.ts +40 -0
  45. package/dist/src/codegen/generator/state.js +84 -0
  46. package/dist/src/codegen/generator/state.js.map +1 -0
  47. package/dist/src/codegen/generator/statements.d.ts +22 -0
  48. package/dist/src/codegen/generator/statements.js +425 -0
  49. package/dist/src/codegen/generator/statements.js.map +1 -0
  50. package/dist/src/codegen/generator/tables.d.ts +19 -0
  51. package/dist/src/codegen/generator/tables.js +153 -0
  52. package/dist/src/codegen/generator/tables.js.map +1 -0
  53. package/dist/src/codegen/llvm.d.ts +4 -13
  54. package/dist/src/codegen/llvm.js +4 -1159
  55. package/dist/src/codegen/llvm.js.map +1 -1
  56. package/dist/src/driver/compiler.js +13 -4
  57. package/dist/src/driver/compiler.js.map +1 -1
  58. package/dist/src/lexer/char.d.ts +78 -0
  59. package/dist/src/lexer/char.js +106 -0
  60. package/dist/src/lexer/char.js.map +1 -0
  61. package/dist/src/lexer/scanner.js +1 -98
  62. package/dist/src/lexer/scanner.js.map +1 -1
  63. package/dist/src/parser/context.d.ts +58 -0
  64. package/dist/src/parser/context.js +174 -0
  65. package/dist/src/parser/context.js.map +1 -0
  66. package/dist/src/parser/declarations.d.ts +26 -0
  67. package/dist/src/parser/declarations.js +461 -0
  68. package/dist/src/parser/declarations.js.map +1 -0
  69. package/dist/src/parser/expressions.d.ts +27 -0
  70. package/dist/src/parser/expressions.js +437 -0
  71. package/dist/src/parser/expressions.js.map +1 -0
  72. package/dist/src/parser/helpers.d.ts +7 -0
  73. package/dist/src/parser/helpers.js +36 -0
  74. package/dist/src/parser/helpers.js.map +1 -0
  75. package/dist/src/parser/literals.d.ts +16 -0
  76. package/dist/src/parser/literals.js +193 -0
  77. package/dist/src/parser/literals.js.map +1 -0
  78. package/dist/src/parser/modules.d.ts +12 -0
  79. package/dist/src/parser/modules.js +175 -0
  80. package/dist/src/parser/modules.js.map +1 -0
  81. package/dist/src/parser/operators.d.ts +12 -0
  82. package/dist/src/parser/operators.js +172 -0
  83. package/dist/src/parser/operators.js.map +1 -0
  84. package/dist/src/parser/parser.d.ts +17 -122
  85. package/dist/src/parser/parser.js +18 -2307
  86. package/dist/src/parser/parser.js.map +1 -1
  87. package/dist/src/parser/speculation.d.ts +6 -0
  88. package/dist/src/parser/speculation.js +10 -0
  89. package/dist/src/parser/speculation.js.map +1 -0
  90. package/dist/src/parser/statements.d.ts +28 -0
  91. package/dist/src/parser/statements.js +402 -0
  92. package/dist/src/parser/statements.js.map +1 -0
  93. package/dist/src/parser/types.d.ts +21 -0
  94. package/dist/src/parser/types.js +338 -0
  95. package/dist/src/parser/types.js.map +1 -0
  96. package/dist/tests/e2e/compile.test.js +122 -2
  97. package/dist/tests/e2e/compile.test.js.map +1 -1
  98. package/dist/tests/parser/parser.test.js +9 -1
  99. package/dist/tests/parser/parser.test.js.map +1 -1
  100. package/package.json +1 -1
  101. package/runtime/rt.h +32 -0
  102. package/runtime/rt_internal.h +106 -0
  103. package/runtime/xt_alloc.c +38 -0
  104. package/runtime/xt_builtins.c +192 -0
  105. package/runtime/xt_containers.c +225 -0
  106. package/runtime/xt_io.c +133 -0
  107. package/runtime/xt_stdlib.c +502 -0
  108. package/runtime/xt_values.c +291 -0
  109. package/scripts/build-runtime.mjs +8 -1
  110. package/src/ast/common.ts +210 -0
  111. package/src/ast/declarations.ts +130 -0
  112. package/src/ast/expressions.ts +275 -0
  113. package/src/ast/kinds.ts +176 -0
  114. package/src/ast/modules.ts +73 -0
  115. package/src/ast/nodes.ts +11 -1101
  116. package/src/ast/operators.ts +76 -0
  117. package/src/ast/statements.ts +148 -0
  118. package/src/ast/types.ts +173 -0
  119. package/src/codegen/generator/calls.ts +355 -0
  120. package/src/codegen/generator/context.ts +156 -0
  121. package/src/codegen/generator/expressions.ts +431 -0
  122. package/src/codegen/generator/generator.ts +35 -0
  123. package/src/codegen/generator/module.ts +139 -0
  124. package/src/codegen/generator/state.ts +126 -0
  125. package/src/codegen/generator/statements.ts +474 -0
  126. package/src/codegen/generator/tables.ts +171 -0
  127. package/src/codegen/llvm.ts +4 -1305
  128. package/src/driver/compiler.ts +17 -5
  129. package/src/lexer/char.ts +116 -0
  130. package/src/lexer/scanner.ts +9 -109
  131. package/src/parser/context.ts +196 -0
  132. package/src/parser/declarations.ts +502 -0
  133. package/src/parser/expressions.ts +465 -0
  134. package/src/parser/helpers.ts +42 -0
  135. package/src/parser/literals.ts +207 -0
  136. package/src/parser/modules.ts +194 -0
  137. package/src/parser/operators.ts +181 -0
  138. package/src/parser/parser.ts +35 -2369
  139. package/src/parser/speculation.ts +9 -0
  140. package/src/parser/statements.ts +457 -0
  141. package/src/parser/types.ts +365 -0
  142. package/runtime/xt_runtime.c +0 -682
@@ -0,0 +1,402 @@
1
+ /**
2
+ * Statement parsing: blocks, control flow, loops, try/catch and the modifier
3
+ * handling shared by declarations.
4
+ */
5
+ import { DiagnosticCode } from "../diagnostics/diagnostic.js";
6
+ import { isOfKeyword, TokenKind } from "../lexer/token.js";
7
+ import { ModifierKind, SyntaxKind, } from "../ast/nodes.js";
8
+ export const statementMethods = {
9
+ // -- modifiers ------------------------------------------------------------
10
+ tryParseModifiers() {
11
+ const modifiers = [];
12
+ for (;;) {
13
+ const kind = this.token.kind;
14
+ let modifierKind;
15
+ switch (kind) {
16
+ case TokenKind.ExportKeyword:
17
+ modifierKind = ModifierKind.Export;
18
+ break;
19
+ case TokenKind.DefaultKeyword:
20
+ if (this.atAhead(1, TokenKind.FunctionKeyword) || this.atAhead(1, TokenKind.ClassKeyword)) {
21
+ modifierKind = ModifierKind.Default;
22
+ }
23
+ break;
24
+ case TokenKind.DeclareKeyword:
25
+ modifierKind = ModifierKind.Declare;
26
+ break;
27
+ case TokenKind.AbstractKeyword:
28
+ modifierKind = ModifierKind.Abstract;
29
+ break;
30
+ case TokenKind.PublicKeyword:
31
+ modifierKind = ModifierKind.Public;
32
+ break;
33
+ case TokenKind.PrivateKeyword:
34
+ modifierKind = ModifierKind.Private;
35
+ break;
36
+ case TokenKind.ProtectedKeyword:
37
+ modifierKind = ModifierKind.Protected;
38
+ break;
39
+ case TokenKind.StaticKeyword:
40
+ modifierKind = ModifierKind.Static;
41
+ break;
42
+ case TokenKind.ReadonlyKeyword:
43
+ modifierKind = ModifierKind.Readonly;
44
+ break;
45
+ case TokenKind.AsyncKeyword:
46
+ if (!this.lookAhead(1).precededByLineBreak)
47
+ modifierKind = ModifierKind.Async;
48
+ break;
49
+ default:
50
+ break;
51
+ }
52
+ if (!modifierKind)
53
+ break;
54
+ const token = this.nextToken();
55
+ modifiers.push({ kind: SyntaxKind.Unknown, modifierKind, start: token.start, end: token.end });
56
+ }
57
+ return modifiers;
58
+ },
59
+ hasModifier(modifiers, kind) {
60
+ return modifiers.some((m) => m.modifierKind === kind);
61
+ },
62
+ // -- statements -----------------------------------------------------------
63
+ parseStatement() {
64
+ const token = this.token;
65
+ switch (token.kind) {
66
+ case TokenKind.OpenBrace:
67
+ return this.parseBlock();
68
+ case TokenKind.Semicolon: {
69
+ const t = this.nextToken();
70
+ return { kind: SyntaxKind.EmptyStatement, start: t.start, end: t.end };
71
+ }
72
+ case TokenKind.VarKeyword:
73
+ case TokenKind.LetKeyword:
74
+ case TokenKind.ConstKeyword:
75
+ return this.parseVariableStatement([]);
76
+ case TokenKind.FunctionKeyword:
77
+ return this.parseFunctionDeclaration([]);
78
+ case TokenKind.AsyncKeyword:
79
+ if (this.atAhead(1, TokenKind.FunctionKeyword) && !this.lookAhead(1).precededByLineBreak) {
80
+ const asyncMod = this.tryParseModifiers();
81
+ return this.parseFunctionDeclaration(asyncMod);
82
+ }
83
+ break;
84
+ case TokenKind.ClassKeyword:
85
+ return this.parseClassDeclaration([]);
86
+ case TokenKind.IfKeyword:
87
+ return this.parseIfStatement();
88
+ case TokenKind.WhileKeyword:
89
+ return this.parseWhileStatement();
90
+ case TokenKind.DoKeyword:
91
+ return this.parseDoStatement();
92
+ case TokenKind.ForKeyword:
93
+ return this.parseForStatement();
94
+ case TokenKind.ReturnKeyword:
95
+ return this.parseReturnStatement();
96
+ case TokenKind.BreakKeyword:
97
+ return this.parseBreakStatement();
98
+ case TokenKind.ContinueKeyword:
99
+ return this.parseContinueStatement();
100
+ case TokenKind.ThrowKeyword:
101
+ return this.parseThrowStatement();
102
+ case TokenKind.TryKeyword:
103
+ return this.parseTryStatement();
104
+ case TokenKind.SwitchKeyword:
105
+ return this.parseSwitchStatement();
106
+ case TokenKind.DebuggerKeyword: {
107
+ const t = this.nextToken();
108
+ this.parseSemicolon();
109
+ return { kind: SyntaxKind.DebuggerStatement, start: t.start, end: t.end };
110
+ }
111
+ case TokenKind.ImportKeyword:
112
+ if (this.atAhead(1, TokenKind.OpenParen) || this.atAhead(1, TokenKind.Dot))
113
+ break;
114
+ return this.parseImportDeclaration();
115
+ case TokenKind.ExportKeyword:
116
+ return this.parseExportDeclaration();
117
+ case TokenKind.InterfaceKeyword:
118
+ return this.parseInterfaceDeclaration([]);
119
+ case TokenKind.TypeKeyword:
120
+ if (this.isIdentifierLike(this.lookAhead(1)))
121
+ return this.parseTypeAliasDeclaration([]);
122
+ break;
123
+ case TokenKind.EnumKeyword:
124
+ return this.parseEnumDeclaration([]);
125
+ case TokenKind.NamespaceKeyword:
126
+ case TokenKind.ModuleKeyword:
127
+ return this.parseModuleDeclaration([]);
128
+ case TokenKind.DeclareKeyword: {
129
+ const modifiers = this.tryParseModifiers();
130
+ return this.parseStatementWithModifiers(modifiers);
131
+ }
132
+ default:
133
+ break;
134
+ }
135
+ return this.parseExpressionStatement();
136
+ },
137
+ parseStatementWithModifiers(modifiers) {
138
+ switch (this.token.kind) {
139
+ case TokenKind.VarKeyword:
140
+ case TokenKind.LetKeyword:
141
+ case TokenKind.ConstKeyword:
142
+ return this.parseVariableStatement(modifiers);
143
+ case TokenKind.FunctionKeyword:
144
+ return this.parseFunctionDeclaration(modifiers);
145
+ case TokenKind.ClassKeyword:
146
+ return this.parseClassDeclaration(modifiers);
147
+ case TokenKind.InterfaceKeyword:
148
+ return this.parseInterfaceDeclaration(modifiers);
149
+ case TokenKind.TypeKeyword:
150
+ return this.parseTypeAliasDeclaration(modifiers);
151
+ case TokenKind.EnumKeyword:
152
+ return this.parseEnumDeclaration(modifiers);
153
+ case TokenKind.NamespaceKeyword:
154
+ case TokenKind.ModuleKeyword:
155
+ return this.parseModuleDeclaration(modifiers);
156
+ default:
157
+ return this.parseExpressionStatement();
158
+ }
159
+ },
160
+ parseBlock() {
161
+ const open = this.parseExpected(TokenKind.OpenBrace);
162
+ const statements = [];
163
+ while (!this.at(TokenKind.CloseBrace) && !this.at(TokenKind.EndOfFile)) {
164
+ const before = this.consumed;
165
+ const s = this.parseStatement();
166
+ if (s)
167
+ statements.push(s);
168
+ if (this.consumed === before) {
169
+ this.error(DiagnosticCode.UnexpectedToken, `Unexpected token '${this.token.text}'`, this.token);
170
+ this.nextToken();
171
+ }
172
+ }
173
+ const close = this.parseExpected(TokenKind.CloseBrace);
174
+ return { kind: SyntaxKind.Block, statements, start: open.start, end: close.end };
175
+ },
176
+ parseVariableStatement(modifiers) {
177
+ const declList = this.parseVariableDeclarationList();
178
+ this.parseSemicolon();
179
+ return { kind: SyntaxKind.VariableStatement, declarationList: declList, modifiers, start: declList.start, end: declList.end };
180
+ },
181
+ parseVariableDeclarationList() {
182
+ const keyword = this.nextToken();
183
+ const declarationKind = keyword.kind === TokenKind.ConstKeyword ? "const" : keyword.kind === TokenKind.LetKeyword ? "let" : "var";
184
+ const declarations = [];
185
+ do {
186
+ declarations.push(this.parseVariableDeclaration());
187
+ } while (this.at(TokenKind.Comma) && this.nextToken());
188
+ return {
189
+ kind: SyntaxKind.VariableDeclarationList,
190
+ declarations,
191
+ declarationKind,
192
+ start: keyword.start,
193
+ end: declarations[declarations.length - 1]?.end ?? keyword.end,
194
+ };
195
+ },
196
+ parseVariableDeclaration() {
197
+ const name = this.parseIdentifier();
198
+ let exclamation = false;
199
+ if (this.at(TokenKind.Exclamation)) {
200
+ this.nextToken();
201
+ exclamation = true;
202
+ }
203
+ let type;
204
+ if (this.at(TokenKind.Colon)) {
205
+ this.nextToken();
206
+ type = this.parseType();
207
+ }
208
+ let initializer;
209
+ if (this.at(TokenKind.Equals)) {
210
+ this.nextToken();
211
+ initializer = this.parseAssignmentExpression();
212
+ }
213
+ return {
214
+ kind: SyntaxKind.VariableDeclaration,
215
+ name,
216
+ exclamation,
217
+ type,
218
+ initializer,
219
+ start: name.start,
220
+ end: initializer?.end ?? type?.end ?? name.end,
221
+ };
222
+ },
223
+ parseIfStatement() {
224
+ const start = this.parseExpected(TokenKind.IfKeyword).start;
225
+ this.parseExpected(TokenKind.OpenParen);
226
+ const condition = this.parseExpression();
227
+ this.parseExpected(TokenKind.CloseParen);
228
+ const thenStatement = this.parseStatement();
229
+ let elseStatement;
230
+ if (this.at(TokenKind.ElseKeyword)) {
231
+ this.nextToken();
232
+ elseStatement = this.parseStatement();
233
+ }
234
+ return { kind: SyntaxKind.IfStatement, condition, thenStatement, elseStatement, start, end: elseStatement?.end ?? thenStatement.end };
235
+ },
236
+ parseWhileStatement() {
237
+ const start = this.parseExpected(TokenKind.WhileKeyword).start;
238
+ this.parseExpected(TokenKind.OpenParen);
239
+ const condition = this.parseExpression();
240
+ this.parseExpected(TokenKind.CloseParen);
241
+ const statement = this.parseStatement();
242
+ return { kind: SyntaxKind.WhileStatement, condition, statement, start, end: statement.end };
243
+ },
244
+ parseDoStatement() {
245
+ const start = this.parseExpected(TokenKind.DoKeyword).start;
246
+ const statement = this.parseStatement();
247
+ this.parseExpected(TokenKind.WhileKeyword);
248
+ this.parseExpected(TokenKind.OpenParen);
249
+ const condition = this.parseExpression();
250
+ const close = this.parseExpected(TokenKind.CloseParen);
251
+ this.parseSemicolon();
252
+ return { kind: SyntaxKind.DoStatement, condition, statement, start, end: close.end };
253
+ },
254
+ parseForStatement() {
255
+ const start = this.parseExpected(TokenKind.ForKeyword).start;
256
+ let awaitModifier = false;
257
+ if (this.at(TokenKind.AwaitKeyword)) {
258
+ this.nextToken();
259
+ awaitModifier = true;
260
+ }
261
+ this.parseExpected(TokenKind.OpenParen);
262
+ let initializer;
263
+ if (!this.at(TokenKind.Semicolon)) {
264
+ if (this.at(TokenKind.VarKeyword) || this.at(TokenKind.LetKeyword) || this.at(TokenKind.ConstKeyword)) {
265
+ initializer = this.parseVariableDeclarationList();
266
+ }
267
+ else {
268
+ initializer = this.parseExpression(/* noIn */ true);
269
+ }
270
+ }
271
+ if (isOfKeyword(this.token)) {
272
+ this.nextToken();
273
+ const expression = this.parseAssignmentExpression();
274
+ this.parseExpected(TokenKind.CloseParen);
275
+ const statement = this.parseStatement();
276
+ return { kind: SyntaxKind.ForOfStatement, initializer: initializer, expression, statement, awaitModifier, start, end: statement.end };
277
+ }
278
+ if (this.at(TokenKind.InKeyword)) {
279
+ this.nextToken();
280
+ const expression = this.parseExpression();
281
+ this.parseExpected(TokenKind.CloseParen);
282
+ const statement = this.parseStatement();
283
+ return { kind: SyntaxKind.ForInStatement, initializer: initializer, expression, statement, start, end: statement.end };
284
+ }
285
+ this.parseExpected(TokenKind.Semicolon);
286
+ let condition;
287
+ if (!this.at(TokenKind.Semicolon))
288
+ condition = this.parseExpression();
289
+ this.parseExpected(TokenKind.Semicolon);
290
+ let incrementor;
291
+ if (!this.at(TokenKind.CloseParen))
292
+ incrementor = this.parseExpression();
293
+ this.parseExpected(TokenKind.CloseParen);
294
+ const statement = this.parseStatement();
295
+ return { kind: SyntaxKind.ForStatement, initializer, condition, incrementor, statement, start, end: statement.end };
296
+ },
297
+ parseReturnStatement() {
298
+ const start = this.parseExpected(TokenKind.ReturnKeyword).start;
299
+ let expression;
300
+ if (!this.at(TokenKind.Semicolon) && !this.canInsertSemicolon())
301
+ expression = this.parseExpression();
302
+ this.parseSemicolon();
303
+ return { kind: SyntaxKind.ReturnStatement, expression, start, end: expression?.end ?? start + 6 };
304
+ },
305
+ parseBreakStatement() {
306
+ const start = this.parseExpected(TokenKind.BreakKeyword).start;
307
+ let label;
308
+ if (!this.canInsertSemicolon() && !this.at(TokenKind.Semicolon))
309
+ label = this.parseIdentifier();
310
+ this.parseSemicolon();
311
+ return { kind: SyntaxKind.BreakStatement, label, start, end: label?.end ?? start + 5 };
312
+ },
313
+ parseContinueStatement() {
314
+ const start = this.parseExpected(TokenKind.ContinueKeyword).start;
315
+ let label;
316
+ if (!this.canInsertSemicolon() && !this.at(TokenKind.Semicolon))
317
+ label = this.parseIdentifier();
318
+ this.parseSemicolon();
319
+ return { kind: SyntaxKind.ContinueStatement, label, start, end: label?.end ?? start + 8 };
320
+ },
321
+ parseThrowStatement() {
322
+ const start = this.parseExpected(TokenKind.ThrowKeyword).start;
323
+ const expression = this.parseExpression();
324
+ this.parseSemicolon();
325
+ return { kind: SyntaxKind.ThrowStatement, expression, start, end: expression.end };
326
+ },
327
+ parseTryStatement() {
328
+ const start = this.parseExpected(TokenKind.TryKeyword).start;
329
+ const tryBlock = this.parseBlock();
330
+ let catchClause;
331
+ if (this.at(TokenKind.CatchKeyword)) {
332
+ const catchStart = this.nextToken().start;
333
+ let variable;
334
+ let type;
335
+ if (this.at(TokenKind.OpenParen)) {
336
+ this.nextToken();
337
+ variable = this.parseIdentifier();
338
+ if (this.at(TokenKind.Colon)) {
339
+ this.nextToken();
340
+ type = this.parseType();
341
+ }
342
+ this.parseExpected(TokenKind.CloseParen);
343
+ }
344
+ const block = this.parseBlock();
345
+ catchClause = { kind: SyntaxKind.CatchClause, variable, type, block, start: catchStart, end: block.end };
346
+ }
347
+ let finallyBlock;
348
+ if (this.at(TokenKind.FinallyKeyword)) {
349
+ this.nextToken();
350
+ finallyBlock = this.parseBlock();
351
+ }
352
+ return { kind: SyntaxKind.TryStatement, tryBlock, catchClause, finallyBlock, start, end: finallyBlock?.end ?? catchClause?.end ?? tryBlock.end };
353
+ },
354
+ parseSwitchStatement() {
355
+ const start = this.parseExpected(TokenKind.SwitchKeyword).start;
356
+ this.parseExpected(TokenKind.OpenParen);
357
+ const expression = this.parseExpression();
358
+ this.parseExpected(TokenKind.CloseParen);
359
+ this.parseExpected(TokenKind.OpenBrace);
360
+ const clauses = [];
361
+ while (!this.at(TokenKind.CloseBrace) && !this.at(TokenKind.EndOfFile)) {
362
+ if (this.at(TokenKind.CaseKeyword)) {
363
+ const caseStart = this.nextToken().start;
364
+ const caseExpression = this.parseExpression();
365
+ this.parseExpected(TokenKind.Colon);
366
+ const statements = [];
367
+ while (!this.at(TokenKind.CaseKeyword) &&
368
+ !this.at(TokenKind.DefaultKeyword) &&
369
+ !this.at(TokenKind.CloseBrace) &&
370
+ !this.at(TokenKind.EndOfFile)) {
371
+ const s = this.parseStatement();
372
+ if (s)
373
+ statements.push(s);
374
+ }
375
+ clauses.push({ kind: SyntaxKind.CaseClause, expression: caseExpression, statements, start: caseStart, end: statements[statements.length - 1]?.end ?? caseExpression.end });
376
+ }
377
+ else if (this.at(TokenKind.DefaultKeyword)) {
378
+ const defaultStart = this.nextToken().start;
379
+ this.parseExpected(TokenKind.Colon);
380
+ const statements = [];
381
+ while (!this.at(TokenKind.CaseKeyword) && !this.at(TokenKind.CloseBrace) && !this.at(TokenKind.EndOfFile)) {
382
+ const s = this.parseStatement();
383
+ if (s)
384
+ statements.push(s);
385
+ }
386
+ clauses.push({ kind: SyntaxKind.DefaultClause, statements, start: defaultStart, end: statements[statements.length - 1]?.end ?? defaultStart });
387
+ }
388
+ else {
389
+ this.error(DiagnosticCode.UnexpectedToken, `Unexpected token '${this.token.text}' in switch body`);
390
+ this.nextToken();
391
+ }
392
+ }
393
+ const close = this.parseExpected(TokenKind.CloseBrace);
394
+ return { kind: SyntaxKind.SwitchStatement, expression, clauses, start, end: close.end };
395
+ },
396
+ parseExpressionStatement() {
397
+ const expression = this.parseExpression();
398
+ this.parseSemicolon();
399
+ return { kind: SyntaxKind.ExpressionStatement, expression, start: expression.start, end: expression.end };
400
+ },
401
+ };
402
+ //# sourceMappingURL=statements.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/parser/statements.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EACL,YAAY,EACZ,UAAU,GAmBX,MAAM,iBAAiB,CAAC;AAyBzB,MAAM,CAAC,MAAM,gBAAgB,GAAqB;IAChD,4EAA4E;IAE5E,iBAAiB;QACf,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,SAAS,CAAC;YACR,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAC7B,IAAI,YAAsC,CAAC;YAC3C,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,SAAS,CAAC,aAAa;oBAC1B,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;oBACnC,MAAM;gBACR,KAAK,SAAS,CAAC,cAAc;oBAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1F,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC;oBACtC,CAAC;oBACD,MAAM;gBACR,KAAK,SAAS,CAAC,cAAc;oBAC3B,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC;oBACpC,MAAM;gBACR,KAAK,SAAS,CAAC,eAAe;oBAC5B,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC;oBACrC,MAAM;gBACR,KAAK,SAAS,CAAC,aAAa;oBAC1B,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;oBACnC,MAAM;gBACR,KAAK,SAAS,CAAC,cAAc;oBAC3B,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC;oBACpC,MAAM;gBACR,KAAK,SAAS,CAAC,gBAAgB;oBAC7B,YAAY,GAAG,YAAY,CAAC,SAAS,CAAC;oBACtC,MAAM;gBACR,KAAK,SAAS,CAAC,aAAa;oBAC1B,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;oBACnC,MAAM;gBACR,KAAK,SAAS,CAAC,eAAe;oBAC5B,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC;oBACrC,MAAM;gBACR,KAAK,SAAS,CAAC,YAAY;oBACzB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB;wBAAE,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC;oBAC9E,MAAM;gBACR;oBACE,MAAM;YACV,CAAC;YACD,IAAI,CAAC,YAAY;gBAAE,MAAM;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACjG,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,WAAW,CAAe,SAA8B,EAAE,IAAkB;QAC1E,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC;IACxD,CAAC;IAED,4EAA4E;IAE5E,cAAc;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,SAAS,CAAC,SAAS;gBACtB,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;YAC3B,KAAK,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;gBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAe,CAAC;YACtF,CAAC;YACD,KAAK,SAAS,CAAC,UAAU,CAAC;YAC1B,KAAK,SAAS,CAAC,UAAU,CAAC;YAC1B,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;YACzC,KAAK,SAAS,CAAC,eAAe;gBAC5B,OAAO,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC;YAC3C,KAAK,SAAS,CAAC,YAAY;gBACzB,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC;oBACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBAC1C,OAAO,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;gBACjD,CAAC;gBACD,MAAM;YACR,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACxC,KAAK,SAAS,CAAC,SAAS;gBACtB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACpC,KAAK,SAAS,CAAC,SAAS;gBACtB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,KAAK,SAAS,CAAC,UAAU;gBACvB,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAClC,KAAK,SAAS,CAAC,aAAa;gBAC1B,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACrC,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACpC,KAAK,SAAS,CAAC,eAAe;gBAC5B,OAAO,IAAI,CAAC,sBAAsB,EAAE,CAAC;YACvC,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACpC,KAAK,SAAS,CAAC,UAAU;gBACvB,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAClC,KAAK,SAAS,CAAC,aAAa;gBAC1B,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACrC,KAAK,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAe,CAAC;YACzF,CAAC;YACD,KAAK,SAAS,CAAC,aAAa;gBAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC;oBAAE,MAAM;gBAClF,OAAO,IAAI,CAAC,sBAAsB,EAAE,CAAC;YACvC,KAAK,SAAS,CAAC,aAAa;gBAC1B,OAAO,IAAI,CAAC,sBAAsB,EAAE,CAAC;YACvC,KAAK,SAAS,CAAC,gBAAgB;gBAC7B,OAAO,IAAI,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;YAC5C,KAAK,SAAS,CAAC,WAAW;gBACxB,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;gBACxF,MAAM;YACR,KAAK,SAAS,CAAC,WAAW;gBACxB,OAAO,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;YACvC,KAAK,SAAS,CAAC,gBAAgB,CAAC;YAChC,KAAK,SAAS,CAAC,aAAa;gBAC1B,OAAO,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;YACzC,KAAK,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAC3C,OAAO,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,OAAO,IAAI,CAAC,wBAAwB,EAAE,CAAC;IACzC,CAAC;IAED,2BAA2B,CAAe,SAAqB;QAC7D,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,SAAS,CAAC,UAAU,CAAC;YAC1B,KAAK,SAAS,CAAC,UAAU,CAAC;YAC1B,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;YAChD,KAAK,SAAS,CAAC,eAAe;gBAC5B,OAAO,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;YAClD,KAAK,SAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;YAC/C,KAAK,SAAS,CAAC,gBAAgB;gBAC7B,OAAO,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;YACnD,KAAK,SAAS,CAAC,WAAW;gBACxB,OAAO,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;YACnD,KAAK,SAAS,CAAC,WAAW;gBACxB,OAAO,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;YAC9C,KAAK,SAAS,CAAC,gBAAgB,CAAC;YAChC,KAAK,SAAS,CAAC,aAAa;gBAC1B,OAAO,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;YAChD;gBACE,OAAO,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,UAAU;QACR,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YAChC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,eAAe,EAAE,qBAAqB,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChG,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACnF,CAAC;IAED,sBAAsB,CAAe,SAAqB;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAC;QACrD,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,iBAAiB,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;IAChI,CAAC;IAED,4BAA4B;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QAClI,MAAM,YAAY,GAA0B,EAAE,CAAC;QAC/C,GAAG,CAAC;YACF,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC,CAAC;QACrD,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE;QACvD,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,uBAAuB;YACxC,YAAY;YACZ,eAAe;YACf,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG;SAC/D,CAAC;IACJ,CAAC;IAED,wBAAwB;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACpC,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,IAA0B,CAAC;QAC/B,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,WAAmC,CAAC;QACxC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,WAAW,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAC;QACjD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,mBAAmB;YACpC,IAAI;YACJ,WAAW;YACX,IAAI;YACJ,WAAW;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,WAAW,EAAE,GAAG,IAAI,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG;SAC/C,CAAC;IACJ,CAAC;IAED,gBAAgB;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;QAC5D,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;QAC7C,IAAI,aAAoC,CAAC;QACzC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,aAAa,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,CAAC;IACxI,CAAC;IAED,mBAAmB;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC;QAC/D,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAe,CAAC;IAC3G,CAAC;IAED,gBAAgB;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;QAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAe,CAAC;IACpG,CAAC;IAED,iBAAiB;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;QAC7D,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,aAAa,GAAG,IAAI,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAExC,IAAI,WAA6D,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtG,WAAW,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACN,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAC;YACpD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,WAAW,EAAE,WAAY,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;QACzI,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,WAAW,EAAE,WAAY,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;QAC1H,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,SAAiC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACtE,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,WAAmC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;YAAE,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACzE,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAG,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;IACtH,CAAC;IAED,oBAAoB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC;QAChE,IAAI,UAAkC,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE;YAAE,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QACrG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,eAAe,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,IAAI,KAAK,GAAG,CAAC,EAAe,CAAC;IACjH,CAAC;IAED,mBAAmB;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC;QAC/D,IAAI,KAA6B,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAChG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,KAAK,GAAG,CAAC,EAAe,CAAC;IACtG,CAAC;IAED,sBAAsB;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC;QAClE,IAAI,KAA6B,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAChG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,KAAK,GAAG,CAAC,EAAe,CAAC;IACzG,CAAC;IAED,mBAAmB;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC;QAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAe,CAAC;IAClG,CAAC;IAED,iBAAiB;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,WAAoC,CAAC;QACzC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YACpC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC;YAC1C,IAAI,QAAgC,CAAC;YACrC,IAAI,IAA0B,CAAC;YAC/B,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjB,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;gBAClC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;oBACjB,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC1B,CAAC;gBACD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,WAAW,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC3G,CAAC;QACD,IAAI,YAA+B,CAAC;QACpC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;IACnJ,CAAC;IAED,oBAAoB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC;QAChE,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,OAAO,GAAmC,EAAE,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACvE,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC;gBACzC,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,UAAU,GAAgB,EAAE,CAAC;gBACnC,OACE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC;oBAC/B,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC;oBAClC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;oBAC9B,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAC7B,CAAC;oBACD,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;oBAChC,IAAI,CAAC;wBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC;YAC7K,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC;gBAC5C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,UAAU,GAAgB,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC1G,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;oBAChC,IAAI,CAAC;wBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,YAAY,EAAE,CAAC,CAAC;YACjJ,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,eAAe,EAAE,qBAAqB,IAAI,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,CAAC;gBACnG,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,eAAe,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IAC1F,CAAC;IAED,wBAAwB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;IAC5G,CAAC;CACF,CAAC"}
@@ -0,0 +1,21 @@
1
+ /**
2
+ * Type parsing: unions, intersections, operators, references, function/tuple
3
+ * types, type literals and mapped types.
4
+ */
5
+ import { type FunctionTypeNode, type Identifier, type MappedTypeNode, type QualifiedName, type TupleTypeNode, type TypeLiteralNode, type TypeNode } from "../ast/nodes.js";
6
+ import type { Parser } from "./parser.js";
7
+ export interface TypeMethods {
8
+ parseTypeArguments(this: Parser): TypeNode[];
9
+ parseType(this: Parser): TypeNode;
10
+ parseUnionType(this: Parser): TypeNode;
11
+ parseIntersectionType(this: Parser): TypeNode;
12
+ parseTypeOperatorOrHigher(this: Parser): TypeNode;
13
+ parsePostfixType(this: Parser): TypeNode;
14
+ parsePrimaryType(this: Parser): TypeNode;
15
+ previousTypeEnd(this: Parser, typeArguments: readonly TypeNode[], fallback: number): number;
16
+ parseEntityName(this: Parser): Identifier | QualifiedName;
17
+ parseFunctionType(this: Parser, explicitStart?: number): FunctionTypeNode;
18
+ parseTupleType(this: Parser): TupleTypeNode;
19
+ parseTypeLiteral(this: Parser): TypeLiteralNode | MappedTypeNode;
20
+ }
21
+ export declare const typeMethods: TypeMethods;