xbintsc 0.2.9 → 0.3.1

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 (311) hide show
  1. package/README.md +17 -2
  2. package/README.zh-CN.md +16 -2
  3. package/bin/xbintsc.js +49 -10
  4. package/dist/src/ast/expressions.d.ts +2 -0
  5. package/dist/src/binder/binder.d.ts +24 -98
  6. package/dist/src/binder/binder.js +13 -559
  7. package/dist/src/binder/binder.js.map +1 -1
  8. package/dist/src/binder/declarations.d.ts +16 -0
  9. package/dist/src/binder/declarations.js +168 -0
  10. package/dist/src/binder/declarations.js.map +1 -0
  11. package/dist/src/binder/helpers.d.ts +11 -0
  12. package/dist/src/binder/helpers.js +46 -0
  13. package/dist/src/binder/helpers.js.map +1 -0
  14. package/dist/src/binder/references.d.ts +21 -0
  15. package/dist/src/binder/references.js +349 -0
  16. package/dist/src/binder/references.js.map +1 -0
  17. package/dist/src/binder/types.d.ts +114 -0
  18. package/dist/src/binder/types.js +27 -0
  19. package/dist/src/binder/types.js.map +1 -0
  20. package/dist/src/cli/main.d.ts +1 -0
  21. package/dist/src/cli/main.js +40 -0
  22. package/dist/src/cli/main.js.map +1 -1
  23. package/dist/src/codegen/generator/calls/access.d.ts +13 -0
  24. package/dist/src/codegen/generator/calls/access.js +115 -0
  25. package/dist/src/codegen/generator/calls/access.js.map +1 -0
  26. package/dist/src/codegen/generator/calls/closures.d.ts +11 -0
  27. package/dist/src/codegen/generator/calls/closures.js +50 -0
  28. package/dist/src/codegen/generator/calls/closures.js.map +1 -0
  29. package/dist/src/codegen/generator/calls/invocation.d.ts +18 -0
  30. package/dist/src/codegen/generator/calls/invocation.js +242 -0
  31. package/dist/src/codegen/generator/calls/invocation.js.map +1 -0
  32. package/dist/src/codegen/generator/calls/literals.d.ts +10 -0
  33. package/dist/src/codegen/generator/calls/literals.js +69 -0
  34. package/dist/src/codegen/generator/calls/literals.js.map +1 -0
  35. package/dist/src/codegen/generator/calls/super.d.ts +10 -0
  36. package/dist/src/codegen/generator/calls/super.js +47 -0
  37. package/dist/src/codegen/generator/calls/super.js.map +1 -0
  38. package/dist/src/codegen/generator/calls.d.ts +15 -24
  39. package/dist/src/codegen/generator/calls.js +15 -482
  40. package/dist/src/codegen/generator/calls.js.map +1 -1
  41. package/dist/src/codegen/generator/context.d.ts +1 -1
  42. package/dist/src/codegen/generator/context.js +2 -2
  43. package/dist/src/codegen/generator/context.js.map +1 -1
  44. package/dist/src/codegen/generator/expressions/assignment.d.ts +13 -0
  45. package/dist/src/codegen/generator/expressions/assignment.js +203 -0
  46. package/dist/src/codegen/generator/expressions/assignment.js.map +1 -0
  47. package/dist/src/codegen/generator/expressions/operators.d.ts +14 -0
  48. package/dist/src/codegen/generator/expressions/operators.js +163 -0
  49. package/dist/src/codegen/generator/expressions/operators.js.map +1 -0
  50. package/dist/src/codegen/generator/expressions/primary.d.ts +17 -0
  51. package/dist/src/codegen/generator/expressions/primary.js +260 -0
  52. package/dist/src/codegen/generator/expressions/primary.js.map +1 -0
  53. package/dist/src/codegen/generator/expressions.d.ts +11 -21
  54. package/dist/src/codegen/generator/expressions.js +11 -494
  55. package/dist/src/codegen/generator/expressions.js.map +1 -1
  56. package/dist/src/codegen/generator/module.js +16 -4
  57. package/dist/src/codegen/generator/module.js.map +1 -1
  58. package/dist/src/codegen/generator/state.js +8 -0
  59. package/dist/src/codegen/generator/state.js.map +1 -1
  60. package/dist/src/codegen/generator/statements/control-flow.d.ts +14 -0
  61. package/dist/src/codegen/generator/statements/control-flow.js +199 -0
  62. package/dist/src/codegen/generator/statements/control-flow.js.map +1 -0
  63. package/dist/src/codegen/generator/statements/dispatch.d.ts +12 -0
  64. package/dist/src/codegen/generator/statements/dispatch.js +100 -0
  65. package/dist/src/codegen/generator/statements/dispatch.js.map +1 -0
  66. package/dist/src/codegen/generator/statements/loops.d.ts +13 -0
  67. package/dist/src/codegen/generator/statements/loops.js +152 -0
  68. package/dist/src/codegen/generator/statements/loops.js.map +1 -0
  69. package/dist/src/codegen/generator/statements/variables.d.ts +13 -0
  70. package/dist/src/codegen/generator/statements/variables.js +146 -0
  71. package/dist/src/codegen/generator/statements/variables.js.map +1 -0
  72. package/dist/src/codegen/generator/statements.d.ts +13 -21
  73. package/dist/src/codegen/generator/statements.js +13 -568
  74. package/dist/src/codegen/generator/statements.js.map +1 -1
  75. package/dist/src/codegen/generator/tables.js +7 -0
  76. package/dist/src/codegen/generator/tables.js.map +1 -1
  77. package/dist/src/codegen/values.d.ts +17 -17
  78. package/dist/src/codegen/values.js +21 -57
  79. package/dist/src/codegen/values.js.map +1 -1
  80. package/dist/src/diagnostics/diagnostic.d.ts +1 -0
  81. package/dist/src/diagnostics/diagnostic.js +1 -0
  82. package/dist/src/diagnostics/diagnostic.js.map +1 -1
  83. package/dist/src/diagnostics/source.d.ts +1 -1
  84. package/dist/src/diagnostics/source.js +7 -12
  85. package/dist/src/diagnostics/source.js.map +1 -1
  86. package/dist/src/driver/compiler.d.ts +4 -0
  87. package/dist/src/driver/compiler.js +51 -16
  88. package/dist/src/driver/compiler.js.map +1 -1
  89. package/dist/src/driver/index.d.ts +5 -2
  90. package/dist/src/driver/index.js +5 -2
  91. package/dist/src/driver/index.js.map +1 -1
  92. package/dist/src/driver/paths.d.ts +20 -0
  93. package/dist/src/driver/paths.js +49 -0
  94. package/dist/src/driver/paths.js.map +1 -1
  95. package/dist/src/driver/runtime-lib.d.ts +18 -0
  96. package/dist/src/driver/runtime-lib.js +31 -0
  97. package/dist/src/driver/runtime-lib.js.map +1 -0
  98. package/dist/src/driver/toolchain-download.d.ts +50 -0
  99. package/dist/src/driver/toolchain-download.js +76 -0
  100. package/dist/src/driver/toolchain-download.js.map +1 -0
  101. package/dist/src/driver/toolchain-provider.d.ts +33 -0
  102. package/dist/src/driver/toolchain-provider.js +71 -0
  103. package/dist/src/driver/toolchain-provider.js.map +1 -0
  104. package/dist/src/driver/toolchain.d.ts +9 -4
  105. package/dist/src/driver/toolchain.js +6 -10
  106. package/dist/src/driver/toolchain.js.map +1 -1
  107. package/dist/src/extensions/node/child_process/index.d.ts +4 -2
  108. package/dist/src/extensions/node/child_process/index.js +4 -2
  109. package/dist/src/extensions/node/child_process/index.js.map +1 -1
  110. package/dist/src/extensions/node/events/index.d.ts +10 -0
  111. package/dist/src/extensions/node/events/index.js +22 -0
  112. package/dist/src/extensions/node/events/index.js.map +1 -0
  113. package/dist/src/extensions/node/index.js +6 -0
  114. package/dist/src/extensions/node/index.js.map +1 -1
  115. package/dist/src/extensions/node/querystring/index.d.ts +10 -0
  116. package/dist/src/extensions/node/querystring/index.js +25 -0
  117. package/dist/src/extensions/node/querystring/index.js.map +1 -0
  118. package/dist/src/extensions/node/util/index.d.ts +11 -0
  119. package/dist/src/extensions/node/util/index.js +41 -0
  120. package/dist/src/extensions/node/util/index.js.map +1 -0
  121. package/dist/src/extensions/registry.d.ts +6 -0
  122. package/dist/src/extensions/registry.js.map +1 -1
  123. package/dist/src/index.d.ts +1 -1
  124. package/dist/src/index.js +1 -1
  125. package/dist/src/index.js.map +1 -1
  126. package/dist/src/lexer/scanner/identifiers.d.ts +9 -0
  127. package/dist/src/lexer/scanner/identifiers.js +33 -0
  128. package/dist/src/lexer/scanner/identifiers.js.map +1 -0
  129. package/dist/src/lexer/scanner/numbers.d.ts +10 -0
  130. package/dist/src/lexer/scanner/numbers.js +89 -0
  131. package/dist/src/lexer/scanner/numbers.js.map +1 -0
  132. package/dist/src/lexer/scanner/punctuation.d.ts +9 -0
  133. package/dist/src/lexer/scanner/punctuation.js +151 -0
  134. package/dist/src/lexer/scanner/punctuation.js.map +1 -0
  135. package/dist/src/lexer/scanner/regex.d.ts +11 -0
  136. package/dist/src/lexer/scanner/regex.js +69 -0
  137. package/dist/src/lexer/scanner/regex.js.map +1 -0
  138. package/dist/src/lexer/scanner/strings.d.ts +13 -0
  139. package/dist/src/lexer/scanner/strings.js +118 -0
  140. package/dist/src/lexer/scanner/strings.js.map +1 -0
  141. package/dist/src/lexer/scanner.d.ts +20 -27
  142. package/dist/src/lexer/scanner.js +11 -415
  143. package/dist/src/lexer/scanner.js.map +1 -1
  144. package/dist/src/parser/declarations/classes.d.ts +14 -0
  145. package/dist/src/parser/declarations/classes.js +191 -0
  146. package/dist/src/parser/declarations/classes.js.map +1 -0
  147. package/dist/src/parser/declarations/functions.d.ts +17 -0
  148. package/dist/src/parser/declarations/functions.js +241 -0
  149. package/dist/src/parser/declarations/functions.js.map +1 -0
  150. package/dist/src/parser/declarations/type-members.d.ts +16 -0
  151. package/dist/src/parser/declarations/type-members.js +156 -0
  152. package/dist/src/parser/declarations/type-members.js.map +1 -0
  153. package/dist/src/parser/declarations.d.ts +13 -24
  154. package/dist/src/parser/declarations.js +13 -571
  155. package/dist/src/parser/declarations.js.map +1 -1
  156. package/dist/src/parser/helpers.js +13 -4
  157. package/dist/src/parser/helpers.js.map +1 -1
  158. package/dist/src/parser/literals.js +10 -1
  159. package/dist/src/parser/literals.js.map +1 -1
  160. package/dist/tests/codegen/llvm.test.js +24 -0
  161. package/dist/tests/codegen/llvm.test.js.map +1 -1
  162. package/dist/tests/driver/compiler.test.js +3 -0
  163. package/dist/tests/driver/compiler.test.js.map +1 -1
  164. package/dist/tests/driver/paths.test.d.ts +1 -0
  165. package/dist/tests/driver/paths.test.js +26 -0
  166. package/dist/tests/driver/paths.test.js.map +1 -0
  167. package/dist/tests/driver/toolchain-download.test.d.ts +1 -0
  168. package/dist/tests/driver/toolchain-download.test.js +38 -0
  169. package/dist/tests/driver/toolchain-download.test.js.map +1 -0
  170. package/dist/tests/driver/toolchain-provider.test.d.ts +1 -0
  171. package/dist/tests/driver/toolchain-provider.test.js +37 -0
  172. package/dist/tests/driver/toolchain-provider.test.js.map +1 -0
  173. package/dist/tests/e2e/compile-node.test.d.ts +7 -0
  174. package/dist/tests/e2e/compile-node.test.js +123 -0
  175. package/dist/tests/e2e/compile-node.test.js.map +1 -0
  176. package/dist/tests/e2e/compile.test.d.ts +4 -1
  177. package/dist/tests/e2e/compile.test.js +78 -130
  178. package/dist/tests/e2e/compile.test.js.map +1 -1
  179. package/dist/tests/e2e/harness.d.ts +36 -0
  180. package/dist/tests/e2e/harness.js +64 -0
  181. package/dist/tests/e2e/harness.js.map +1 -0
  182. package/dist/tests/e2e/node-modules.test.js +60 -0
  183. package/dist/tests/e2e/node-modules.test.js.map +1 -1
  184. package/dist/tests/extensions/registry.test.js +4 -0
  185. package/dist/tests/extensions/registry.test.js.map +1 -1
  186. package/package.json +5 -3
  187. package/runtime/ext_node/buffer/buffer.c +12 -552
  188. package/runtime/ext_node/buffer/parts/byte-access.inc +35 -0
  189. package/runtime/ext_node/buffer/parts/construction.inc +60 -0
  190. package/runtime/ext_node/buffer/parts/integer-io.inc +119 -0
  191. package/runtime/ext_node/buffer/parts/methods.inc +135 -0
  192. package/runtime/ext_node/buffer/parts/prototype.inc +54 -0
  193. package/runtime/ext_node/buffer/parts/search.inc +86 -0
  194. package/runtime/ext_node/buffer/parts/static-api.inc +58 -0
  195. package/runtime/ext_node/child_process/child_process.c +37 -3
  196. package/runtime/ext_node/events/events.c +285 -0
  197. package/runtime/ext_node/http/http.c +11 -736
  198. package/runtime/ext_node/http/parts/client.inc +290 -0
  199. package/runtime/ext_node/http/parts/helpers.inc +45 -0
  200. package/runtime/ext_node/http/parts/prototypes.inc +57 -0
  201. package/runtime/ext_node/http/parts/response.inc +149 -0
  202. package/runtime/ext_node/http/parts/server.inc +133 -0
  203. package/runtime/ext_node/http/parts/string-builder.inc +58 -0
  204. package/runtime/ext_node/net/net.c +12 -504
  205. package/runtime/ext_node/net/parts/construction.inc +22 -0
  206. package/runtime/ext_node/net/parts/platform.inc +60 -0
  207. package/runtime/ext_node/net/parts/prototypes.inc +35 -0
  208. package/runtime/ext_node/net/parts/read-loop.inc +58 -0
  209. package/runtime/ext_node/net/parts/server.inc +131 -0
  210. package/runtime/ext_node/net/parts/socket-methods.inc +100 -0
  211. package/runtime/ext_node/net/parts/static-api.inc +93 -0
  212. package/runtime/ext_node/querystring/querystring.c +251 -0
  213. package/runtime/ext_node/util/util.c +456 -0
  214. package/runtime/rt.h +8 -2
  215. package/runtime/rt_internal.h +34 -0
  216. package/runtime/xt_bigint/arithmetic.inc +135 -0
  217. package/runtime/xt_bigint/bits.inc +98 -0
  218. package/runtime/xt_bigint/bitwise.inc +103 -0
  219. package/runtime/xt_bigint/compare.inc +30 -0
  220. package/runtime/xt_bigint/conversions.inc +51 -0
  221. package/runtime/xt_bigint/division.inc +85 -0
  222. package/runtime/xt_bigint/format.inc +145 -0
  223. package/runtime/xt_bigint/helpers.inc +92 -0
  224. package/runtime/xt_bigint/magnitude.inc +88 -0
  225. package/runtime/xt_bigint/public.inc +59 -0
  226. package/runtime/xt_bigint/small-arithmetic.inc +58 -0
  227. package/runtime/xt_bigint.c +42 -0
  228. package/runtime/xt_builtins.c +1 -0
  229. package/runtime/xt_io.c +7 -0
  230. package/runtime/xt_stdlib/arrays.inc +161 -0
  231. package/runtime/xt_stdlib/dispatch.inc +116 -0
  232. package/runtime/xt_stdlib/helpers.inc +23 -0
  233. package/runtime/xt_stdlib/math.inc +72 -0
  234. package/runtime/xt_stdlib/strings.inc +178 -0
  235. package/runtime/xt_stdlib.c +10 -549
  236. package/runtime/xt_stdlib2/array-statics.inc +37 -0
  237. package/runtime/xt_stdlib2/arrays.inc +189 -0
  238. package/runtime/xt_stdlib2/container.inc +23 -0
  239. package/runtime/xt_stdlib2/date.inc +72 -0
  240. package/runtime/xt_stdlib2/error.inc +22 -0
  241. package/runtime/xt_stdlib2/helpers.inc +43 -0
  242. package/runtime/xt_stdlib2/json.inc +213 -0
  243. package/runtime/xt_stdlib2/map.inc +95 -0
  244. package/runtime/xt_stdlib2/number-string-statics.inc +73 -0
  245. package/runtime/xt_stdlib2/numbers.inc +38 -0
  246. package/runtime/xt_stdlib2/objects.inc +41 -0
  247. package/runtime/xt_stdlib2/regexp-match.inc +204 -0
  248. package/runtime/xt_stdlib2/regexp.inc +20 -0
  249. package/runtime/xt_stdlib2/set.inc +105 -0
  250. package/runtime/xt_stdlib2/strings.inc +94 -0
  251. package/runtime/xt_stdlib2.c +19 -1278
  252. package/runtime/xt_values.c +155 -12
  253. package/scripts/build-runtime.ts +109 -0
  254. package/scripts/fetch-toolchain.ts +101 -0
  255. package/scripts/package-release.ts +192 -0
  256. package/src/ast/expressions.ts +2 -0
  257. package/src/binder/binder.ts +40 -725
  258. package/src/binder/declarations.ts +203 -0
  259. package/src/binder/helpers.ts +47 -0
  260. package/src/binder/references.ts +410 -0
  261. package/src/binder/types.ts +134 -0
  262. package/src/cli/main.ts +43 -0
  263. package/src/codegen/generator/calls/access.ts +139 -0
  264. package/src/codegen/generator/calls/closures.ts +60 -0
  265. package/src/codegen/generator/calls/invocation.ts +282 -0
  266. package/src/codegen/generator/calls/literals.ts +77 -0
  267. package/src/codegen/generator/calls/super.ts +61 -0
  268. package/src/codegen/generator/calls.ts +30 -552
  269. package/src/codegen/generator/context.ts +2 -2
  270. package/src/codegen/generator/expressions/assignment.ts +226 -0
  271. package/src/codegen/generator/expressions/operators.ts +182 -0
  272. package/src/codegen/generator/expressions/primary.ts +304 -0
  273. package/src/codegen/generator/expressions.ts +22 -553
  274. package/src/codegen/generator/module.ts +14 -4
  275. package/src/codegen/generator/state.ts +8 -0
  276. package/src/codegen/generator/statements/control-flow.ts +225 -0
  277. package/src/codegen/generator/statements/dispatch.ts +122 -0
  278. package/src/codegen/generator/statements/loops.ts +173 -0
  279. package/src/codegen/generator/statements/variables.ts +152 -0
  280. package/src/codegen/generator/statements.ts +26 -612
  281. package/src/codegen/generator/tables.ts +7 -0
  282. package/src/codegen/values.ts +22 -57
  283. package/src/diagnostics/diagnostic.ts +1 -0
  284. package/src/diagnostics/source.ts +7 -12
  285. package/src/driver/compiler.ts +61 -18
  286. package/src/driver/index.ts +17 -2
  287. package/src/driver/paths.ts +54 -0
  288. package/src/driver/runtime-lib.ts +32 -0
  289. package/src/driver/toolchain-download.ts +108 -0
  290. package/src/driver/toolchain-provider.ts +91 -0
  291. package/src/driver/toolchain.ts +29 -11
  292. package/src/extensions/node/child_process/index.ts +4 -2
  293. package/src/extensions/node/events/index.ts +27 -0
  294. package/src/extensions/node/index.ts +6 -0
  295. package/src/extensions/node/querystring/index.ts +29 -0
  296. package/src/extensions/node/util/index.ts +48 -0
  297. package/src/extensions/registry.ts +6 -0
  298. package/src/index.ts +1 -0
  299. package/src/lexer/scanner/identifiers.ts +37 -0
  300. package/src/lexer/scanner/numbers.ts +84 -0
  301. package/src/lexer/scanner/punctuation.ts +132 -0
  302. package/src/lexer/scanner/regex.ts +79 -0
  303. package/src/lexer/scanner/strings.ts +128 -0
  304. package/src/lexer/scanner.ts +35 -401
  305. package/src/parser/declarations/classes.ts +215 -0
  306. package/src/parser/declarations/functions.ts +254 -0
  307. package/src/parser/declarations/type-members.ts +181 -0
  308. package/src/parser/declarations.ts +32 -609
  309. package/src/parser/helpers.ts +13 -6
  310. package/src/parser/literals.ts +10 -1
  311. package/scripts/build-runtime.mjs +0 -55
