@aster-cloud/aster-lang-ts 1.0.37 → 1.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (346) hide show
  1. package/CHANGELOG.md +68 -0
  2. package/README.md +13 -7
  3. package/dist/scripts/aster.js +10 -5
  4. package/dist/scripts/aster.js.map +1 -1
  5. package/dist/scripts/core-ir-json.js +8 -3
  6. package/dist/scripts/core-ir-json.js.map +1 -1
  7. package/dist/scripts/emit-classfiles.js +3 -2
  8. package/dist/scripts/emit-classfiles.js.map +1 -1
  9. package/dist/scripts/emit-core.js +8 -5
  10. package/dist/scripts/emit-core.js.map +1 -1
  11. package/dist/scripts/generate-casefold.d.ts +2 -0
  12. package/dist/scripts/generate-casefold.d.ts.map +1 -0
  13. package/dist/scripts/generate-casefold.js +34 -0
  14. package/dist/scripts/generate-casefold.js.map +1 -0
  15. package/dist/scripts/generate-diagnostic-overlays.d.ts +29 -0
  16. package/dist/scripts/generate-diagnostic-overlays.d.ts.map +1 -0
  17. package/dist/scripts/generate-diagnostic-overlays.js +90 -0
  18. package/dist/scripts/generate-diagnostic-overlays.js.map +1 -0
  19. package/dist/scripts/golden.js +45 -20
  20. package/dist/scripts/golden.js.map +1 -1
  21. package/dist/scripts/perf-benchmark.js +1 -0
  22. package/dist/scripts/perf-benchmark.js.map +1 -1
  23. package/dist/scripts/profile-medium-project.js +1 -1
  24. package/dist/scripts/profile-medium-project.js.map +1 -1
  25. package/dist/scripts/repl.js +3 -8
  26. package/dist/scripts/repl.js.map +1 -1
  27. package/dist/scripts/typecheck-cli.js +10 -9
  28. package/dist/scripts/typecheck-cli.js.map +1 -1
  29. package/dist/scripts/update-eff-violation-expected.js +6 -6
  30. package/dist/scripts/update-eff-violation-expected.js.map +1 -1
  31. package/dist/scripts/verify-capabilities.js +3 -6
  32. package/dist/scripts/verify-capabilities.js.map +1 -1
  33. package/dist/scripts/verify-lexicon-sync.js +26 -0
  34. package/dist/scripts/verify-lexicon-sync.js.map +1 -1
  35. package/dist/src/ai/validator.d.ts +1 -1
  36. package/dist/src/ai/validator.d.ts.map +1 -1
  37. package/dist/src/ai/validator.js +12 -12
  38. package/dist/src/ai/validator.js.map +1 -1
  39. package/dist/src/ast/ast.d.ts +2 -0
  40. package/dist/src/ast/ast.d.ts.map +1 -1
  41. package/dist/src/ast/ast.js +6 -0
  42. package/dist/src/ast/ast.js.map +1 -1
  43. package/dist/src/ast/type-nodes.d.ts +25 -0
  44. package/dist/src/ast/type-nodes.d.ts.map +1 -0
  45. package/dist/src/ast/type-nodes.js +56 -0
  46. package/dist/src/ast/type-nodes.js.map +1 -0
  47. package/dist/src/browser.d.ts +27 -10
  48. package/dist/src/browser.d.ts.map +1 -1
  49. package/dist/src/browser.js +44 -55
  50. package/dist/src/browser.js.map +1 -1
  51. package/dist/src/cli/policy-converter.js +5 -9
  52. package/dist/src/cli/policy-converter.js.map +1 -1
  53. package/dist/src/cnl-printer.d.ts.map +1 -1
  54. package/dist/src/cnl-printer.js +10 -9
  55. package/dist/src/cnl-printer.js.map +1 -1
  56. package/dist/src/compile-pipeline.d.ts +48 -0
  57. package/dist/src/compile-pipeline.d.ts.map +1 -0
  58. package/dist/src/compile-pipeline.js +89 -0
  59. package/dist/src/compile-pipeline.js.map +1 -0
  60. package/dist/src/config/lexicons/diagnostic-messages.d.ts +7 -5
  61. package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
  62. package/dist/src/config/lexicons/diagnostic-messages.js +17 -105
  63. package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
  64. package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts +9 -0
  65. package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -0
  66. package/dist/src/config/lexicons/diagnostic-overlays.generated.js +615 -0
  67. package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -0
  68. package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts +9 -0
  69. package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts.map +1 -0
  70. package/dist/src/config/lexicons/identifiers/casefold-table.generated.js +1467 -0
  71. package/dist/src/config/lexicons/identifiers/casefold-table.generated.js.map +1 -0
  72. package/dist/src/config/lexicons/identifiers/casefold.d.ts +7 -0
  73. package/dist/src/config/lexicons/identifiers/casefold.d.ts.map +1 -0
  74. package/dist/src/config/lexicons/identifiers/casefold.js +37 -0
  75. package/dist/src/config/lexicons/identifiers/casefold.js.map +1 -0
  76. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.d.ts.map +1 -1
  77. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js +8 -0
  78. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js.map +1 -1
  79. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.d.ts.map +1 -1
  80. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js +8 -0
  81. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js.map +1 -1
  82. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.d.ts.map +1 -1
  83. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js +8 -0
  84. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js.map +1 -1
  85. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.d.ts.map +1 -1
  86. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js +6 -0
  87. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js.map +1 -1
  88. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.d.ts.map +1 -1
  89. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js +6 -0
  90. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js.map +1 -1
  91. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.d.ts.map +1 -1
  92. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js +6 -0
  93. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js.map +1 -1
  94. package/dist/src/config/lexicons/identifiers/index.d.ts +7 -9
  95. package/dist/src/config/lexicons/identifiers/index.d.ts.map +1 -1
  96. package/dist/src/config/lexicons/identifiers/index.js +8 -9
  97. package/dist/src/config/lexicons/identifiers/index.js.map +1 -1
  98. package/dist/src/config/lexicons/identifiers/registry.d.ts +11 -5
  99. package/dist/src/config/lexicons/identifiers/registry.d.ts.map +1 -1
  100. package/dist/src/config/lexicons/identifiers/registry.js +20 -14
  101. package/dist/src/config/lexicons/identifiers/registry.js.map +1 -1
  102. package/dist/src/config/lexicons/identifiers/scopes.d.ts +52 -0
  103. package/dist/src/config/lexicons/identifiers/scopes.d.ts.map +1 -0
  104. package/dist/src/config/lexicons/identifiers/scopes.js +166 -0
  105. package/dist/src/config/lexicons/identifiers/scopes.js.map +1 -0
  106. package/dist/src/config/lexicons/identifiers/types.d.ts +15 -29
  107. package/dist/src/config/lexicons/identifiers/types.d.ts.map +1 -1
  108. package/dist/src/config/lexicons/identifiers/types.js +91 -101
  109. package/dist/src/config/lexicons/identifiers/types.js.map +1 -1
  110. package/dist/src/config/lexicons/lsp-ui-texts.d.ts +7 -0
  111. package/dist/src/config/lexicons/lsp-ui-texts.d.ts.map +1 -1
  112. package/dist/src/config/lexicons/lsp-ui-texts.js +12 -0
  113. package/dist/src/config/lexicons/lsp-ui-texts.js.map +1 -1
  114. package/dist/src/config/semantic.d.ts +5 -0
  115. package/dist/src/config/semantic.d.ts.map +1 -1
  116. package/dist/src/config/semantic.js +12 -0
  117. package/dist/src/config/semantic.js.map +1 -1
  118. package/dist/src/core/core_ir.d.ts +2 -0
  119. package/dist/src/core/core_ir.d.ts.map +1 -1
  120. package/dist/src/core/core_ir.js +6 -0
  121. package/dist/src/core/core_ir.js.map +1 -1
  122. package/dist/src/core/inferred_fields.d.ts +10 -0
  123. package/dist/src/core/inferred_fields.d.ts.map +1 -1
  124. package/dist/src/core/inferred_fields.js +9 -0
  125. package/dist/src/core/inferred_fields.js.map +1 -1
  126. package/dist/src/core/interpreter.d.ts.map +1 -1
  127. package/dist/src/core/interpreter.js +12 -10
  128. package/dist/src/core/interpreter.js.map +1 -1
  129. package/dist/src/core/resolution-mark.d.ts +28 -0
  130. package/dist/src/core/resolution-mark.d.ts.map +1 -0
  131. package/dist/src/core/resolution-mark.js +19 -0
  132. package/dist/src/core/resolution-mark.js.map +1 -0
  133. package/dist/src/core/resolve-typed-references.d.ts +36 -0
  134. package/dist/src/core/resolve-typed-references.d.ts.map +1 -0
  135. package/dist/src/core/resolve-typed-references.js +703 -0
  136. package/dist/src/core/resolve-typed-references.js.map +1 -0
  137. package/dist/src/diagnostics/error_codes.d.ts +11 -1
  138. package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
  139. package/dist/src/diagnostics/error_codes.js +80 -0
  140. package/dist/src/diagnostics/error_codes.js.map +1 -1
  141. package/dist/src/frontend/canonicalizer.d.ts +8 -13
  142. package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
  143. package/dist/src/frontend/canonicalizer.js +19 -48
  144. package/dist/src/frontend/canonicalizer.js.map +1 -1
  145. package/dist/src/frontend/resolution-choice.d.ts +34 -0
  146. package/dist/src/frontend/resolution-choice.d.ts.map +1 -0
  147. package/dist/src/frontend/resolution-choice.js +69 -0
  148. package/dist/src/frontend/resolution-choice.js.map +1 -0
  149. package/dist/src/frontend/resolution-context.d.ts +28 -0
  150. package/dist/src/frontend/resolution-context.d.ts.map +1 -0
  151. package/dist/src/frontend/resolution-context.js +7 -0
  152. package/dist/src/frontend/resolution-context.js.map +1 -0
  153. package/dist/src/frontend/resolve-declarations.d.ts +13 -0
  154. package/dist/src/frontend/resolve-declarations.d.ts.map +1 -0
  155. package/dist/src/frontend/resolve-declarations.js +595 -0
  156. package/dist/src/frontend/resolve-declarations.js.map +1 -0
  157. package/dist/src/frontend/resolve-policy-types.d.ts +54 -0
  158. package/dist/src/frontend/resolve-policy-types.d.ts.map +1 -0
  159. package/dist/src/frontend/resolve-policy-types.js +71 -0
  160. package/dist/src/frontend/resolve-policy-types.js.map +1 -0
  161. package/dist/src/index.d.ts +14 -7
  162. package/dist/src/index.d.ts.map +1 -1
  163. package/dist/src/index.js +14 -7
  164. package/dist/src/index.js.map +1 -1
  165. package/dist/src/lower_to_core.d.ts +2 -16
  166. package/dist/src/lower_to_core.d.ts.map +1 -1
  167. package/dist/src/lower_to_core.js +105 -44
  168. package/dist/src/lower_to_core.js.map +1 -1
  169. package/dist/src/lsp/canonicalize-options.d.ts +8 -11
  170. package/dist/src/lsp/canonicalize-options.d.ts.map +1 -1
  171. package/dist/src/lsp/canonicalize-options.js +8 -8
  172. package/dist/src/lsp/canonicalize-options.js.map +1 -1
  173. package/dist/src/lsp/completion.d.ts +55 -5
  174. package/dist/src/lsp/completion.d.ts.map +1 -1
  175. package/dist/src/lsp/completion.js +149 -0
  176. package/dist/src/lsp/completion.js.map +1 -1
  177. package/dist/src/lsp/diagnostics.d.ts +2 -0
  178. package/dist/src/lsp/diagnostics.d.ts.map +1 -1
  179. package/dist/src/lsp/diagnostics.js +84 -73
  180. package/dist/src/lsp/diagnostics.js.map +1 -1
  181. package/dist/src/lsp/navigation/definition.d.ts +2 -1
  182. package/dist/src/lsp/navigation/definition.d.ts.map +1 -1
  183. package/dist/src/lsp/navigation/definition.js +35 -1
  184. package/dist/src/lsp/navigation/definition.js.map +1 -1
  185. package/dist/src/lsp/navigation/hover.d.ts +12 -5
  186. package/dist/src/lsp/navigation/hover.d.ts.map +1 -1
  187. package/dist/src/lsp/navigation/hover.js +136 -90
  188. package/dist/src/lsp/navigation/hover.js.map +1 -1
  189. package/dist/src/lsp/parse-document.d.ts +4 -1
  190. package/dist/src/lsp/parse-document.d.ts.map +1 -1
  191. package/dist/src/lsp/parse-document.js +20 -17
  192. package/dist/src/lsp/parse-document.js.map +1 -1
  193. package/dist/src/lsp/resolution.d.ts +40 -0
  194. package/dist/src/lsp/resolution.d.ts.map +1 -0
  195. package/dist/src/lsp/resolution.js +179 -0
  196. package/dist/src/lsp/resolution.js.map +1 -0
  197. package/dist/src/lsp/server.js +3 -1
  198. package/dist/src/lsp/server.js.map +1 -1
  199. package/dist/src/lsp/source-positions.d.ts +2 -8
  200. package/dist/src/lsp/source-positions.d.ts.map +1 -1
  201. package/dist/src/lsp/source-positions.js +4 -16
  202. package/dist/src/lsp/source-positions.js.map +1 -1
  203. package/dist/src/mapping/pipeline.js +3 -2
  204. package/dist/src/mapping/pipeline.js.map +1 -1
  205. package/dist/src/mapping/review-queue.d.ts.map +1 -1
  206. package/dist/src/mapping/review-queue.js +3 -2
  207. package/dist/src/mapping/review-queue.js.map +1 -1
  208. package/dist/src/parser/context.d.ts +3 -1
  209. package/dist/src/parser/context.d.ts.map +1 -1
  210. package/dist/src/parser/context.js +1 -0
  211. package/dist/src/parser/context.js.map +1 -1
  212. package/dist/src/parser/decl-parser.d.ts.map +1 -1
  213. package/dist/src/parser/decl-parser.js +7 -5
  214. package/dist/src/parser/decl-parser.js.map +1 -1
  215. package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
  216. package/dist/src/parser/expr-stmt-parser.js +2 -16
  217. package/dist/src/parser/expr-stmt-parser.js.map +1 -1
  218. package/dist/src/parser/type-parser.d.ts.map +1 -1
  219. package/dist/src/parser/type-parser.js +42 -0
  220. package/dist/src/parser/type-parser.js.map +1 -1
  221. package/dist/src/parser.d.ts.map +1 -1
  222. package/dist/src/parser.js +6 -1
  223. package/dist/src/parser.js.map +1 -1
  224. package/dist/src/typecheck/diagnostics.d.ts +10 -0
  225. package/dist/src/typecheck/diagnostics.d.ts.map +1 -1
  226. package/dist/src/typecheck/diagnostics.js +27 -0
  227. package/dist/src/typecheck/diagnostics.js.map +1 -1
  228. package/dist/src/typecheck/expression.d.ts.map +1 -1
  229. package/dist/src/typecheck/expression.js +13 -0
  230. package/dist/src/typecheck/expression.js.map +1 -1
  231. package/dist/src/typecheck/generics.d.ts +5 -0
  232. package/dist/src/typecheck/generics.d.ts.map +1 -1
  233. package/dist/src/typecheck/generics.js +15 -8
  234. package/dist/src/typecheck/generics.js.map +1 -1
  235. package/dist/src/types.d.ts +59 -13
  236. package/dist/src/types.d.ts.map +1 -1
  237. package/dist/src/types.js.map +1 -1
  238. package/dist/src/version.d.ts +18 -0
  239. package/dist/src/version.d.ts.map +1 -0
  240. package/dist/src/version.js +18 -0
  241. package/dist/src/version.js.map +1 -0
  242. package/dist/test/integration/builtin-enum-vocabulary.test.d.ts +2 -0
  243. package/dist/test/integration/builtin-enum-vocabulary.test.d.ts.map +1 -0
  244. package/dist/test/integration/builtin-enum-vocabulary.test.js +51 -0
  245. package/dist/test/integration/builtin-enum-vocabulary.test.js.map +1 -0
  246. package/dist/test/integration/lsp/lsp-rename-safety.test.js +0 -13
  247. package/dist/test/integration/lsp/lsp-rename-safety.test.js.map +1 -1
  248. package/dist/test/integration/name-resolution-entrypoints.test.d.ts +2 -0
  249. package/dist/test/integration/name-resolution-entrypoints.test.d.ts.map +1 -0
  250. package/dist/test/integration/name-resolution-entrypoints.test.js +109 -0
  251. package/dist/test/integration/name-resolution-entrypoints.test.js.map +1 -0
  252. package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts +2 -0
  253. package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts.map +1 -0
  254. package/dist/test/integration/scripts/typecheck-cli-repl.test.js +133 -0
  255. package/dist/test/integration/scripts/typecheck-cli-repl.test.js.map +1 -0
  256. package/dist/test/integration/vocabulary-resolution.test.d.ts +2 -0
  257. package/dist/test/integration/vocabulary-resolution.test.d.ts.map +1 -0
  258. package/dist/test/integration/vocabulary-resolution.test.js +291 -0
  259. package/dist/test/integration/vocabulary-resolution.test.js.map +1 -0
  260. package/dist/test/property/property.test.js +2 -1
  261. package/dist/test/property/property.test.js.map +1 -1
  262. package/dist/test/unit/canonicalizer/canonicalizer.test.js +7 -79
  263. package/dist/test/unit/canonicalizer/canonicalizer.test.js.map +1 -1
  264. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js +134 -31
  265. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js.map +1 -1
  266. package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js +16 -18
  267. package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js.map +1 -1
  268. package/dist/test/unit/core/resolve-typed-references.test.d.ts +2 -0
  269. package/dist/test/unit/core/resolve-typed-references.test.d.ts.map +1 -0
  270. package/dist/test/unit/core/resolve-typed-references.test.js +600 -0
  271. package/dist/test/unit/core/resolve-typed-references.test.js.map +1 -0
  272. package/dist/test/unit/diagnostics/diagnostic-overlays.test.d.ts +2 -0
  273. package/dist/test/unit/diagnostics/diagnostic-overlays.test.d.ts.map +1 -0
  274. package/dist/test/unit/diagnostics/diagnostic-overlays.test.js +156 -0
  275. package/dist/test/unit/diagnostics/diagnostic-overlays.test.js.map +1 -0
  276. package/dist/test/unit/diagnostics/resolution-codes.test.d.ts +6 -0
  277. package/dist/test/unit/diagnostics/resolution-codes.test.d.ts.map +1 -0
  278. package/dist/test/unit/diagnostics/resolution-codes.test.js +96 -0
  279. package/dist/test/unit/diagnostics/resolution-codes.test.js.map +1 -0
  280. package/dist/test/unit/formatter-corpus-roundtrip.test.js +5 -0
  281. package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
  282. package/dist/test/unit/formatter-roundtrip.test.js +84 -0
  283. package/dist/test/unit/formatter-roundtrip.test.js.map +1 -1
  284. package/dist/test/unit/frontend/resolve-declarations.test.d.ts +2 -0
  285. package/dist/test/unit/frontend/resolve-declarations.test.d.ts.map +1 -0
  286. package/dist/test/unit/frontend/resolve-declarations.test.js +459 -0
  287. package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -0
  288. package/dist/test/unit/identifiers/casefold.test.d.ts +2 -0
  289. package/dist/test/unit/identifiers/casefold.test.d.ts.map +1 -0
  290. package/dist/test/unit/identifiers/casefold.test.js +77 -0
  291. package/dist/test/unit/identifiers/casefold.test.js.map +1 -0
  292. package/dist/test/unit/identifiers/scopes.test.d.ts +2 -0
  293. package/dist/test/unit/identifiers/scopes.test.d.ts.map +1 -0
  294. package/dist/test/unit/identifiers/scopes.test.js +109 -0
  295. package/dist/test/unit/identifiers/scopes.test.js.map +1 -0
  296. package/dist/test/unit/lambda-capture-parity.test.js +12 -5
  297. package/dist/test/unit/lambda-capture-parity.test.js.map +1 -1
  298. package/dist/test/unit/lsp/lsp-locale-fixes.test.js +10 -11
  299. package/dist/test/unit/lsp/lsp-locale-fixes.test.js.map +1 -1
  300. package/dist/test/unit/lsp/parse-document.test.js +42 -0
  301. package/dist/test/unit/lsp/parse-document.test.js.map +1 -1
  302. package/dist/test/unit/lsp/resolution-completion.test.d.ts +2 -0
  303. package/dist/test/unit/lsp/resolution-completion.test.d.ts.map +1 -0
  304. package/dist/test/unit/lsp/resolution-completion.test.js +132 -0
  305. package/dist/test/unit/lsp/resolution-completion.test.js.map +1 -0
  306. package/dist/test/unit/lsp/resolution-definition.test.d.ts +2 -0
  307. package/dist/test/unit/lsp/resolution-definition.test.d.ts.map +1 -0
  308. package/dist/test/unit/lsp/resolution-definition.test.js +75 -0
  309. package/dist/test/unit/lsp/resolution-definition.test.js.map +1 -0
  310. package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts +2 -0
  311. package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts.map +1 -0
  312. package/dist/test/unit/lsp/resolution-diagnostics.test.js +88 -0
  313. package/dist/test/unit/lsp/resolution-diagnostics.test.js.map +1 -0
  314. package/dist/test/unit/lsp/resolution-fixture.d.ts +32 -0
  315. package/dist/test/unit/lsp/resolution-fixture.d.ts.map +1 -0
  316. package/dist/test/unit/lsp/resolution-fixture.js +69 -0
  317. package/dist/test/unit/lsp/resolution-fixture.js.map +1 -0
  318. package/dist/test/unit/lsp/resolution-hover.test.d.ts +2 -0
  319. package/dist/test/unit/lsp/resolution-hover.test.d.ts.map +1 -0
  320. package/dist/test/unit/lsp/resolution-hover.test.js +107 -0
  321. package/dist/test/unit/lsp/resolution-hover.test.js.map +1 -0
  322. package/dist/test/unit/lsp/tenant-vocabulary.test.js +21 -47
  323. package/dist/test/unit/lsp/tenant-vocabulary.test.js.map +1 -1
  324. package/dist/test/unit/parser/func-type.test.d.ts +2 -0
  325. package/dist/test/unit/parser/func-type.test.d.ts.map +1 -0
  326. package/dist/test/unit/parser/func-type.test.js +161 -0
  327. package/dist/test/unit/parser/func-type.test.js.map +1 -0
  328. package/dist/test/unit/parser/parser.test.js +33 -0
  329. package/dist/test/unit/parser/parser.test.js.map +1 -1
  330. package/dist/test/unit/public-api-checked-entries.test.d.ts +2 -0
  331. package/dist/test/unit/public-api-checked-entries.test.d.ts.map +1 -0
  332. package/dist/test/unit/public-api-checked-entries.test.js +28 -0
  333. package/dist/test/unit/public-api-checked-entries.test.js.map +1 -0
  334. package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts +2 -0
  335. package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts.map +1 -0
  336. package/dist/test/unit/typecheck/qualified-enum-member.test.js +73 -0
  337. package/dist/test/unit/typecheck/qualified-enum-member.test.js.map +1 -0
  338. package/dist/test/unit/version.test.d.ts +9 -0
  339. package/dist/test/unit/version.test.d.ts.map +1 -0
  340. package/dist/test/unit/version.test.js +34 -0
  341. package/dist/test/unit/version.test.js.map +1 -0
  342. package/package.json +2 -1
  343. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts +0 -47
  344. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts.map +0 -1
  345. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js +0 -142
  346. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"policy-converter.js","sourceRoot":"","sources":["../../../src/cli/policy-converter.ts"],"names":[],"mappings":";AACA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE7E;;GAEG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;QACtB,aAAa;QACb,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,QAAQ;IACR,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,CAAC,0BAA0B,SAAS,EAAE,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,SAAiB,EAAE,UAAmB;IAC3D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QAEpC,gDAAgD;QAChD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,+CAA+C;QAC/C,wCAAwC;QACxC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACpE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,cAAc,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK;gBACpD,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAEhC,YAAY;QACZ,MAAM,QAAQ,GAAG;YACf,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACrC,MAAM,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YAC/C,eAAe,EAAE,OAAO;SACzB,CAAC;QACF,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE/C,iBAAiB;QACjB,IAAI,UAAU,EAAE,CAAC;YACf,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3C,OAAO,CAAC,KAAK,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC3C,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAChC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB,EAAE,UAAmB;IACvD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QAElC,sBAAsB;QACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAEvC,yBAAyB;QACzB,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEjC,iBAAiB;QACjB,IAAI,UAAU,EAAE,CAAC;YACf,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YAC1C,OAAO,CAAC,KAAK,CAAC,kBAAkB,UAAU,EAAE,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC1C,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAChC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ;IACf,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmCb,CAAC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACxF,QAAQ,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,aAAa;IACb,IAAI,UAA8B,CAAC;IACnC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,WAAW,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;QAChD,UAAU,GAAG,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACpD,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,iBAAiB;YACpB,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACrC,MAAM;QAER,KAAK,aAAa;YAChB,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACjC,MAAM;QAER;YACE,OAAO,CAAC,KAAK,CAAC,2BAA2B,OAAO,GAAG,CAAC,CAAC;YACrD,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}
1
+ {"version":3,"file":"policy-converter.js","sourceRoot":"","sources":["../../../src/cli/policy-converter.ts"],"names":[],"mappings":";AACA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE7E;;GAEG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;QACtB,aAAa;QACb,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,QAAQ;IACR,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,CAAC,0BAA0B,SAAS,EAAE,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,SAAiB,EAAE,UAAmB;IAC3D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QAEpC,oEAAoE;QACpE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACjD,+CAA+C;QAC/C,wCAAwC;QACxC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACpE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,cAAc,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK;gBACpD,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzG,CAAC;QACJ,CAAC;QACD,4CAA4C;QAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QAEhD,YAAY;QACZ,MAAM,QAAQ,GAAG;YACf,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACrC,MAAM,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YAC/C,eAAe,EAAE,OAAO;SACzB,CAAC;QACF,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE/C,iBAAiB;QACjB,IAAI,UAAU,EAAE,CAAC;YACf,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3C,OAAO,CAAC,KAAK,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC3C,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAChC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB,EAAE,UAAmB;IACvD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QAElC,sBAAsB;QACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAEvC,yBAAyB;QACzB,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEjC,iBAAiB;QACjB,IAAI,UAAU,EAAE,CAAC;YACf,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YAC1C,OAAO,CAAC,KAAK,CAAC,kBAAkB,UAAU,EAAE,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC1C,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAChC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ;IACf,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmCb,CAAC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACxF,QAAQ,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,aAAa;IACb,IAAI,UAA8B,CAAC;IACnC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,WAAW,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;QAChD,UAAU,GAAG,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACpD,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,iBAAiB;YACpB,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACrC,MAAM;QAER,KAAK,aAAa;YAChB,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACjC,MAAM;QAER;YACE,OAAO,CAAC,KAAK,CAAC,2BAA2B,OAAO,GAAG,CAAC,CAAC;YACrD,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"cnl-printer.d.ts","sourceRoot":"","sources":["../../src/cnl-printer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAWV,MAAM,EAMP,MAAM,YAAY,CAAC;AA4GpB,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7C"}
1
+ {"version":3,"file":"cnl-printer.d.ts","sourceRoot":"","sources":["../../src/cnl-printer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAWV,MAAM,EAMP,MAAM,YAAY,CAAC;AAwGpB,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7C"}
@@ -1,4 +1,5 @@
1
1
  import { inferLambdaReturnType } from './parser/expr-stmt-parser.js';
2
+ import { isExplicitTypeParam, signatureTypeNames } from './ast/type-nodes.js';
2
3
  const COMPARISON_PREC = 4;
3
4
  const ATOM_PREC = 7;
4
5
  const OPERATORS = new Map([
@@ -79,10 +80,6 @@ function isArrowLambda(e) {
79
80
  function stripSpans(t) {
80
81
  return JSON.parse(JSON.stringify(t, (k, v) => (k === 'span' ? undefined : v)));
81
82
  }
82
- /** 类型中是否出现显式类型变量(说明原文写了 `of T`,否则类型参数由推断得出) */
83
- function hasTypeVar(t) {
84
- return JSON.stringify(t).includes('"kind":"TypeVar"');
85
- }
86
83
  export function printModule(m) {
87
84
  return new CnlPrinter().module(m);
88
85
  }
@@ -96,7 +93,9 @@ class CnlPrinter {
96
93
  // ADR 0046:档案声明紧跟模块头
97
94
  if (m.name && m.profile !== undefined)
98
95
  head.push(`Profile ${JSON.stringify(m.profile)}.`);
99
- const decls = m.decls.map(d => this.decl(d));
96
+ // 类型别名不在 decls 中;统一前置于其余声明(别名可先用后定义,位置不影响语义)
97
+ const aliases = (m.typeAliasDecls ?? []).map(a => `Type ${a.name} as ${this.type(a.type)}.`);
98
+ const decls = [...aliases, ...m.decls.map(d => this.decl(d))];
100
99
  if (head.length === 0)
101
100
  return decls.join('\n\n');
102
101
  return decls.length > 0 ? `${head.join('\n')}\n\n${decls.join('\n\n')}` : head.join('\n');
@@ -152,10 +151,11 @@ class CnlPrinter {
152
151
  return `${annotations}${head}.`;
153
152
  return `${annotations}${head}:\n${this.block(f.body, 1)}`;
154
153
  }
155
- /** 只有原文显式写了 `of T` 时类型里才有 TypeVar;推断出的类型参数不写,由解析器重新推断 */
154
+ /** 原文显式写了 `of T` 才输出(含只在函数体内使用的 T);推断出的类型参数不写,由解析器重新推断 */
156
155
  explicitTypeParams(f) {
157
- const explicit = f.params.some(p => hasTypeVar(p.type)) || hasTypeVar(f.retType);
158
- return explicit && f.typeParams.length > 0 ? ` of ${f.typeParams.join(' and ')}` : '';
156
+ const names = signatureTypeNames(f);
157
+ const explicit = f.typeParams.some(name => isExplicitTypeParam(names, name));
158
+ return explicit ? ` of ${f.typeParams.join(' and ')}` : '';
159
159
  }
160
160
  /** `. It performs io and cpu [Http, Sql]`;只在有基础效果或显式能力时输出 */
161
161
  effectClause(f) {
@@ -339,7 +339,8 @@ class CnlPrinter {
339
339
  case 'TypeVar':
340
340
  return t.name;
341
341
  case 'Maybe':
342
- return `${this.type(t.type)}?`;
342
+ // `(A) -> B?` 的 `?` 归返回类型,可空的函数类型须加括号
343
+ return t.type.kind === 'FuncType' ? `(${this.type(t.type)})?` : `${this.type(t.type)}?`;
343
344
  case 'Option':
344
345
  return `Option of ${this.type(t.type)}`;
345
346
  case 'Result':
@@ -1 +1 @@
1
- {"version":3,"file":"cnl-printer.js","sourceRoot":"","sources":["../../src/cnl-printer.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAQrE,MAAM,eAAe,GAAG,CAAC,CAAC;AAC1B,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,SAAS,GAAsC,IAAI,GAAG,CAAuB;IACjF,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7D,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAChE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC1C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAChD,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACzD,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC,CAAC;AAEH,iCAAiC;AACjC,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAE1G,2CAA2C;AAC3C,SAAS,UAAU,CAAC,CAAa;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACpE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CAAC,CAAa;IACjC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACvC,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,QAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,MAAM,CAAC,OAAO,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,QAAS,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,OAAQ,GAAG,QAAQ,CAAC;IACnC,MAAM,KAAK,GAAG,OAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;AACtF,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,CAAa;IACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAoC,CAAC,IAAI,CAAC,CAAC;QAC/G,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAUD,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,2DAA2D;AAC3D,SAAS,aAAa,CAAC,CAAkC;IACvD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,CAAO;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,+CAA+C;AAC/C,SAAS,UAAU,CAAC,CAAO;IACzB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,OAAO,IAAI,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU;IACd,qCAAqC;IAC7B,KAAK,GAAG,CAAC,CAAC;IAElB,MAAM,CAAC,CAAS;QACd,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3C,qBAAqB;QACrB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,CAAC,CAAc;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,OAAO,OAAO,CAAC,CAAC,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,CAAC;YAC7C,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAO;QACV,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO,UAAU,CAAC,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtD,CAAC;IAED,QAAQ,CAAC,CAAO;QACd,OAAO,UAAU,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAChE,CAAC;IAED,gCAAgC;IAChC,OAAO,CAAC,CAAU;QAChB,MAAM,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5E,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,UAAU,CAAC,CAAa;QACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,UAAU;gBACb,OAAO,UAAU,CAAC;YACpB,KAAK,SAAS;gBACZ,OAAO,oBAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;oBAAE,OAAO,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvF,OAAO,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAO;QACV,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,MAAM,GAAG,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,IAAI,GAAG,UAAU,GAAG,MAAM,YAAY,GAAG,GAAG,OAAO,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,IAAI,CAAC,CAAC,CAAC,IAAI;YAAE,OAAO,GAAG,WAAW,GAAG,IAAI,GAAG,CAAC;QAC7C,OAAO,GAAG,WAAW,GAAG,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED,yDAAyD;IACzD,kBAAkB,CAAC,CAAO;QACxB,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjF,OAAO,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC;IAED,6DAA6D;IAC7D,YAAY,CAAC,CAAO;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,CAAC,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,2CAA2C;IAC3C,UAAU,CAAC,CAAa;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACpC,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5F,OAAO,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpE,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,CAAQ,EAAE,GAAW;QACzB,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,CAAC,CAAY,EAAE,GAAW;QAC5B,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,KAAK;gBACR,yBAAyB;gBACzB,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACzF,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAClD,KAAK,QAAQ;gBACX,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACxC,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,CAAC,IAAI,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1D,KAAK,MAAM;gBACT,OAAO,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAC9C,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,KAAK,OAAO;gBACV,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnG,KAAK,OAAO;gBACV,2BAA2B;gBAC3B,OAAO,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;YACpD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/B;gBACE,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,CAAC,CAA6B,EAAE,GAAW;QAC/C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,IAAI,CAAC,CAAC,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC;IAED,SAAS,CAAC,CAAO,EAAE,GAAW;QAC5B,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QAC9D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjF,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IACnD,CAAC;IAED,QAAQ,CAAC,CAAe,EAAE,GAAW;QACnC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC;YAC9F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,YAAY,GAAG,IAAI,WAAW,CAAC,CAAC;QAClG,uBAAuB;QACvB,OAAO,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,EAAY,EAAE,GAAW;QAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,gBAAgB,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC3E,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,GAAG,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACtF,IAAI,CAAC,EAAE,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,OAAO,CAAC,CAAU;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,aAAa;gBAChB,OAAO,MAAM,CAAC;YAChB,KAAK,YAAY;gBACf,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,KAAK,aAAa;gBAChB,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACxG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjF,OAAO,CAAC,CAAC,QAAQ,CAAC;YACpB,CAAC;YACD;gBACE,OAAO,MAAM,CAAE,CAAwB,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,aAAa,CAAC,CAAa;QACzB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,CAAa;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,KAAK,MAAM;gBACT,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;YACvB,KAAK,QAAQ;gBACX,OAAO,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9B,KAAK,SAAS;gBACZ,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;YACvB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjC,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,IAAI;gBACP,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,KAAK,KAAK;gBACR,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM;gBACT,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,OAAO;gBACV,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACvC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC7D,KAAK,WAAW;gBACd,OAAO,GAAG,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtF,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,KAAK,QAAQ;gBACX,6CAA6C;gBAC7C,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACjG,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,cAAc,CAAC,CAAiB;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,GAAG,CAAC,CAAC,IAAI,WAAW,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9E,CAAC;IAED,IAAI,CAAC,CAAgC;QACnC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACrF,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClE,CAAC;IAED,wDAAwD;IACxD,YAAY,CAAC,EAAgB,EAAE,IAA2B;QACxD,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,GAAG,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;IAChG,CAAC;IAED,OAAO,CAAC,CAAa,EAAE,OAAe;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,CAAkC;QACvC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAmC,CAAC;YACnE,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACzG,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9E,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;QACjB,OAAO,WAAW,MAAM,YAAY,GAAG,MAAM,IAAI,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,CAAC,CAAO;QACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,SAAS;gBACZ,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,OAAO;gBACV,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACjC,KAAK,QAAQ;gBACX,OAAO,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,KAAK,QAAQ;gBACX,OAAO,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/D,KAAK,MAAM;gBACT,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,KAAK;gBACR,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,KAAK,SAAS;gBACZ,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,KAAK,SAAS;gBACZ,OAAO,QAAQ,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1E;gBACE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACtH,CAAC;IACH,CAAC;CACF"}
1
+ {"version":3,"file":"cnl-printer.js","sourceRoot":"","sources":["../../src/cnl-printer.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ9E,MAAM,eAAe,GAAG,CAAC,CAAC;AAC1B,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,SAAS,GAAsC,IAAI,GAAG,CAAuB;IACjF,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7D,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAChE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9D,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC1C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAChD,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACzD,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC,CAAC;AAEH,iCAAiC;AACjC,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAE1G,2CAA2C;AAC3C,SAAS,UAAU,CAAC,CAAa;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACpE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CAAC,CAAa;IACjC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACvC,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,QAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,MAAM,CAAC,OAAO,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,QAAS,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,OAAQ,GAAG,QAAQ,CAAC;IACnC,MAAM,KAAK,GAAG,OAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;AACtF,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,CAAa;IACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAoC,CAAC,IAAI,CAAC,CAAC;QAC/G,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAUD,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,2DAA2D;AAC3D,SAAS,aAAa,CAAC,CAAkC;IACvD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,CAAO;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,OAAO,IAAI,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU;IACd,qCAAqC;IAC7B,KAAK,GAAG,CAAC,CAAC;IAElB,MAAM,CAAC,CAAS;QACd,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3C,qBAAqB;QACrB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1F,6CAA6C;QAC7C,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,CAAC,CAAc;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,OAAO,OAAO,CAAC,CAAC,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,CAAC;YAC7C,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAO;QACV,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO,UAAU,CAAC,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtD,CAAC;IAED,QAAQ,CAAC,CAAO;QACd,OAAO,UAAU,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAChE,CAAC;IAED,gCAAgC;IAChC,OAAO,CAAC,CAAU;QAChB,MAAM,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5E,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,UAAU,CAAC,CAAa;QACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,UAAU;gBACb,OAAO,UAAU,CAAC;YACpB,KAAK,SAAS;gBACZ,OAAO,oBAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;oBAAE,OAAO,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvF,OAAO,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAO;QACV,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,MAAM,GAAG,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,IAAI,GAAG,UAAU,GAAG,MAAM,YAAY,GAAG,GAAG,OAAO,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,IAAI,CAAC,CAAC,CAAC,IAAI;YAAE,OAAO,GAAG,WAAW,GAAG,IAAI,GAAG,CAAC;QAC7C,OAAO,GAAG,WAAW,GAAG,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED,0DAA0D;IAC1D,kBAAkB,CAAC,CAAO;QACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7E,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC;IAED,6DAA6D;IAC7D,YAAY,CAAC,CAAO;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,CAAC,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,2CAA2C;IAC3C,UAAU,CAAC,CAAa;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACpC,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5F,OAAO,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpE,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,CAAQ,EAAE,GAAW;QACzB,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,CAAC,CAAY,EAAE,GAAW;QAC5B,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,KAAK;gBACR,yBAAyB;gBACzB,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACzF,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAClD,KAAK,QAAQ;gBACX,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACxC,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,CAAC,IAAI,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1D,KAAK,MAAM;gBACT,OAAO,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAC9C,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,KAAK,OAAO;gBACV,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnG,KAAK,OAAO;gBACV,2BAA2B;gBAC3B,OAAO,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;YACpD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/B;gBACE,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,CAAC,CAA6B,EAAE,GAAW;QAC/C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,IAAI,CAAC,CAAC,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC;IAED,SAAS,CAAC,CAAO,EAAE,GAAW;QAC5B,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QAC9D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjF,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IACnD,CAAC;IAED,QAAQ,CAAC,CAAe,EAAE,GAAW;QACnC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC;YAC9F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,YAAY,GAAG,IAAI,WAAW,CAAC,CAAC;QAClG,uBAAuB;QACvB,OAAO,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,EAAY,EAAE,GAAW;QAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,gBAAgB,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC3E,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,GAAG,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACtF,IAAI,CAAC,EAAE,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,OAAO,CAAC,CAAU;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,aAAa;gBAChB,OAAO,MAAM,CAAC;YAChB,KAAK,YAAY;gBACf,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,KAAK,aAAa;gBAChB,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACxG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjF,OAAO,CAAC,CAAC,QAAQ,CAAC;YACpB,CAAC;YACD;gBACE,OAAO,MAAM,CAAE,CAAwB,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,aAAa,CAAC,CAAa;QACzB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,CAAa;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,KAAK,MAAM;gBACT,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;YACvB,KAAK,QAAQ;gBACX,OAAO,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9B,KAAK,SAAS;gBACZ,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;YACvB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjC,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,IAAI;gBACP,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,KAAK,KAAK;gBACR,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM;gBACT,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,OAAO;gBACV,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACvC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC7D,KAAK,WAAW;gBACd,OAAO,GAAG,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtF,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,KAAK,QAAQ;gBACX,6CAA6C;gBAC7C,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACjG,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,cAAc,CAAC,CAAiB;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,GAAG,CAAC,CAAC,IAAI,WAAW,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9E,CAAC;IAED,IAAI,CAAC,CAAgC;QACnC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACrF,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClE,CAAC;IAED,wDAAwD;IACxD,YAAY,CAAC,EAAgB,EAAE,IAA2B;QACxD,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,GAAG,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;IAChG,CAAC;IAED,OAAO,CAAC,CAAa,EAAE,OAAe;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,CAAkC;QACvC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAmC,CAAC;YACnE,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACzG,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9E,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;QACjB,OAAO,WAAW,MAAM,YAAY,GAAG,MAAM,IAAI,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,CAAC,CAAO;QACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,SAAS;gBACZ,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,KAAK,OAAO;gBACV,sCAAsC;gBACtC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1F,KAAK,QAAQ;gBACX,OAAO,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,KAAK,QAAQ;gBACX,OAAO,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/D,KAAK,MAAM;gBACT,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,KAAK;gBACR,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,KAAK,SAAS;gBACZ,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,KAAK,SAAS;gBACZ,OAAO,QAAQ,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1E;gBACE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACtH,CAAC;IACH,CAAC;CACF"}
@@ -0,0 +1,48 @@
1
+ import type { TypedReferenceObserver } from './core/resolve-typed-references.js';
2
+ import type { Lexicon } from './config/lexicons/types.js';
3
+ import type { VocabularyScopes } from './config/lexicons/identifiers/scopes.js';
4
+ import type { Diagnostic } from './diagnostics/diagnostics.js';
5
+ import type { Core, Module as AstModule, Token, TypecheckDiagnostic } from './types.js';
6
+ export interface ParsedSource {
7
+ readonly tokens: Token[];
8
+ readonly ast: AstModule;
9
+ readonly diagnostics: readonly Diagnostic[];
10
+ }
11
+ /**
12
+ * canonicalize → lex → 关键词翻译 → parse。词汇只用于字面量宏展开,标识符保持原写法。
13
+ * 词法错误以 DiagnosticError 抛出,由调用方处理。
14
+ */
15
+ export declare function parseSource(source: string, lexicon?: Lexicon, scopes?: VocabularyScopes): ParsedSource;
16
+ export interface ResolvedCore {
17
+ /** R1 输出的 AST(标识符节点带 resolved) */
18
+ readonly ast: AstModule;
19
+ /** R2 输出的 Core:只含规范名,原写法记在 origin.written */
20
+ readonly core: Core.Module;
21
+ /** R1 与 R2 的诊断(E800–E807 / W800–W801) */
22
+ readonly diagnostics: readonly TypecheckDiagnostic[];
23
+ }
24
+ /**
25
+ * R1 → lower → R2(ADR 0051 §4)。任一 error 级诊断时调用方不得发出 core。
26
+ * observer 只读接收 R2 的解析位置与静态类型(LSP 悬停 / 补全用)。
27
+ *
28
+ * @internal 不从包入口导出:返回值在有 E8xx 时仍含 core,外部调用方应使用 resolveAndLowerChecked。
29
+ */
30
+ export declare function resolveAndLower(ast: AstModule, scopes?: VocabularyScopes, observer?: TypedReferenceObserver): ResolvedCore;
31
+ export declare function hasErrors(diagnostics: readonly {
32
+ readonly severity: string;
33
+ }[]): boolean;
34
+ /** 名称解析存在 error 级诊断:调用方不得发出 IR。diagnostics 只含 error 级诊断。 */
35
+ export declare class NameResolutionError extends Error {
36
+ readonly diagnostics: readonly TypecheckDiagnostic[];
37
+ constructor(diagnostics: readonly TypecheckDiagnostic[]);
38
+ }
39
+ /** `<code> <行>:<列> <消息>`,供命令行与日志输出。 */
40
+ export declare function formatResolutionDiagnostic(d: TypecheckDiagnostic): string;
41
+ /** 仅 R1(语法不完整时的降级):输出带 resolved 的 AST 与 R1 诊断,不 lower、不运行 R2。 */
42
+ export declare function resolveDeclarationsOnly(ast: AstModule, scopes?: VocabularyScopes): {
43
+ ast: AstModule;
44
+ diagnostics: readonly TypecheckDiagnostic[];
45
+ };
46
+ /** 同 resolveAndLower,但任一 E8xx 时抛出 NameResolutionError(供只需要 IR 的入口使用)。 */
47
+ export declare function resolveAndLowerChecked(ast: AstModule, scopes?: VocabularyScopes): ResolvedCore;
48
+ //# sourceMappingURL=compile-pipeline.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compile-pipeline.d.ts","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,SAAS,EAAE,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAExF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG,YAAY,CAStG;AAED,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;IAC3B,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACtD;AAaD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,EAAE,sBAAsB,GAAG,YAAY,CAK1H;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,OAAO,CAExF;AAED,4DAA4D;AAC5D,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;gBAEzC,WAAW,EAAE,SAAS,mBAAmB,EAAE;CAMxD;AAED,uCAAuC;AACvC,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AAED,iEAAiE;AACjE,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAAE,CAGlJ;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG,YAAY,CAI9F"}
@@ -0,0 +1,89 @@
1
+ /**
2
+ * @module compile-pipeline
3
+ *
4
+ * 各编译入口(browser compile / compileAndTypecheck、emit-core、resolvePolicyTypes)共用的前端:
5
+ *
6
+ * ```
7
+ * 源码 ─canonicalize(关键词 / 别名 / 字面量宏 / 空白)─▶ lex ─▶ 关键词翻译 ─▶ parse ─▶ AST
8
+ * ─▶ R1 resolveDeclarations ─▶ lowerModule ─▶ R2 resolveTypedReferences ─▶ Core(只含规范名)
9
+ * ```
10
+ *
11
+ * R2 依赖 lower 在同一进程内登记的 ResolutionMark(按对象身份的旁路表),因此必须紧接 lower、
12
+ * 作用于同一个 Core 对象运行,不能跨序列化边界。
13
+ */
14
+ import { canonicalize } from './frontend/canonicalizer.js';
15
+ import { lex } from './frontend/lexer.js';
16
+ import { parse } from './parser.js';
17
+ import { lowerModule } from './lower_to_core.js';
18
+ import { createKeywordTranslator, needsKeywordTranslation } from './frontend/keyword-translator.js';
19
+ import { attachTypeInferenceRules } from './config/lexicons/type-inference-rules.js';
20
+ import { resolveDeclarations } from './frontend/resolve-declarations.js';
21
+ import { NO_IMPORTS } from './frontend/resolution-context.js';
22
+ import { resolveTypedReferences } from './core/resolve-typed-references.js';
23
+ /**
24
+ * canonicalize → lex → 关键词翻译 → parse。词汇只用于字面量宏展开,标识符保持原写法。
25
+ * 词法错误以 DiagnosticError 抛出,由调用方处理。
26
+ */
27
+ export function parseSource(source, lexicon, scopes) {
28
+ const canonical = canonicalize(source, { lexicon, vocabulary: scopes });
29
+ let tokens = lex(canonical, lexicon);
30
+ // 解析器使用英文关键词,非英文 lexicon 需先把关键词 token 翻译为英文
31
+ if (lexicon && needsKeywordTranslation(lexicon)) {
32
+ tokens = createKeywordTranslator(lexicon).translateTokens(tokens);
33
+ }
34
+ const result = parse(tokens, lexicon ? attachTypeInferenceRules(lexicon) : undefined);
35
+ return { tokens, ast: result.ast, diagnostics: result.diagnostics };
36
+ }
37
+ /**
38
+ * 名称解析上下文。
39
+ *
40
+ * 导入模块的声明在 CNL 中只能经导入别名限定访问(`R.calc(x)`;解析器不接受限定类型名与限定构造),
41
+ * 限定前缀属于 MODULE 段、不参与词汇解析,R1/R2 原样保留整个点分名。因此不存在需要按名查找的
42
+ * 未限定导入声明,各入口(包括无文件系统的浏览器编译)都使用空的导入表。
43
+ */
44
+ function contextOf(scopes) {
45
+ return scopes ? { scopes, imports: NO_IMPORTS } : { imports: NO_IMPORTS };
46
+ }
47
+ /**
48
+ * R1 → lower → R2(ADR 0051 §4)。任一 error 级诊断时调用方不得发出 core。
49
+ * observer 只读接收 R2 的解析位置与静态类型(LSP 悬停 / 补全用)。
50
+ *
51
+ * @internal 不从包入口导出:返回值在有 E8xx 时仍含 core,外部调用方应使用 resolveAndLowerChecked。
52
+ */
53
+ export function resolveAndLower(ast, scopes, observer) {
54
+ const ctx = contextOf(scopes);
55
+ const r1 = resolveDeclarations(ast, ctx);
56
+ const r2 = resolveTypedReferences(lowerModule(r1.module), ctx, observer);
57
+ return { ast: r1.module, core: r2.module, diagnostics: [...r1.diagnostics, ...r2.diagnostics] };
58
+ }
59
+ export function hasErrors(diagnostics) {
60
+ return diagnostics.some((d) => d.severity === 'error');
61
+ }
62
+ /** 名称解析存在 error 级诊断:调用方不得发出 IR。diagnostics 只含 error 级诊断。 */
63
+ export class NameResolutionError extends Error {
64
+ diagnostics;
65
+ constructor(diagnostics) {
66
+ const errors = diagnostics.filter((d) => d.severity === 'error');
67
+ super(errors.map(formatResolutionDiagnostic).join('\n'));
68
+ this.name = 'NameResolutionError';
69
+ this.diagnostics = errors;
70
+ }
71
+ }
72
+ /** `<code> <行>:<列> <消息>`,供命令行与日志输出。 */
73
+ export function formatResolutionDiagnostic(d) {
74
+ const at = d.span ? ` ${d.span.start.line}:${d.span.start.col}` : '';
75
+ return `${d.code}${at} ${d.message}`;
76
+ }
77
+ /** 仅 R1(语法不完整时的降级):输出带 resolved 的 AST 与 R1 诊断,不 lower、不运行 R2。 */
78
+ export function resolveDeclarationsOnly(ast, scopes) {
79
+ const r1 = resolveDeclarations(ast, contextOf(scopes));
80
+ return { ast: r1.module, diagnostics: r1.diagnostics };
81
+ }
82
+ /** 同 resolveAndLower,但任一 E8xx 时抛出 NameResolutionError(供只需要 IR 的入口使用)。 */
83
+ export function resolveAndLowerChecked(ast, scopes) {
84
+ const resolved = resolveAndLower(ast, scopes);
85
+ if (hasErrors(resolved.diagnostics))
86
+ throw new NameResolutionError(resolved.diagnostics);
87
+ return resolved;
88
+ }
89
+ //# sourceMappingURL=compile-pipeline.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compile-pipeline.js","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAa5E;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,OAAiB,EAAE,MAAyB;IACtF,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACrC,4CAA4C;IAC5C,IAAI,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACtF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC;AAWD;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAoC;IACrD,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAc,EAAE,MAAyB,EAAE,QAAiC;IAC1G,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACzE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,WAAqD;IAC7E,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,4DAA4D;AAC5D,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,WAAW,CAAiC;IAErD,YAAY,WAA2C;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACjE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC;IAC5B,CAAC;CACF;AAED,uCAAuC;AACvC,MAAM,UAAU,0BAA0B,CAAC,CAAsB;IAC/D,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;AACvC,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,uBAAuB,CAAC,GAAc,EAAE,MAAyB;IAC/E,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;AACzD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,GAAc,EAAE,MAAyB;IAC9E,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACzF,OAAO,QAAQ,CAAC;AAClB,CAAC"}
@@ -4,20 +4,22 @@
4
4
  * 不修改 @generated 的 lexicon 文件,而是通过 attach 函数
5
5
  * 在运行时将翻译附加到 Lexicon 对象上。
6
6
  *
7
- * 规则数据来源优先级:
8
- * 1. 从语言包 JSON overlay 加载(通过 registerOverlay*)
9
- * 2. 内联 fallback 常量(当 JSON overlay 尚未接入时使用)
7
+ * 译文唯一来源是语言包的 overlays/<语言 id>/diagnostic-*.json(aster-lang-locales 的 zh/de、
8
+ * aster-lang-hi 的 hi)。它们经 core exportLexicons 进入 lexicons.json,再由
9
+ * scripts/generate-diagnostic-overlays.ts 生成 diagnostic-overlays.generated.ts;
10
+ * 本模块加载时把生成表逐个经 registerOverlay* 注册。本仓不保留任何内联译文:
11
+ * 缺译文的语言或错误码回落到 shared/error_codes.json 的英文。
10
12
  */
11
13
  import type { Lexicon } from './types.js';
12
14
  import type { OverlayData } from './overlay-loader.js';
13
15
  export declare const MESSAGES_BY_LEXICON: Record<string, Readonly<Partial<Record<string, string>>>>;
14
16
  export declare const HELP_BY_LEXICON: Record<string, Readonly<Partial<Record<string, string>>>>;
15
17
  /**
16
- * 从 JSON overlay 数据注册诊断消息翻译(覆盖内联 fallback)。
18
+ * 从 JSON overlay 数据注册诊断消息翻译(覆盖同一语言已注册的译文)。
17
19
  */
18
20
  export declare function registerOverlayDiagnosticMessages(lexiconId: string, overlay: NonNullable<OverlayData['diagnosticMessages']>): void;
19
21
  /**
20
- * 从 JSON overlay 数据注册诊断帮助文本翻译(覆盖内联 fallback)。
22
+ * 从 JSON overlay 数据注册诊断帮助文本翻译(覆盖同一语言已注册的译文)。
21
23
  */
22
24
  export declare function registerOverlayDiagnosticHelp(lexiconId: string, overlay: NonNullable<OverlayData['diagnosticHelp']>): void;
23
25
  /** 为 lexicon 附加诊断消息翻译(不修改原对象) */
@@ -1 +1 @@
1
- {"version":3,"file":"diagnostic-messages.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-messages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAmGvD,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAEzF,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAErF,CAAC;AAEF;;GAEG;AACH,wBAAgB,iCAAiC,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,GAAG,IAAI,CAElI;AAED;;GAEG;AACH,wBAAgB,6BAA6B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,GAAG,IAAI,CAE1H;AAED,iCAAiC;AACjC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CASlE"}
1
+ {"version":3,"file":"diagnostic-messages.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-messages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAKvD,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAM,CAAC;AAEjG,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAM,CAAC;AAE7F;;GAEG;AACH,wBAAgB,iCAAiC,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,GAAG,IAAI,CAElI;AAED;;GAEG;AACH,wBAAgB,6BAA6B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,GAAG,IAAI,CAE1H;AAED,iCAAiC;AACjC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CASlE"}
@@ -4,119 +4,25 @@
4
4
  * 不修改 @generated 的 lexicon 文件,而是通过 attach 函数
5
5
  * 在运行时将翻译附加到 Lexicon 对象上。
6
6
  *
7
- * 规则数据来源优先级:
8
- * 1. 从语言包 JSON overlay 加载(通过 registerOverlay*)
9
- * 2. 内联 fallback 常量(当 JSON overlay 尚未接入时使用)
7
+ * 译文唯一来源是语言包的 overlays/<语言 id>/diagnostic-*.json(aster-lang-locales 的 zh/de、
8
+ * aster-lang-hi 的 hi)。它们经 core exportLexicons 进入 lexicons.json,再由
9
+ * scripts/generate-diagnostic-overlays.ts 生成 diagnostic-overlays.generated.ts;
10
+ * 本模块加载时把生成表逐个经 registerOverlay* 注册。本仓不保留任何内联译文:
11
+ * 缺译文的语言或错误码回落到 shared/error_codes.json 的英文。
10
12
  */
11
13
  import { loadDiagnosticMessages, loadDiagnosticHelp } from './overlay-loader.js';
12
- /** 内联 fallback:中文诊断消息 */
13
- const ZH_CN_MESSAGES = {
14
- E008: 'If分支返回类型不一致: then分支 {thenType} vs else分支 {elseType}',
15
- E013: '构造 {type} 缺少必需字段 \'{field}\'',
16
- E070: '禁止将 PII 数据赋给较低等级目标: {source} -> {target}',
17
- E072: 'PII 等级 {level} 数据未脱敏即输出到 {sinkKind}',
18
- E073: 'PII 参数类型不匹配: 期望 {expected}, 实际 {actual}',
19
- E102: '模块中存在多个 @entry Rule: {rules}',
20
- E103: '导入符号冲突: {symbol}',
21
- E104: '符号 \'{name}\' 在当前作用域中已定义。',
22
- E205: '函数 \'{func}\' 缺少 @io 效果声明,推断要求 IO。',
23
- E206: '函数 \'{func}\' 缺少 @cpu 效果声明,推断要求 CPU(或 @io)。',
24
- E207: '函数 \'{func}\' 声明了 @io,但推断未发现 IO 副作用。',
25
- E208: '函数 \'{func}\' 声明了 @cpu,但推断未发现 CPU 副作用。',
26
- E209: '函数 \'{func}\' 同时声明 @cpu 和 @io;由于需要 @io,@cpu 可移除。',
27
- E210: '效应变量 {var} 未声明',
28
- E211: '效应变量 {vars} 无法推断出具体效果',
29
- W071: '检测到隐式 PII 等级提升: {source} -> {target}',
30
- W074: '可能有 PII 数据流向 {sinkKind} 但缺少注解',
31
- W105: 'Workflow retry 配置可能不合理: {reason}',
32
- W106: 'Workflow timeout 配置可能不合理: {reason}',
33
- };
34
- /** 内联 fallback:中文帮助文本 */
35
- const ZH_CN_HELP = {
36
- E001: '检查类型标注与表达式的推断结果是否一致。',
37
- E002: '确认变量先前绑定的类型与当前赋值结果一致。',
38
- E003: '检查函数返回语句与声明的返回类型是否一致。',
39
- E004: '在函数签名的 of 子句中显式声明使用到的类型变量。',
40
- E005: '移除未使用的类型参数,避免造成误导。',
41
- E006: '对于看起来像类型变量的名称,务必在 of 子句中声明。',
42
- E007: '确认类型推断的多个使用点产出相同的具体类型。',
43
- E008: '确保 if 两个分支返回类型保持一致。',
44
- E009: '检查 match 每个分支的返回类型是否统一。',
45
- E010: '仅在 Int 类型的匹配表达式中使用整数模式。',
46
- E011: '检查构造体或数据类型的字段名称是否正确。',
47
- E012: '校验字段初始化表达式的类型是否匹配声明。',
48
- E013: '为数据构造提供声明中的所有必需字段。',
49
- E014: '调整 not 调用的参数数量为 1。',
50
- E015: '仅对 Maybe 或 Result 类型调用 await。',
51
- E016: '移除重复的枚举分支,保持匹配语句简洁。',
52
- E017: '为 Maybe 匹配补齐 null 与非 null 分支。',
53
- E018: '补充所有未覆盖的枚举分支,或添加通配符。',
54
- E019: '统一互操作调用的参数数值类型,避免隐式装箱与拓宽。',
55
- E020: '确保列表字面量中的所有元素类型一致。',
56
- E021: '传入 Maybe/Option 类型或显式包装值。',
57
- E022: '确保补偿块返回 Result<Unit, E>,其中 E 为 step 错误类型。',
58
- E023: '为包含 IO 副作用的 step 提供 compensate 块以便回滚。',
59
- E024: '设置 retry.maxAttempts 为正整数。',
60
- E025: '配置 timeout 秒数为正值,确保补偿逻辑可被触发。',
61
- E026: '在函数头部添加 @io 效果声明,否则编译器拒绝 workflow 语句。',
62
- E027: '在函数头部列出实际使用到的能力。',
63
- E028: 'Compensate 只能重复主体已使用的能力。',
64
- E029: '仅引用当前 workflow 中已声明的步骤名称,或修正依赖拼写。',
65
- E030: '移除或重构循环依赖,确保步骤可拓扑排序执行。',
66
- E070: '使用脱敏函数或为目标变量声明匹配的 @pii 等级。',
67
- E072: '在输出前调用 redact() 或 tokenize() 以降低敏感度。',
68
- E073: '检查函数签名,确保 PII 等级与类别一致。',
69
- E100: '为不同的导入使用唯一别名,避免覆盖。',
70
- E101: '在使用变量前先声明并初始化。',
71
- E102: '每个模块最多保留一个 @entry Rule。',
72
- E103: '调整 import alias 或本地顶层声明名称,避免导入符号冲突。',
73
- E104: '选择不同的名称或检查是否存在意外的重复声明。',
74
- E200: '为具有 IO 行为的函数声明 @io 效果。',
75
- E201: '为 CPU 密集型函数声明 @cpu 或 @io 效果。',
76
- E202: '若函数仅执行 CPU 工作,可移除多余的 @io 声明。',
77
- E203: '确认是否需要 @io;若无 IO 行为可移除。',
78
- E204: '移除多余的 @cpu 声明或增加相应的 CPU 工作。',
79
- E205: '根据推断结果为函数添加 @io 效果。',
80
- E206: '根据推断结果补齐 @cpu 或 @io 效果。',
81
- E207: '确认是否需要保留 @io 声明。',
82
- E208: '若无 CPU 副作用,可删除 @cpu 声明。',
83
- E209: '保留 @io 即可满足需求,移除多余的 @cpu。',
84
- E210: '在函数签名的效果参数列表中添加效应类型参数。',
85
- E211: '参考调用或声明补充明确的效果(pure/cpu/io/workflow),或移除未使用的效应变量。',
86
- E300: '更新能力清单或修改函数实现以符合限制。',
87
- E301: '在函数头部声明实际使用到的能力。',
88
- E302: '移除未使用的能力声明以保持清晰。',
89
- E303: '在函数头部声明 @io 效果,或移除相关调用保持纯度。',
90
- E304: '为函数添加 @cpu 或 @io 效果以覆盖 CPU 能力。',
91
- E400: '使用加密通道(HTTPS)或脱敏处理后再传输 PII 数据。',
92
- E401: '为敏感数据添加 @pii 标注以便跟踪。',
93
- E402: '调整数据的敏感级别或更新流程要求。',
94
- E403: '在处理 PII 数据前调用 checkConsent() 或添加 @consent_required 注解。',
95
- E500: '对启动的异步任务调用 wait,确保执行完毕。',
96
- E501: '确认 wait 的任务名称在 Start 中正确出现。',
97
- E502: '避免重复启动同名任务,可复用已有任务或改用新名称。',
98
- E503: '确保每个任务仅等待一次,或使用单独的同步机制。',
99
- E504: '在 wait for 之前先执行 start,并确保两者位于兼容的控制路径。',
100
- W071: '为等级变化添加显式类型注解以便审计。',
101
- W074: '为数据增加 @pii 注解以追踪敏感数据流。',
102
- W105: '检查 retry 总等待时间、maxAttempts 与 backoff 策略的组合是否合理。',
103
- W106: '检查 timeout 值是否过大或过小。',
104
- };
105
- // 导出供 error-codes-parity 测试校验 overlay 的 code-key 不残留旧语义/孤儿码。
106
- export const MESSAGES_BY_LEXICON = {
107
- 'zh-CN': ZH_CN_MESSAGES,
108
- };
109
- export const HELP_BY_LEXICON = {
110
- 'zh-CN': ZH_CN_HELP,
111
- };
14
+ import { DIAGNOSTIC_OVERLAYS } from './diagnostic-overlays.generated.js';
15
+ // 导出供 error-codes-parity / diagnostic-overlays 测试校验覆盖面、孤儿码与占位符。
16
+ export const MESSAGES_BY_LEXICON = {};
17
+ export const HELP_BY_LEXICON = {};
112
18
  /**
113
- * 从 JSON overlay 数据注册诊断消息翻译(覆盖内联 fallback)。
19
+ * 从 JSON overlay 数据注册诊断消息翻译(覆盖同一语言已注册的译文)。
114
20
  */
115
21
  export function registerOverlayDiagnosticMessages(lexiconId, overlay) {
116
22
  MESSAGES_BY_LEXICON[lexiconId] = loadDiagnosticMessages(overlay);
117
23
  }
118
24
  /**
119
- * 从 JSON overlay 数据注册诊断帮助文本翻译(覆盖内联 fallback)。
25
+ * 从 JSON overlay 数据注册诊断帮助文本翻译(覆盖同一语言已注册的译文)。
120
26
  */
121
27
  export function registerOverlayDiagnosticHelp(lexiconId, overlay) {
122
28
  HELP_BY_LEXICON[lexiconId] = loadDiagnosticHelp(overlay);
@@ -133,4 +39,10 @@ export function attachDiagnosticMessages(lexicon) {
133
39
  ...(help !== undefined && { diagnosticHelp: help }),
134
40
  };
135
41
  }
42
+ for (const [lexiconId, overlay] of Object.entries(DIAGNOSTIC_OVERLAYS)) {
43
+ if (overlay.diagnosticMessages)
44
+ registerOverlayDiagnosticMessages(lexiconId, overlay.diagnosticMessages);
45
+ if (overlay.diagnosticHelp)
46
+ registerOverlayDiagnosticHelp(lexiconId, overlay.diagnosticHelp);
47
+ }
136
48
  //# sourceMappingURL=diagnostic-messages.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"diagnostic-messages.js","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-messages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEjF,yBAAyB;AACzB,MAAM,cAAc,GAA8C;IAChE,IAAI,EAAE,qDAAqD;IAC3D,IAAI,EAAE,8BAA8B;IACpC,IAAI,EAAE,0CAA0C;IAChD,IAAI,EAAE,qCAAqC;IAC3C,IAAI,EAAE,yCAAyC;IAC/C,IAAI,EAAE,8BAA8B;IACpC,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,oCAAoC;IAC1C,IAAI,EAAE,6CAA6C;IACnD,IAAI,EAAE,sCAAsC;IAC5C,IAAI,EAAE,wCAAwC;IAC9C,IAAI,EAAE,kDAAkD;IACxD,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,uBAAuB;IAC7B,IAAI,EAAE,sCAAsC;IAC5C,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,kCAAkC;IACxC,IAAI,EAAE,oCAAoC;CAC3C,CAAC;AAEF,yBAAyB;AACzB,MAAM,UAAU,GAA8C;IAC5D,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,uBAAuB;IAC7B,IAAI,EAAE,uBAAuB;IAC7B,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,2CAA2C;IACjD,IAAI,EAAE,uCAAuC;IAC7C,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,8BAA8B;IACpC,IAAI,EAAE,uCAAuC;IAC7C,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,mCAAmC;IACzC,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,sCAAsC;IAC5C,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,qCAAqC;IAC3C,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,8BAA8B;IACpC,IAAI,EAAE,8BAA8B;IACpC,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,mDAAmD;IACzD,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,gCAAgC;IACtC,IAAI,EAAE,gCAAgC;IACtC,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,wDAAwD;IAC9D,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,wCAAwC;IAC9C,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,iDAAiD;IACvD,IAAI,EAAE,sBAAsB;CAC7B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAA8D;IAC5F,OAAO,EAAE,cAAc;CACxB,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAA8D;IACxF,OAAO,EAAE,UAAU;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,iCAAiC,CAAC,SAAiB,EAAE,OAAuD;IAC1H,mBAAmB,CAAC,SAAS,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAAC,SAAiB,EAAE,OAAmD;IAClH,eAAe,CAAC,SAAS,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;AAC3D,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACvD,IAAI,OAAO,CAAC,kBAAkB,IAAI,OAAO,CAAC,cAAc;QAAE,OAAO,OAAO,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnE,OAAO;QACL,GAAG,OAAO;QACV,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;QAC/D,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"diagnostic-messages.js","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-messages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAEzE,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAA8D,EAAE,CAAC;AAEjG,MAAM,CAAC,MAAM,eAAe,GAA8D,EAAE,CAAC;AAE7F;;GAEG;AACH,MAAM,UAAU,iCAAiC,CAAC,SAAiB,EAAE,OAAuD;IAC1H,mBAAmB,CAAC,SAAS,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAAC,SAAiB,EAAE,OAAmD;IAClH,eAAe,CAAC,SAAS,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;AAC3D,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACvD,IAAI,OAAO,CAAC,kBAAkB,IAAI,OAAO,CAAC,cAAc;QAAE,OAAO,OAAO,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnE,OAAO;QACL,GAAG,OAAO;QACV,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;QAC/D,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;IACvE,IAAI,OAAO,CAAC,kBAAkB;QAAE,iCAAiC,CAAC,SAAS,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACzG,IAAI,OAAO,CAAC,cAAc;QAAE,6BAA6B,CAAC,SAAS,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;AAC/F,CAAC"}
@@ -0,0 +1,9 @@
1
+ /**
2
+ * 本文件由 scripts/generate-diagnostic-overlays.ts 生成,请勿手工修改。
3
+ * 数据来源:aster-lang-core exportLexicons 导出的 lexicons.json 中各语言包的
4
+ * diagnosticMessages / diagnosticHelp overlay(译文唯一来源为 aster-lang-locales 与 aster-lang-hi)。
5
+ */
6
+ import type { OverlayData } from './overlay-loader.js';
7
+ /** 语言 id → 诊断译文 overlay(与语言包 overlays/diagnostic-*.json 原样一致)。 */
8
+ export declare const DIAGNOSTIC_OVERLAYS: Readonly<Record<string, Pick<OverlayData, 'diagnosticMessages' | 'diagnosticHelp'>>>;
9
+ //# sourceMappingURL=diagnostic-overlays.generated.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnostic-overlays.generated.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-overlays.generated.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,kEAAkE;AAClE,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAC,CAAC,CA+lBpH,CAAC"}