@@ -0,0 +1,168 @@
1
+ /**
2
+ * Declaration pass: creates symbols/scopes and pre-declares the bindings that
3
+ * are visible before their textual position (`var`, functions, hoisted blocks).
4
+ */
5
+ import { SyntaxKind, } from "../ast/nodes.js";
6
+ import { SymbolKind } from "./types.js";
7
+ import { childNodes } from "./helpers.js";
8
+ export const declarationMethods = {
9
+ /** Declare every identifier introduced by a (possibly destructured) binding. */
10
+ declareBinding(name, kind, declaration, scope, mutable) {
11
+ if (name.kind === SyntaxKind.Identifier) {
12
+ return this.declare(name.text, kind, declaration, scope, mutable);
13
+ }
14
+ let first;
15
+ const pattern = name;
16
+ for (const element of pattern.elements) {
17
+ if (!element)
18
+ continue;
19
+ const symbol = this.declareBinding(element.name, kind, element.name, scope, mutable);
20
+ if (!first)
21
+ first = symbol;
22
+ }
23
+ return first;
24
+ },
25
+ declare(name, kind, node, scope, mutable) {
26
+ const existing = scope.symbols.get(name);
27
+ if (existing) {
28
+ // `var` redeclarations and duplicate functions merge into one symbol.
29
+ if ((kind === SymbolKind.Var && existing.kind === SymbolKind.Var) ||
30
+ (kind === SymbolKind.Function && existing.kind === SymbolKind.Function)) {
31
+ existing.declarations.push(node);
32
+ }
33
+ this.symbolOfDeclaration.set(node, existing);
34
+ return existing;
35
+ }
36
+ const symbol = {
37
+ id: this.nextSymbolId++,
38
+ name,
39
+ kind,
40
+ mutable,
41
+ fn: this.current,
42
+ declarations: [node],
43
+ references: [],
44
+ captured: false,
45
+ boxed: false,
46
+ };
47
+ scope.symbols.set(name, symbol);
48
+ this.symbolOfDeclaration.set(node, symbol);
49
+ if (scope.fn === this.current)
50
+ this.current.locals.push(symbol);
51
+ return symbol;
52
+ },
53
+ /** Pre-declare block-scoped bindings that appear directly in `statements`. */
54
+ predeclareStatements(statements, scope) {
55
+ for (const statement of statements) {
56
+ switch (statement.kind) {
57
+ case SyntaxKind.VariableStatement: {
58
+ this.predeclareVariableList(statement.declarationList, scope);
59
+ break;
60
+ }
61
+ case SyntaxKind.FunctionDeclaration:
62
+ this.declare(statement.name?.text ?? "(anonymous)", SymbolKind.Function, statement, scope, true);
63
+ break;
64
+ case SyntaxKind.ClassDeclaration:
65
+ this.declare(statement.name.text, SymbolKind.Class, statement, scope, false);
66
+ break;
67
+ case SyntaxKind.InterfaceDeclaration:
68
+ this.declare(statement.name.text, SymbolKind.Interface, statement, scope, false);
69
+ break;
70
+ case SyntaxKind.TypeAliasDeclaration:
71
+ this.declare(statement.name.text, SymbolKind.TypeAlias, statement, scope, false);
72
+ break;
73
+ case SyntaxKind.EnumDeclaration:
74
+ this.declare(statement.name.text, SymbolKind.Enum, statement, scope, true);
75
+ break;
76
+ case SyntaxKind.ImportDeclaration:
77
+ this.predeclareImport(statement, scope);
78
+ break;
79
+ case SyntaxKind.ExportDeclaration: {
80
+ const exported = statement;
81
+ if (exported.exportClause && exported.exportClause.kind === SyntaxKind.NamedExports) {
82
+ for (const specifier of exported.exportClause.elements) {
83
+ if (specifier.propertyName)
84
+ this.reference(specifier.propertyName, scope);
85
+ }
86
+ }
87
+ break;
88
+ }
89
+ case SyntaxKind.ModuleDeclaration:
90
+ this.declare(statement.name.text, SymbolKind.Namespace, statement, scope, false);
91
+ break;
92
+ default:
93
+ break;
94
+ }
95
+ }
96
+ },
97
+ predeclareVariableList(list, scope) {
98
+ const kind = list.declarationKind === "const"
99
+ ? SymbolKind.Const
100
+ : list.declarationKind === "var"
101
+ ? SymbolKind.Var
102
+ : SymbolKind.Let;
103
+ for (const declaration of list.declarations) {
104
+ this.declareBinding(declaration.name, kind, declaration, scope, kind !== SymbolKind.Const);
105
+ }
106
+ },
107
+ predeclareImport(node, scope) {
108
+ const clause = node.importClause;
109
+ if (!clause)
110
+ return;
111
+ if (clause.name)
112
+ this.declare(clause.name.text, SymbolKind.Import, clause.name, scope, false);
113
+ const bindings = clause.namedBindings;
114
+ if (bindings && bindings.kind === SyntaxKind.NamedImports) {
115
+ for (const specifier of bindings.elements) {
116
+ this.declare(specifier.name.text, SymbolKind.Import, specifier.name, scope, false);
117
+ }
118
+ }
119
+ else if (bindings && bindings.kind === SyntaxKind.NamespaceImport) {
120
+ this.declare(bindings.name.text, SymbolKind.Import, bindings.name, scope, false);
121
+ }
122
+ },
123
+ /**
124
+ * Collect `var` and function declarations from nested blocks into the
125
+ * enclosing function scope, without crossing function boundaries.
126
+ */
127
+ collectFunctionScoped(statements, fn) {
128
+ const visit = (node) => {
129
+ switch (node.kind) {
130
+ case SyntaxKind.FunctionDeclaration:
131
+ case SyntaxKind.FunctionExpression:
132
+ case SyntaxKind.ArrowFunction:
133
+ case SyntaxKind.ClassDeclaration:
134
+ case SyntaxKind.ClassExpression:
135
+ return; // opaque, except we still want the declaration name handled at its site
136
+ case SyntaxKind.VariableStatement: {
137
+ const decl = node;
138
+ if (decl.declarationList.declarationKind === "var") {
139
+ for (const d of decl.declarationList.declarations) {
140
+ const existing = d.name.kind === SyntaxKind.Identifier ? fn.scope.symbols.get(d.name.text) : undefined;
141
+ if (!existing)
142
+ this.declareBinding(d.name, SymbolKind.Var, d, fn.scope, true);
143
+ else if (d.name.kind === SyntaxKind.Identifier)
144
+ this.symbolOfDeclaration.set(d, existing);
145
+ }
146
+ }
147
+ return;
148
+ }
149
+ default:
150
+ break;
151
+ }
152
+ for (const child of childNodes(node))
153
+ visit(child);
154
+ };
155
+ for (const statement of statements) {
156
+ if (statement.kind === SyntaxKind.FunctionDeclaration ||
157
+ statement.kind === SyntaxKind.ClassDeclaration) {
158
+ const name = statement.name.text;
159
+ if (!fn.scope.symbols.has(name)) {
160
+ this.declare(name, statement.kind === SyntaxKind.FunctionDeclaration ? SymbolKind.Function : SymbolKind.Class, statement, fn.scope, statement.kind === SyntaxKind.FunctionDeclaration);
161
+ }
162
+ continue;
163
+ }
164
+ visit(statement);
165
+ }
166
+ },
167
+ };
168
+ //# sourceMappingURL=declarations.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"declarations.js","sourceRoot":"","sources":["../../../src/binder/declarations.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAUX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,UAAU,EAAqD,MAAM,YAAY,CAAC;AAC3F,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAY1C,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,gFAAgF;IAChF,cAAc,CACZ,IAAiB,EACjB,IAAgB,EAChB,WAAiB,EACjB,KAAY,EACZ,OAAgB;QAEhB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,KAA6B,CAAC;QAClC,MAAM,OAAO,GAAG,IAAkD,CAAC;QACnE,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACrF,IAAI,CAAC,KAAK;gBAAE,KAAK,GAAG,MAAM,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,IAAY,EACZ,IAAgB,EAChB,IAAU,EACV,KAAY,EACZ,OAAgB;QAEhB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,QAAQ,EAAE,CAAC;YACb,sEAAsE;YACtE,IACE,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC;gBAC7D,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,EACvE,CAAC;gBACA,QAAQ,CAAC,YAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,MAAM,GAAe;YACzB,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE;YACvB,IAAI;YACJ,IAAI;YACJ,OAAO;YACP,EAAE,EAAE,IAAI,CAAC,OAAO;YAChB,YAAY,EAAE,CAAC,IAAI,CAAC;YACpB,UAAU,EAAE,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,KAAK;SACb,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8EAA8E;IAC9E,oBAAoB,CAAC,UAAgC,EAAE,KAAY;QACjE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;gBACvB,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;oBAClC,IAAI,CAAC,sBAAsB,CAAE,SAA+B,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;oBACrF,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU,CAAC,mBAAmB;oBACjC,IAAI,CAAC,OAAO,CAAE,SAAiC,CAAC,IAAI,EAAE,IAAI,IAAI,aAAa,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;oBAC1H,MAAM;gBACR,KAAK,UAAU,CAAC,gBAAgB;oBAC9B,IAAI,CAAC,OAAO,CAAE,SAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBACvG,MAAM;gBACR,KAAK,UAAU,CAAC,oBAAoB;oBAClC,IAAI,CAAC,OAAO,CAAE,SAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC3G,MAAM;gBACR,KAAK,UAAU,CAAC,oBAAoB;oBAClC,IAAI,CAAC,OAAO,CAAE,SAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC3G,MAAM;gBACR,KAAK,UAAU,CAAC,eAAe;oBAC7B,IAAI,CAAC,OAAO,CAAE,SAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;oBACrG,MAAM;gBACR,KAAK,UAAU,CAAC,iBAAiB;oBAC/B,IAAI,CAAC,gBAAgB,CAAC,SAA8B,EAAE,KAAK,CAAC,CAAC;oBAC7D,MAAM;gBACR,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;oBAClC,MAAM,QAAQ,GAAG,SAA8B,CAAC;oBAChD,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;wBACpF,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;4BACvD,IAAI,SAAS,CAAC,YAAY;gCAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;wBAC5E,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU,CAAC,iBAAiB;oBAC/B,IAAI,CAAC,OAAO,CAAE,SAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC3G,MAAM;gBACR;oBACE,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,sBAAsB,CAAC,IAA6B,EAAE,KAAY;QAChE,MAAM,IAAI,GACR,IAAI,CAAC,eAAe,KAAK,OAAO;YAC9B,CAAC,CAAC,UAAU,CAAC,KAAK;YAClB,CAAC,CAAC,IAAI,CAAC,eAAe,KAAK,KAAK;gBAC9B,CAAC,CAAC,UAAU,CAAC,GAAG;gBAChB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;QACvB,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,IAAuB,EAAE,KAAY;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,MAAM,CAAC,IAAI;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9F,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;QACtC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1D,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,eAAe,EAAE,CAAC;YACpE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,qBAAqB,CAAC,UAAgC,EAAE,EAAmB;QACzE,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;YACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,UAAU,CAAC,mBAAmB,CAAC;gBACpC,KAAK,UAAU,CAAC,kBAAkB,CAAC;gBACnC,KAAK,UAAU,CAAC,aAAa,CAAC;gBAC9B,KAAK,UAAU,CAAC,gBAAgB,CAAC;gBACjC,KAAK,UAAU,CAAC,eAAe;oBAC7B,OAAO,CAAC,wEAAwE;gBAClF,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;oBAClC,MAAM,IAAI,GAAG,IAAyB,CAAC;oBACvC,IAAI,IAAI,CAAC,eAAe,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;wBACnD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;4BAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;4BACvG,IAAI,CAAC,QAAQ;gCAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;iCACzE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gCAAE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;wBAC5F,CAAC;oBACH,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD;oBACE,MAAM;YACV,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC;QACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IACE,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;gBACjD,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAC9C,CAAC;gBACD,MAAM,IAAI,GAAI,SAAkC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3D,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,CAAC,CAAC;gBACzL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,KAAK,CAAC,SAAS,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC"}
@@ -0,0 +1,11 @@
1
+ /**
2
+ * Small AST helpers shared by the binder's declaration and reference passes.
3
+ */
4
+ import { type Node, type PropertyName } from "../ast/nodes.js";
5
+ import { SymbolKind } from "./types.js";
6
+ /** Direct AST children, tolerant of both arrays and single nodes. */
7
+ export declare function childNodes(node: Node): Node[];
8
+ /** Only value bindings participate in closure capture. */
9
+ export declare function isCapturable(kind: SymbolKind): boolean;
10
+ /** Extract the textual name of a class member (`method`, `"key"`, `0`). */
11
+ export declare function classMemberName(name: PropertyName): string;
@@ -0,0 +1,46 @@
1
+ /**
2
+ * Small AST helpers shared by the binder's declaration and reference passes.
3
+ */
4
+ import { SyntaxKind } from "../ast/nodes.js";
5
+ import { SymbolKind } from "./types.js";
6
+ /** Direct AST children, tolerant of both arrays and single nodes. */
7
+ export function childNodes(node) {
8
+ const result = [];
9
+ const n = node;
10
+ for (const key of Object.keys(n)) {
11
+ if (key === "kind" || key === "start" || key === "end")
12
+ continue;
13
+ const value = n[key];
14
+ if (Array.isArray(value)) {
15
+ for (const item of value)
16
+ if (item && typeof item === "object" && "kind" in item)
17
+ result.push(item);
18
+ }
19
+ else if (value && typeof value === "object" && "kind" in value) {
20
+ result.push(value);
21
+ }
22
+ }
23
+ return result;
24
+ }
25
+ /** Only value bindings participate in closure capture. */
26
+ export function isCapturable(kind) {
27
+ return (kind === SymbolKind.Var ||
28
+ kind === SymbolKind.Let ||
29
+ kind === SymbolKind.Const ||
30
+ kind === SymbolKind.Parameter);
31
+ }
32
+ /** Extract the textual name of a class member (`method`, `"key"`, `0`). */
33
+ export function classMemberName(name) {
34
+ switch (name.kind) {
35
+ case SyntaxKind.Identifier:
36
+ case SyntaxKind.PrivateIdentifier:
37
+ return name.text;
38
+ case SyntaxKind.StringLiteral:
39
+ return name.value;
40
+ case SyntaxKind.NumericLiteral:
41
+ return String(name.value);
42
+ default:
43
+ return "";
44
+ }
45
+ }
46
+ //# sourceMappingURL=helpers.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/binder/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAgC,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,qEAAqE;AACrE,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,IAA0C,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK;YAAE,SAAS;QACjE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAK,IAAe;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAY,CAAC,CAAC;QAC1H,CAAC;aAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAK,KAAgB,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,KAAa,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,OAAO,CACL,IAAI,KAAK,UAAU,CAAC,GAAG;QACvB,IAAI,KAAK,UAAU,CAAC,GAAG;QACvB,IAAI,KAAK,UAAU,CAAC,KAAK;QACzB,IAAI,KAAK,UAAU,CAAC,SAAS,CAC9B,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,IAAkB;IAChD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,UAAU,CAAC;QAC3B,KAAK,UAAU,CAAC,iBAAiB;YAC/B,OAAQ,IAAoC,CAAC,IAAI,CAAC;QACpD,KAAK,UAAU,CAAC,aAAa;YAC3B,OAAQ,IAAqC,CAAC,KAAK,CAAC;QACtD,KAAK,UAAU,CAAC,cAAc;YAC5B,OAAO,MAAM,CAAE,IAAqC,CAAC,KAAK,CAAC,CAAC;QAC9D;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC"}
@@ -0,0 +1,21 @@
1
+ /**
2
+ * Reference pass: walks statements/expressions, resolves identifier references
3
+ * to symbols, and records closure captures.
4
+ */
5
+ import { type ArrowFunction, type BindingName, type Block, type ClassDeclaration, type ClassExpression, type FunctionDeclaration, type FunctionExpression, type Identifier, type Node, type Statement, type VariableDeclarationList } from "../ast/nodes.js";
6
+ import type { Parameter } from "../ast/declarations.js";
7
+ import { type ClassInfo, type FunctionInfo, type Scope, type SymbolInfo } from "./types.js";
8
+ import type { Binder } from "./binder.js";
9
+ export interface ReferenceMethods {
10
+ bindStatements(this: Binder, statements: readonly Statement[], scope: Scope): void;
11
+ bindBlock(this: Binder, block: Block, scope: Scope): void;
12
+ bindNode(this: Binder, node: Node | undefined, scope: Scope): void;
13
+ bindVariableList(this: Binder, list: VariableDeclarationList, scope: Scope): void;
14
+ bindBindingPattern(this: Binder, name: BindingName, scope: Scope): void;
15
+ bindFunction(this: Binder, node: FunctionDeclaration | FunctionExpression | ArrowFunction, parentScope: Scope, symbol: SymbolInfo | undefined): void;
16
+ bindClass(this: Binder, node: ClassDeclaration | ClassExpression, scope: Scope): void;
17
+ createClassFunction(this: Binder, member: Node, name: string, parameters: readonly Parameter[], body: Block | undefined, parentScope: Scope, info: ClassInfo, isStatic: boolean, isConstructor: boolean): FunctionInfo;
18
+ reference(this: Binder, identifier: Identifier, scope: Scope): void;
19
+ markCaptured(this: Binder, symbol: SymbolInfo): void;
20
+ }
21
+ export declare const referenceMethods: ReferenceMethods;
@@ -0,0 +1,349 @@
1
+ /**
2
+ * Reference pass: walks statements/expressions, resolves identifier references
3
+ * to symbols, and records closure captures.
4
+ */
5
+ import { ModifierKind } from "../ast/kinds.js";
6
+ import { SyntaxKind, } from "../ast/nodes.js";
7
+ import { ScopeKind, SymbolKind, } from "./types.js";
8
+ import { childNodes, classMemberName, isCapturable } from "./helpers.js";
9
+ export const referenceMethods = {
10
+ bindStatements(statements, scope) {
11
+ for (const statement of statements)
12
+ this.bindNode(statement, scope);
13
+ },
14
+ bindBlock(block, scope) {
15
+ const blockScope = this.createScope(ScopeKind.Block, block, scope);
16
+ this.scopes.set(block, blockScope);
17
+ this.predeclareStatements(block.statements, blockScope);
18
+ this.bindStatements(block.statements, blockScope);
19
+ },
20
+ bindNode(node, scope) {
21
+ if (!node)
22
+ return;
23
+ switch (node.kind) {
24
+ case SyntaxKind.Block:
25
+ this.bindBlock(node, scope);
26
+ return;
27
+ case SyntaxKind.VariableStatement:
28
+ this.bindVariableList(node.declarationList, scope);
29
+ return;
30
+ case SyntaxKind.FunctionDeclaration: {
31
+ const fn = node;
32
+ const symbol = this.symbolOfDeclaration.get(fn);
33
+ if (symbol)
34
+ symbol.declarations.length; // keep declaration mapping warm
35
+ this.bindFunction(fn, scope, symbol);
36
+ return;
37
+ }
38
+ case SyntaxKind.FunctionExpression:
39
+ case SyntaxKind.ArrowFunction:
40
+ this.bindFunction(node, scope, undefined);
41
+ return;
42
+ case SyntaxKind.Identifier:
43
+ this.reference(node, scope);
44
+ return;
45
+ case SyntaxKind.PropertyAccessExpression:
46
+ // `obj.name` reads a property, not a variable named `name`.
47
+ this.bindNode(node.expression, scope);
48
+ return;
49
+ case SyntaxKind.ElementAccessExpression: {
50
+ const access = node;
51
+ this.bindNode(access.expression, scope);
52
+ this.bindNode(access.argumentExpression, scope);
53
+ return;
54
+ }
55
+ case SyntaxKind.PropertyAssignment: {
56
+ // `{ key: value }` / `{ key() {} }`: only the value is an expression,
57
+ // except a computed key (`{ [expr]: value }`) whose expression is real.
58
+ const property = node;
59
+ if (property.name.kind === SyntaxKind.ComputedPropertyName) {
60
+ this.bindNode(property.name.expression, scope);
61
+ }
62
+ this.bindNode(property.initializer, scope);
63
+ return;
64
+ }
65
+ case SyntaxKind.ShorthandPropertyAssignment: {
66
+ const shorthand = node;
67
+ this.reference(shorthand.name, scope);
68
+ if (shorthand.initializer)
69
+ this.bindNode(shorthand.initializer, scope);
70
+ return;
71
+ }
72
+ case SyntaxKind.LabeledStatement:
73
+ this.bindNode(node.statement, scope);
74
+ return;
75
+ case SyntaxKind.BreakStatement:
76
+ case SyntaxKind.ContinueStatement:
77
+ return;
78
+ case SyntaxKind.ThisKeyword:
79
+ this.current.usesThis = true;
80
+ return;
81
+ case SyntaxKind.ClassDeclaration:
82
+ case SyntaxKind.ClassExpression:
83
+ this.bindClass(node, scope);
84
+ return;
85
+ case SyntaxKind.InterfaceDeclaration:
86
+ case SyntaxKind.TypeAliasDeclaration:
87
+ // Type-only: skip the body entirely.
88
+ return;
89
+ case SyntaxKind.ImportDeclaration:
90
+ return;
91
+ case SyntaxKind.ExportDeclaration: {
92
+ const exported = node;
93
+ if (exported.exportClause && exported.exportClause.kind === SyntaxKind.NamedExports) {
94
+ for (const specifier of exported.exportClause.elements) {
95
+ if (specifier.propertyName)
96
+ this.reference(specifier.propertyName, scope);
97
+ }
98
+ }
99
+ return;
100
+ }
101
+ case SyntaxKind.ExportAssignment:
102
+ this.bindNode(node.expression, scope);
103
+ return;
104
+ case SyntaxKind.ForStatement: {
105
+ const forNode = node;
106
+ const forScope = this.createScope(ScopeKind.For, forNode, scope);
107
+ this.scopes.set(forNode, forScope);
108
+ if (forNode.initializer) {
109
+ if (forNode.initializer.kind === SyntaxKind.VariableDeclarationList) {
110
+ this.predeclareVariableList(forNode.initializer, forScope);
111
+ this.bindVariableList(forNode.initializer, forScope);
112
+ }
113
+ else {
114
+ this.bindNode(forNode.initializer, forScope);
115
+ }
116
+ }
117
+ this.bindNode(forNode.condition, forScope);
118
+ this.bindNode(forNode.incrementor, forScope);
119
+ this.bindNode(forNode.statement, forScope);
120
+ return;
121
+ }
122
+ case SyntaxKind.ForOfStatement:
123
+ case SyntaxKind.ForInStatement: {
124
+ const loop = node;
125
+ const loopScope = this.createScope(ScopeKind.For, loop, scope);
126
+ this.scopes.set(loop, loopScope);
127
+ if (loop.initializer.kind === SyntaxKind.VariableDeclarationList) {
128
+ this.predeclareVariableList(loop.initializer, loopScope);
129
+ this.bindVariableList(loop.initializer, loopScope);
130
+ }
131
+ else {
132
+ this.bindNode(loop.initializer, loopScope);
133
+ }
134
+ this.bindNode(loop.expression, loopScope);
135
+ this.bindNode(loop.statement, loopScope);
136
+ return;
137
+ }
138
+ case SyntaxKind.CatchClause: {
139
+ const clause = node;
140
+ const catchScope = this.createScope(ScopeKind.Catch, clause, scope);
141
+ this.scopes.set(clause, catchScope);
142
+ if (clause.variable)
143
+ this.declare(clause.variable.text, SymbolKind.Let, clause.variable, catchScope, true);
144
+ this.bindBlock(clause.block, catchScope);
145
+ return;
146
+ }
147
+ default:
148
+ break;
149
+ }
150
+ for (const child of childNodes(node))
151
+ this.bindNode(child, scope);
152
+ },
153
+ bindVariableList(list, scope) {
154
+ for (const declaration of list.declarations) {
155
+ const symbol = this.symbolOfDeclaration.get(declaration);
156
+ if (declaration.name.kind === SyntaxKind.Identifier) {
157
+ this.symbolOfDeclaration.set(declaration.name, symbol ?? this.symbolOfDeclaration.get(declaration));
158
+ }
159
+ else {
160
+ this.bindBindingPattern(declaration.name, scope);
161
+ }
162
+ this.bindNode(declaration.initializer, scope);
163
+ }
164
+ },
165
+ /** Bind default-value expressions inside a binding pattern. */
166
+ bindBindingPattern(name, scope) {
167
+ if (name.kind === SyntaxKind.Identifier)
168
+ return;
169
+ const pattern = name;
170
+ for (const element of pattern.elements) {
171
+ if (!element)
172
+ continue;
173
+ if (element.initializer)
174
+ this.bindNode(element.initializer, scope);
175
+ this.bindBindingPattern(element.name, scope);
176
+ }
177
+ },
178
+ bindFunction(node, parentScope, symbol) {
179
+ const name = node.kind === SyntaxKind.FunctionDeclaration
180
+ ? node.name?.text ?? "(anonymous)"
181
+ : node.kind === SyntaxKind.FunctionExpression
182
+ ? node.name?.text ?? "(anonymous)"
183
+ : "(arrow)";
184
+ const parentFn = this.current;
185
+ const fn = this.createFunction(name, node, parentFn, false, node.kind === SyntaxKind.ArrowFunction);
186
+ this.current = fn;
187
+ const scope = this.createScope(ScopeKind.Function, node, parentScope);
188
+ fn.scope = scope;
189
+ this.scopes.set(node, scope);
190
+ // Parameters live in the function scope.
191
+ const params = [];
192
+ for (const parameter of node.parameters) {
193
+ const paramSymbol = this.declareBinding(parameter.name, SymbolKind.Parameter, parameter, scope, true);
194
+ if (paramSymbol)
195
+ params.push(paramSymbol);
196
+ if (parameter.initializer)
197
+ this.bindNode(parameter.initializer, scope);
198
+ }
199
+ fn.params = params;
200
+ // Initialize a named function expression's own name inside its scope.
201
+ if (node.kind === SyntaxKind.FunctionExpression && node.name) {
202
+ const selfName = node.name;
203
+ this.declare(selfName.text, SymbolKind.Const, selfName, scope, false);
204
+ }
205
+ if (symbol)
206
+ this.symbolOfDeclaration.set(node, symbol);
207
+ const body = node.body;
208
+ if (body) {
209
+ this.collectFunctionScoped([body.kind === SyntaxKind.Block ? body : { kind: SyntaxKind.Block, statements: [], start: body.start, end: body.end }], fn);
210
+ if (body.kind === SyntaxKind.Block) {
211
+ this.predeclareStatements(body.statements, scope);
212
+ this.bindStatements(body.statements, scope);
213
+ }
214
+ else {
215
+ this.bindNode(body, scope);
216
+ }
217
+ }
218
+ this.current = parentFn;
219
+ },
220
+ bindClass(node, scope) {
221
+ const parentFn = this.current;
222
+ const name = node.name ? node.name.text : "(anonymous)";
223
+ let parentExpression;
224
+ let parentClass;
225
+ const heritage = node.heritage.find((clause) => clause.token === "extends");
226
+ if (heritage && heritage.types.length > 0) {
227
+ parentExpression = heritage.types[0].expression;
228
+ this.bindNode(parentExpression, scope);
229
+ if (parentExpression.kind === SyntaxKind.Identifier) {
230
+ const symbol = this.symbolOfIdentifier.get(parentExpression);
231
+ const declaration = symbol?.declarations[0];
232
+ if (declaration)
233
+ parentClass = this.classOfNode.get(declaration);
234
+ }
235
+ }
236
+ const info = {
237
+ id: this.nextClassId++,
238
+ name,
239
+ node,
240
+ scope,
241
+ parent: parentClass,
242
+ parentExpression,
243
+ fields: [],
244
+ methods: [],
245
+ statics: [],
246
+ };
247
+ this.classes.push(info);
248
+ this.classOfNode.set(node, info);
249
+ const classScope = this.createScope(ScopeKind.Block, node, scope);
250
+ this.scopes.set(node, classScope);
251
+ let constructor;
252
+ for (const member of node.members) {
253
+ if (member.kind === SyntaxKind.ConstructorDeclaration) {
254
+ const ctor = member;
255
+ constructor = this.createClassFunction(ctor, "constructor", ctor.parameters, ctor.body, classScope, info, false, true);
256
+ }
257
+ else if (member.kind === SyntaxKind.MethodDeclaration) {
258
+ const method = member;
259
+ const isStatic = method.modifiers.some((modifier) => modifier.modifierKind === ModifierKind.Static);
260
+ const fn = this.createClassFunction(method, classMemberName(method.name), method.parameters, method.body, classScope, info, isStatic, false);
261
+ if (isStatic)
262
+ info.statics.push(fn);
263
+ else
264
+ info.methods.push(fn);
265
+ }
266
+ }
267
+ if (!constructor) {
268
+ constructor = this.createClassFunction(node, "constructor", [], undefined, classScope, info, false, true);
269
+ }
270
+ info.ctor = constructor;
271
+ // Field initializers run in the constructor's context so they can capture
272
+ // enclosing variables.
273
+ for (const member of node.members) {
274
+ if (member.kind === SyntaxKind.PropertyDeclaration) {
275
+ const property = member;
276
+ const isStatic = property.modifiers.some((modifier) => modifier.modifierKind === ModifierKind.Static);
277
+ const owner = this.current;
278
+ this.current = constructor;
279
+ if (property.initializer)
280
+ this.bindNode(property.initializer, classScope);
281
+ this.current = owner;
282
+ info.fields.push({ name: classMemberName(property.name), initializer: property.initializer, fn: constructor, isStatic });
283
+ }
284
+ }
285
+ this.current = parentFn;
286
+ },
287
+ createClassFunction(member, name, parameters, body, parentScope, info, isStatic, isConstructor) {
288
+ const parentFn = this.current;
289
+ const fn = this.createFunction(name, member, parentFn, false, false);
290
+ fn.classInfo = info;
291
+ fn.isStatic = isStatic;
292
+ fn.isConstructor = isConstructor;
293
+ this.current = fn;
294
+ const scope = this.createScope(ScopeKind.Function, member, parentScope);
295
+ fn.scope = scope;
296
+ this.scopes.set(member, scope);
297
+ const params = [];
298
+ for (const parameter of parameters) {
299
+ const paramSymbol = this.declareBinding(parameter.name, SymbolKind.Parameter, parameter, scope, true);
300
+ if (paramSymbol)
301
+ params.push(paramSymbol);
302
+ if (parameter.initializer)
303
+ this.bindNode(parameter.initializer, scope);
304
+ }
305
+ fn.params = params;
306
+ if (body) {
307
+ this.collectFunctionScoped([body], fn);
308
+ this.predeclareStatements(body.statements, scope);
309
+ this.bindStatements(body.statements, scope);
310
+ }
311
+ this.current = parentFn;
312
+ return fn;
313
+ },
314
+ reference(identifier, scope) {
315
+ if (identifier.text === "super") {
316
+ this.current.usesThis = true;
317
+ return;
318
+ }
319
+ let current = scope;
320
+ while (current) {
321
+ const symbol = current.symbols.get(identifier.text);
322
+ if (symbol) {
323
+ symbol.references.push(identifier);
324
+ this.symbolOfIdentifier.set(identifier, symbol);
325
+ // Functions, classes and type-only names are resolved to their
326
+ // declaration sites by codegen; they are never captured as values.
327
+ if (symbol.fn !== this.current && isCapturable(symbol.kind))
328
+ this.markCaptured(symbol);
329
+ return;
330
+ }
331
+ current = current.parent;
332
+ }
333
+ this.unresolved.push(identifier);
334
+ },
335
+ /** Record that `symbol` escapes into `this.current`, threading it through every intermediate closure. */
336
+ markCaptured(symbol) {
337
+ symbol.captured = true;
338
+ symbol.boxed = true;
339
+ let fn = this.current;
340
+ while (fn && fn !== symbol.fn) {
341
+ if (!fn.captureIndex.has(symbol.id)) {
342
+ fn.captureIndex.set(symbol.id, fn.captures.length);
343
+ fn.captures.push(symbol);
344
+ }
345
+ fn = fn.parent;
346
+ }
347
+ },
348
+ };
349
+ //# sourceMappingURL=references.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/binder/references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EACL,UAAU,GAuBX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,SAAS,EACT,UAAU,GAOX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAgBzE,MAAM,CAAC,MAAM,gBAAgB,GAAqB;IAChD,cAAc,CAAC,UAAgC,EAAE,KAAY;QAC3D,KAAK,MAAM,SAAS,IAAI,UAAU;YAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,SAAS,CAAC,KAAY,EAAE,KAAY;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACnC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACxD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACpD,CAAC;IAED,QAAQ,CAAC,IAAsB,EAAE,KAAY;QAC3C,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,KAAK;gBACnB,IAAI,CAAC,SAAS,CAAC,IAAa,EAAE,KAAK,CAAC,CAAC;gBACrC,OAAO;YACT,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,IAAI,CAAC,gBAAgB,CAAE,IAA0B,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;gBAC1E,OAAO;YACT,KAAK,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC;gBACpC,MAAM,EAAE,GAAG,IAA2B,CAAC;gBACvC,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChD,IAAI,MAAM;oBAAG,MAAM,CAAC,YAAuB,CAAC,MAAM,CAAC,CAAC,gCAAgC;gBACpF,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,kBAAkB,CAAC;YACnC,KAAK,UAAU,CAAC,aAAa;gBAC3B,IAAI,CAAC,YAAY,CAAC,IAA0C,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAChF,OAAO;YACT,KAAK,UAAU,CAAC,UAAU;gBACxB,IAAI,CAAC,SAAS,CAAC,IAAkB,EAAE,KAAK,CAAC,CAAC;gBAC1C,OAAO;YACT,KAAK,UAAU,CAAC,wBAAwB;gBACtC,4DAA4D;gBAC5D,IAAI,CAAC,QAAQ,CAAE,IAA8C,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACjF,OAAO;YACT,KAAK,UAAU,CAAC,uBAAuB,CAAC,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,IAA6E,CAAC;gBAC7F,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACxC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;gBAChD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACnC,sEAAsE;gBACtE,wEAAwE;gBACxE,MAAM,QAAQ,GAAG,IAAkE,CAAC;gBACpF,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;oBAC3D,IAAI,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAA8C,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBAC5F,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC3C,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,2BAA2B,CAAC,CAAC,CAAC;gBAC5C,MAAM,SAAS,GAAG,IAAiE,CAAC;gBACpF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtC,IAAI,SAAS,CAAC,WAAW;oBAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,QAAQ,CAAE,IAAuC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBACzE,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO;YACT,KAAK,UAAU,CAAC,WAAW;gBACzB,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;gBAC7B,OAAO;YACT,KAAK,UAAU,CAAC,gBAAgB,CAAC;YACjC,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,SAAS,CAAC,IAA0C,EAAE,KAAK,CAAC,CAAC;gBAClE,OAAO;YACT,KAAK,UAAU,CAAC,oBAAoB,CAAC;YACrC,KAAK,UAAU,CAAC,oBAAoB;gBAClC,qCAAqC;gBACrC,OAAO;YACT,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO;YACT,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAClC,MAAM,QAAQ,GAAG,IAAyB,CAAC;gBAC3C,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;oBACpF,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;wBACvD,IAAI,SAAS,CAAC,YAAY;4BAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;oBAC5E,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,QAAQ,CAAE,IAA8C,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACjF,OAAO;YACT,KAAK,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAAoB,CAAC;gBACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;gBACnC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACxB,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;wBACpE,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,WAAsC,EAAE,QAAQ,CAAC,CAAC;wBACtF,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAsC,EAAE,QAAQ,CAAC,CAAC;oBAClF,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;gBAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC3C,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAuC,CAAC;gBACrD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC/D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACjC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;oBACjE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;oBACzD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;gBAC7C,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC5B,MAAM,MAAM,GAAG,IAAmB,CAAC;gBACnC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBACpC,IAAI,MAAM,CAAC,QAAQ;oBAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBAC3G,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;IAED,gBAAgB,CAAC,IAA6B,EAAE,KAAY;QAC1D,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACzD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBACpD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAe,CAAC,CAAC;YACpH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,kBAAkB,CAAC,IAAiB,EAAE,KAAY;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YAAE,OAAO;QAChD,MAAM,OAAO,GAAG,IAAkD,CAAC;QACnE,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,OAAO,CAAC,WAAW;gBAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACnE,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,YAAY,CACV,IAA8D,EAC9D,WAAkB,EAClB,MAA8B;QAE9B,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;YAC1C,CAAC,CAAE,IAA4B,CAAC,IAAI,EAAE,IAAI,IAAI,aAAa;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB;gBAC3C,CAAC,CAAE,IAA2B,CAAC,IAAI,EAAE,IAAI,IAAI,aAAa;gBAC1D,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QACpG,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAElB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,EAAuB,CAAC,KAAK,GAAG,KAAK,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE7B,yCAAyC;QACzC,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACtG,IAAI,WAAW;gBAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1C,IAAI,SAAS,CAAC,WAAW;gBAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACzE,CAAC;QACA,EAA+B,CAAC,MAAM,GAAG,MAAM,CAAC;QAEjD,sEAAsE;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,IAAK,IAA2B,CAAC,IAAI,EAAE,CAAC;YACrF,MAAM,QAAQ,GAAI,IAA2B,CAAC,IAAK,CAAC;YACpD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,MAAM;YAAE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAEvD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAiD,CAAC;QACpE,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAY,CAAC,EAAE,EAAE,CAAC,CAAC;YAClK,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;gBACnC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBAClD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC;IAC1B,CAAC;IAED,SAAS,CAAC,IAAwC,EAAE,KAAY;QAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;QAExD,IAAI,gBAAwC,CAAC;QAC7C,IAAI,WAAkC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAC5E,IAAI,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,gBAAgB,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,gBAA8B,CAAC,CAAC;gBAC3E,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,WAAW;oBAAE,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAc;YACtB,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE;YACtB,IAAI;YACJ,IAAI;YACJ,KAAK;YACL,MAAM,EAAE,WAAW;YACnB,gBAAgB;YAChB,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEjC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAElC,IAAI,WAAqC,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;gBACtD,MAAM,IAAI,GAAG,MAAgC,CAAC;gBAC9C,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACzH,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,MAA2B,CAAC;gBAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC;gBACpG,MAAM,EAAE,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC7I,IAAI,QAAQ;oBAAG,IAAI,CAAC,OAA0B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;oBAClD,IAAI,CAAC,OAA0B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QAExB,0EAA0E;QAC1E,uBAAuB;QACvB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBACnD,MAAM,QAAQ,GAAG,MAA6B,CAAC;gBAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC;gBACtG,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;gBAC3B,IAAI,CAAC,OAAO,GAAG,WAA8B,CAAC;gBAC9C,IAAI,QAAQ,CAAC,WAAW;oBAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBAC1E,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;gBACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC3H,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC;IAC1B,CAAC;IAED,mBAAmB,CACjB,MAAY,EACZ,IAAY,EACZ,UAAgC,EAChC,IAAuB,EACvB,WAAkB,EAClB,IAAe,EACf,QAAiB,EACjB,aAAsB;QAEtB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,MAAiC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/F,EAAiD,CAAC,SAAS,GAAG,IAAI,CAAC;QACnE,EAA8C,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACnE,EAAmD,CAAC,aAAa,GAAG,aAAa,CAAC;QACnF,IAAI,CAAC,OAAO,GAAG,EAAqB,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvE,EAAuB,CAAC,KAAK,GAAG,KAAK,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAE/B,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACtG,IAAI,WAAW;gBAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1C,IAAI,SAAS,CAAC,WAAW;gBAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACzE,CAAC;QACA,EAA+B,CAAC,MAAM,GAAG,MAAM,CAAC;QAEjD,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,EAAE,EAAqB,CAAC,CAAC;YAC1D,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAClD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,SAAS,CAAC,UAAsB,EAAE,KAAY;QAC5C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC7B,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAsB,KAAK,CAAC;QACvC,OAAO,OAAO,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACpD,IAAI,MAAM,EAAE,CAAC;gBACV,MAAM,CAAC,UAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBAChD,+DAA+D;gBAC/D,mEAAmE;gBACnE,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;gBACvF,OAAO;YACT,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IAED,yGAAyG;IACzG,YAAY,CAAC,MAAkB;QAC7B,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,IAAI,EAAE,GAAgC,IAAI,CAAC,OAAO,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACnD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;YACD,EAAE,GAAG,EAAE,CAAC,MAAqC,CAAC;QAChD,CAAC;IACH,CAAC;CACF,CAAC"}