@aster-cloud/aster-lang-ts 1.0.36 → 1.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (341) hide show
  1. package/CHANGELOG.md +28 -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-lexicons.js +17 -1
  16. package/dist/scripts/generate-lexicons.js.map +1 -1
  17. package/dist/scripts/golden.js +16 -16
  18. package/dist/scripts/golden.js.map +1 -1
  19. package/dist/scripts/perf-benchmark.js +1 -0
  20. package/dist/scripts/perf-benchmark.js.map +1 -1
  21. package/dist/scripts/profile-medium-project.js +1 -1
  22. package/dist/scripts/profile-medium-project.js.map +1 -1
  23. package/dist/scripts/repl.js +3 -8
  24. package/dist/scripts/repl.js.map +1 -1
  25. package/dist/scripts/typecheck-cli.js +10 -9
  26. package/dist/scripts/typecheck-cli.js.map +1 -1
  27. package/dist/scripts/update-eff-violation-expected.js +6 -6
  28. package/dist/scripts/update-eff-violation-expected.js.map +1 -1
  29. package/dist/scripts/verify-capabilities.js +3 -6
  30. package/dist/scripts/verify-capabilities.js.map +1 -1
  31. package/dist/scripts/verify-lexicon-sync.js +10 -0
  32. package/dist/scripts/verify-lexicon-sync.js.map +1 -1
  33. package/dist/src/ai/validator.d.ts +1 -1
  34. package/dist/src/ai/validator.d.ts.map +1 -1
  35. package/dist/src/ai/validator.js +12 -12
  36. package/dist/src/ai/validator.js.map +1 -1
  37. package/dist/src/ast/ast.d.ts +1 -0
  38. package/dist/src/ast/ast.d.ts.map +1 -1
  39. package/dist/src/ast/ast.js.map +1 -1
  40. package/dist/src/browser.d.ts +27 -10
  41. package/dist/src/browser.d.ts.map +1 -1
  42. package/dist/src/browser.js +42 -54
  43. package/dist/src/browser.js.map +1 -1
  44. package/dist/src/cli/policy-converter.js +5 -9
  45. package/dist/src/cli/policy-converter.js.map +1 -1
  46. package/dist/src/compile-pipeline.d.ts +48 -0
  47. package/dist/src/compile-pipeline.d.ts.map +1 -0
  48. package/dist/src/compile-pipeline.js +89 -0
  49. package/dist/src/compile-pipeline.js.map +1 -0
  50. package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
  51. package/dist/src/config/lexicons/diagnostic-messages.js +20 -0
  52. package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
  53. package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts +9 -0
  54. package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts.map +1 -0
  55. package/dist/src/config/lexicons/identifiers/casefold-table.generated.js +1467 -0
  56. package/dist/src/config/lexicons/identifiers/casefold-table.generated.js.map +1 -0
  57. package/dist/src/config/lexicons/identifiers/casefold.d.ts +7 -0
  58. package/dist/src/config/lexicons/identifiers/casefold.d.ts.map +1 -0
  59. package/dist/src/config/lexicons/identifiers/casefold.js +37 -0
  60. package/dist/src/config/lexicons/identifiers/casefold.js.map +1 -0
  61. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.d.ts.map +1 -1
  62. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js +8 -0
  63. package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js.map +1 -1
  64. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.d.ts.map +1 -1
  65. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js +8 -0
  66. package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js.map +1 -1
  67. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.d.ts.map +1 -1
  68. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js +8 -0
  69. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js.map +1 -1
  70. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.d.ts.map +1 -1
  71. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js +6 -0
  72. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js.map +1 -1
  73. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.d.ts.map +1 -1
  74. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js +6 -0
  75. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js.map +1 -1
  76. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.d.ts.map +1 -1
  77. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js +6 -0
  78. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js.map +1 -1
  79. package/dist/src/config/lexicons/identifiers/index.d.ts +7 -9
  80. package/dist/src/config/lexicons/identifiers/index.d.ts.map +1 -1
  81. package/dist/src/config/lexicons/identifiers/index.js +8 -9
  82. package/dist/src/config/lexicons/identifiers/index.js.map +1 -1
  83. package/dist/src/config/lexicons/identifiers/registry.d.ts +11 -5
  84. package/dist/src/config/lexicons/identifiers/registry.d.ts.map +1 -1
  85. package/dist/src/config/lexicons/identifiers/registry.js +20 -14
  86. package/dist/src/config/lexicons/identifiers/registry.js.map +1 -1
  87. package/dist/src/config/lexicons/identifiers/scopes.d.ts +52 -0
  88. package/dist/src/config/lexicons/identifiers/scopes.d.ts.map +1 -0
  89. package/dist/src/config/lexicons/identifiers/scopes.js +166 -0
  90. package/dist/src/config/lexicons/identifiers/scopes.js.map +1 -0
  91. package/dist/src/config/lexicons/identifiers/types.d.ts +15 -29
  92. package/dist/src/config/lexicons/identifiers/types.d.ts.map +1 -1
  93. package/dist/src/config/lexicons/identifiers/types.js +91 -101
  94. package/dist/src/config/lexicons/identifiers/types.js.map +1 -1
  95. package/dist/src/config/lexicons/lsp-ui-texts.d.ts +7 -0
  96. package/dist/src/config/lexicons/lsp-ui-texts.d.ts.map +1 -1
  97. package/dist/src/config/lexicons/lsp-ui-texts.js +12 -0
  98. package/dist/src/config/lexicons/lsp-ui-texts.js.map +1 -1
  99. package/dist/src/config/lexicons/zh-CN.d.ts.map +1 -1
  100. package/dist/src/config/lexicons/zh-CN.js +1 -0
  101. package/dist/src/config/lexicons/zh-CN.js.map +1 -1
  102. package/dist/src/config/semantic.d.ts +5 -0
  103. package/dist/src/config/semantic.d.ts.map +1 -1
  104. package/dist/src/config/semantic.js +12 -0
  105. package/dist/src/config/semantic.js.map +1 -1
  106. package/dist/src/core/inferred_fields.d.ts +10 -0
  107. package/dist/src/core/inferred_fields.d.ts.map +1 -1
  108. package/dist/src/core/inferred_fields.js +9 -0
  109. package/dist/src/core/inferred_fields.js.map +1 -1
  110. package/dist/src/core/interpreter.d.ts.map +1 -1
  111. package/dist/src/core/interpreter.js +37 -16
  112. package/dist/src/core/interpreter.js.map +1 -1
  113. package/dist/src/core/resolution-mark.d.ts +28 -0
  114. package/dist/src/core/resolution-mark.d.ts.map +1 -0
  115. package/dist/src/core/resolution-mark.js +19 -0
  116. package/dist/src/core/resolution-mark.js.map +1 -0
  117. package/dist/src/core/resolve-typed-references.d.ts +36 -0
  118. package/dist/src/core/resolve-typed-references.d.ts.map +1 -0
  119. package/dist/src/core/resolve-typed-references.js +703 -0
  120. package/dist/src/core/resolve-typed-references.js.map +1 -0
  121. package/dist/src/diagnostics/error_codes.d.ts +11 -1
  122. package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
  123. package/dist/src/diagnostics/error_codes.js +80 -0
  124. package/dist/src/diagnostics/error_codes.js.map +1 -1
  125. package/dist/src/frontend/canonicalizer.d.ts +8 -13
  126. package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
  127. package/dist/src/frontend/canonicalizer.js +21 -50
  128. package/dist/src/frontend/canonicalizer.js.map +1 -1
  129. package/dist/src/frontend/resolution-choice.d.ts +34 -0
  130. package/dist/src/frontend/resolution-choice.d.ts.map +1 -0
  131. package/dist/src/frontend/resolution-choice.js +69 -0
  132. package/dist/src/frontend/resolution-choice.js.map +1 -0
  133. package/dist/src/frontend/resolution-context.d.ts +28 -0
  134. package/dist/src/frontend/resolution-context.d.ts.map +1 -0
  135. package/dist/src/frontend/resolution-context.js +7 -0
  136. package/dist/src/frontend/resolution-context.js.map +1 -0
  137. package/dist/src/frontend/resolve-declarations.d.ts +13 -0
  138. package/dist/src/frontend/resolve-declarations.d.ts.map +1 -0
  139. package/dist/src/frontend/resolve-declarations.js +611 -0
  140. package/dist/src/frontend/resolve-declarations.js.map +1 -0
  141. package/dist/src/frontend/resolve-policy-types.d.ts +54 -0
  142. package/dist/src/frontend/resolve-policy-types.d.ts.map +1 -0
  143. package/dist/src/frontend/resolve-policy-types.js +71 -0
  144. package/dist/src/frontend/resolve-policy-types.js.map +1 -0
  145. package/dist/src/frontend/transformers.d.ts +11 -2
  146. package/dist/src/frontend/transformers.d.ts.map +1 -1
  147. package/dist/src/frontend/transformers.js +153 -10
  148. package/dist/src/frontend/transformers.js.map +1 -1
  149. package/dist/src/index.d.ts +14 -7
  150. package/dist/src/index.d.ts.map +1 -1
  151. package/dist/src/index.js +14 -7
  152. package/dist/src/index.js.map +1 -1
  153. package/dist/src/lower_to_core.d.ts +2 -16
  154. package/dist/src/lower_to_core.d.ts.map +1 -1
  155. package/dist/src/lower_to_core.js +101 -44
  156. package/dist/src/lower_to_core.js.map +1 -1
  157. package/dist/src/lsp/canonicalize-options.d.ts +8 -11
  158. package/dist/src/lsp/canonicalize-options.d.ts.map +1 -1
  159. package/dist/src/lsp/canonicalize-options.js +8 -8
  160. package/dist/src/lsp/canonicalize-options.js.map +1 -1
  161. package/dist/src/lsp/completion.d.ts +32 -5
  162. package/dist/src/lsp/completion.d.ts.map +1 -1
  163. package/dist/src/lsp/completion.js +59 -0
  164. package/dist/src/lsp/completion.js.map +1 -1
  165. package/dist/src/lsp/diagnostics.d.ts +2 -0
  166. package/dist/src/lsp/diagnostics.d.ts.map +1 -1
  167. package/dist/src/lsp/diagnostics.js +77 -73
  168. package/dist/src/lsp/diagnostics.js.map +1 -1
  169. package/dist/src/lsp/navigation/hover.d.ts +12 -5
  170. package/dist/src/lsp/navigation/hover.d.ts.map +1 -1
  171. package/dist/src/lsp/navigation/hover.js +136 -90
  172. package/dist/src/lsp/navigation/hover.js.map +1 -1
  173. package/dist/src/lsp/parse-document.d.ts +3 -0
  174. package/dist/src/lsp/parse-document.d.ts.map +1 -1
  175. package/dist/src/lsp/parse-document.js +5 -17
  176. package/dist/src/lsp/parse-document.js.map +1 -1
  177. package/dist/src/lsp/resolution.d.ts +40 -0
  178. package/dist/src/lsp/resolution.d.ts.map +1 -0
  179. package/dist/src/lsp/resolution.js +179 -0
  180. package/dist/src/lsp/resolution.js.map +1 -0
  181. package/dist/src/lsp/server.js +3 -1
  182. package/dist/src/lsp/server.js.map +1 -1
  183. package/dist/src/lsp/source-positions.d.ts +3 -9
  184. package/dist/src/lsp/source-positions.d.ts.map +1 -1
  185. package/dist/src/lsp/source-positions.js +25 -19
  186. package/dist/src/lsp/source-positions.js.map +1 -1
  187. package/dist/src/mapping/candidate-generator.d.ts +19 -9
  188. package/dist/src/mapping/candidate-generator.d.ts.map +1 -1
  189. package/dist/src/mapping/candidate-generator.js +79 -40
  190. package/dist/src/mapping/candidate-generator.js.map +1 -1
  191. package/dist/src/mapping/pipeline.d.ts +6 -0
  192. package/dist/src/mapping/pipeline.d.ts.map +1 -1
  193. package/dist/src/mapping/pipeline.js +69 -75
  194. package/dist/src/mapping/pipeline.js.map +1 -1
  195. package/dist/src/mapping/review-queue.d.ts.map +1 -1
  196. package/dist/src/mapping/review-queue.js +3 -2
  197. package/dist/src/mapping/review-queue.js.map +1 -1
  198. package/dist/src/nodeid/node-id-map.d.ts +7 -0
  199. package/dist/src/nodeid/node-id-map.d.ts.map +1 -1
  200. package/dist/src/nodeid/node-id-map.js +23 -13
  201. package/dist/src/nodeid/node-id-map.js.map +1 -1
  202. package/dist/src/parser/context.d.ts +2 -0
  203. package/dist/src/parser/context.d.ts.map +1 -1
  204. package/dist/src/parser/context.js +1 -0
  205. package/dist/src/parser/context.js.map +1 -1
  206. package/dist/src/parser/decl-parser.d.ts.map +1 -1
  207. package/dist/src/parser/decl-parser.js +1 -0
  208. package/dist/src/parser/decl-parser.js.map +1 -1
  209. package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
  210. package/dist/src/parser/expr-stmt-parser.js +2 -16
  211. package/dist/src/parser/expr-stmt-parser.js.map +1 -1
  212. package/dist/src/parser.d.ts.map +1 -1
  213. package/dist/src/parser.js +3 -1
  214. package/dist/src/parser.js.map +1 -1
  215. package/dist/src/typecheck/expression.d.ts.map +1 -1
  216. package/dist/src/typecheck/expression.js +35 -1
  217. package/dist/src/typecheck/expression.js.map +1 -1
  218. package/dist/src/typecheck/generics.d.ts +5 -0
  219. package/dist/src/typecheck/generics.d.ts.map +1 -1
  220. package/dist/src/typecheck/generics.js +15 -8
  221. package/dist/src/typecheck/generics.js.map +1 -1
  222. package/dist/src/typecheck/statement.d.ts +10 -0
  223. package/dist/src/typecheck/statement.d.ts.map +1 -1
  224. package/dist/src/typecheck/statement.js +19 -5
  225. package/dist/src/typecheck/statement.js.map +1 -1
  226. package/dist/src/types.d.ts +45 -13
  227. package/dist/src/types.d.ts.map +1 -1
  228. package/dist/src/types.js.map +1 -1
  229. package/dist/src/version.d.ts +17 -0
  230. package/dist/src/version.d.ts.map +1 -0
  231. package/dist/src/version.js +17 -0
  232. package/dist/src/version.js.map +1 -0
  233. package/dist/test/integration/builtin-enum-vocabulary.test.d.ts +2 -0
  234. package/dist/test/integration/builtin-enum-vocabulary.test.d.ts.map +1 -0
  235. package/dist/test/integration/builtin-enum-vocabulary.test.js +51 -0
  236. package/dist/test/integration/builtin-enum-vocabulary.test.js.map +1 -0
  237. package/dist/test/integration/compliance/compliance-smoke.test.js +16 -9
  238. package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
  239. package/dist/test/integration/lsp/lsp-rename-safety.test.js +0 -13
  240. package/dist/test/integration/lsp/lsp-rename-safety.test.js.map +1 -1
  241. package/dist/test/integration/name-resolution-entrypoints.test.d.ts +2 -0
  242. package/dist/test/integration/name-resolution-entrypoints.test.d.ts.map +1 -0
  243. package/dist/test/integration/name-resolution-entrypoints.test.js +109 -0
  244. package/dist/test/integration/name-resolution-entrypoints.test.js.map +1 -0
  245. package/dist/test/integration/vocabulary-resolution.test.d.ts +2 -0
  246. package/dist/test/integration/vocabulary-resolution.test.d.ts.map +1 -0
  247. package/dist/test/integration/vocabulary-resolution.test.js +291 -0
  248. package/dist/test/integration/vocabulary-resolution.test.js.map +1 -0
  249. package/dist/test/property/property.test.js +2 -1
  250. package/dist/test/property/property.test.js.map +1 -1
  251. package/dist/test/unit/allocation-budget.test.js +41 -0
  252. package/dist/test/unit/allocation-budget.test.js.map +1 -1
  253. package/dist/test/unit/canonicalizer/canonicalizer.test.js +7 -79
  254. package/dist/test/unit/canonicalizer/canonicalizer.test.js.map +1 -1
  255. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.d.ts +2 -0
  256. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.d.ts.map +1 -0
  257. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js +86 -0
  258. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js.map +1 -0
  259. package/dist/test/unit/canonicalizer/transformers.test.d.ts +2 -0
  260. package/dist/test/unit/canonicalizer/transformers.test.d.ts.map +1 -0
  261. package/dist/test/unit/canonicalizer/transformers.test.js +25 -0
  262. package/dist/test/unit/canonicalizer/transformers.test.js.map +1 -0
  263. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js +134 -31
  264. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js.map +1 -1
  265. package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js +16 -18
  266. package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js.map +1 -1
  267. package/dist/test/unit/core/resolve-typed-references.test.d.ts +2 -0
  268. package/dist/test/unit/core/resolve-typed-references.test.d.ts.map +1 -0
  269. package/dist/test/unit/core/resolve-typed-references.test.js +600 -0
  270. package/dist/test/unit/core/resolve-typed-references.test.js.map +1 -0
  271. package/dist/test/unit/diagnostics/resolution-codes.test.d.ts +6 -0
  272. package/dist/test/unit/diagnostics/resolution-codes.test.d.ts.map +1 -0
  273. package/dist/test/unit/diagnostics/resolution-codes.test.js +83 -0
  274. package/dist/test/unit/diagnostics/resolution-codes.test.js.map +1 -0
  275. package/dist/test/unit/formatter-corpus-roundtrip.test.js +9 -0
  276. package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
  277. package/dist/test/unit/frontend/resolve-declarations.test.d.ts +2 -0
  278. package/dist/test/unit/frontend/resolve-declarations.test.d.ts.map +1 -0
  279. package/dist/test/unit/frontend/resolve-declarations.test.js +400 -0
  280. package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -0
  281. package/dist/test/unit/identifiers/casefold.test.d.ts +2 -0
  282. package/dist/test/unit/identifiers/casefold.test.d.ts.map +1 -0
  283. package/dist/test/unit/identifiers/casefold.test.js +77 -0
  284. package/dist/test/unit/identifiers/casefold.test.js.map +1 -0
  285. package/dist/test/unit/identifiers/scopes.test.d.ts +2 -0
  286. package/dist/test/unit/identifiers/scopes.test.d.ts.map +1 -0
  287. package/dist/test/unit/identifiers/scopes.test.js +109 -0
  288. package/dist/test/unit/identifiers/scopes.test.js.map +1 -0
  289. package/dist/test/unit/lambda-capture-parity.test.js +12 -5
  290. package/dist/test/unit/lambda-capture-parity.test.js.map +1 -1
  291. package/dist/test/unit/lsp/lsp-locale-fixes.test.js +10 -11
  292. package/dist/test/unit/lsp/lsp-locale-fixes.test.js.map +1 -1
  293. package/dist/test/unit/lsp/parse-document.test.js +39 -0
  294. package/dist/test/unit/lsp/parse-document.test.js.map +1 -1
  295. package/dist/test/unit/lsp/resolution-completion.test.d.ts +2 -0
  296. package/dist/test/unit/lsp/resolution-completion.test.d.ts.map +1 -0
  297. package/dist/test/unit/lsp/resolution-completion.test.js +79 -0
  298. package/dist/test/unit/lsp/resolution-completion.test.js.map +1 -0
  299. package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts +2 -0
  300. package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts.map +1 -0
  301. package/dist/test/unit/lsp/resolution-diagnostics.test.js +88 -0
  302. package/dist/test/unit/lsp/resolution-diagnostics.test.js.map +1 -0
  303. package/dist/test/unit/lsp/resolution-fixture.d.ts +32 -0
  304. package/dist/test/unit/lsp/resolution-fixture.d.ts.map +1 -0
  305. package/dist/test/unit/lsp/resolution-fixture.js +69 -0
  306. package/dist/test/unit/lsp/resolution-fixture.js.map +1 -0
  307. package/dist/test/unit/lsp/resolution-hover.test.d.ts +2 -0
  308. package/dist/test/unit/lsp/resolution-hover.test.d.ts.map +1 -0
  309. package/dist/test/unit/lsp/resolution-hover.test.js +107 -0
  310. package/dist/test/unit/lsp/resolution-hover.test.js.map +1 -0
  311. package/dist/test/unit/lsp/tenant-vocabulary.test.js +21 -47
  312. package/dist/test/unit/lsp/tenant-vocabulary.test.js.map +1 -1
  313. package/dist/test/unit/mapping/candidate-generator.test.js +54 -1
  314. package/dist/test/unit/mapping/candidate-generator.test.js.map +1 -1
  315. package/dist/test/unit/mapping/pipeline.test.js +22 -1
  316. package/dist/test/unit/mapping/pipeline.test.js.map +1 -1
  317. package/dist/test/unit/parser/parser.test.js +22 -0
  318. package/dist/test/unit/parser/parser.test.js.map +1 -1
  319. package/dist/test/unit/public-api-checked-entries.test.d.ts +2 -0
  320. package/dist/test/unit/public-api-checked-entries.test.d.ts.map +1 -0
  321. package/dist/test/unit/public-api-checked-entries.test.js +28 -0
  322. package/dist/test/unit/public-api-checked-entries.test.js.map +1 -0
  323. package/dist/test/unit/typecheck/e104-block-scope-parity.test.d.ts +2 -0
  324. package/dist/test/unit/typecheck/e104-block-scope-parity.test.d.ts.map +1 -0
  325. package/dist/test/unit/typecheck/e104-block-scope-parity.test.js +82 -0
  326. package/dist/test/unit/typecheck/e104-block-scope-parity.test.js.map +1 -0
  327. package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts +2 -0
  328. package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts.map +1 -0
  329. package/dist/test/unit/typecheck/qualified-enum-member.test.js +73 -0
  330. package/dist/test/unit/typecheck/qualified-enum-member.test.js.map +1 -0
  331. package/dist/test/unit/typecheck/type-inference.test.js +22 -0
  332. package/dist/test/unit/typecheck/type-inference.test.js.map +1 -1
  333. package/dist/test/unit/version.test.d.ts +9 -0
  334. package/dist/test/unit/version.test.d.ts.map +1 -0
  335. package/dist/test/unit/version.test.js +34 -0
  336. package/dist/test/unit/version.test.js.map +1 -0
  337. package/package.json +1 -1
  338. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts +0 -47
  339. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts.map +0 -1
  340. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js +0 -142
  341. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js.map +0 -1
@@ -1,47 +0,0 @@
1
- /**
2
- * @module config/lexicons/identifiers/examples/canonicalizer-integration
3
- *
4
- * 示例:如何在 Canonicalizer 中集成标识符映射。
5
- *
6
- * 这个文件展示了标识符翻译功能如何与现有的关键词翻译功能配合工作。
7
- */
8
- /**
9
- * 示例:标识符规范化器。
10
- *
11
- * 在 Canonicalizer 的处理流程中,这个类负责将本地化标识符转换为规范化名称。
12
- */
13
- export declare class IdentifierCanonicalizer {
14
- private readonly domain;
15
- private readonly locale;
16
- private index;
17
- constructor(domain: string, locale: string);
18
- /**
19
- * 将源代码中的标识符规范化。
20
- *
21
- * @param source - 原始源代码
22
- * @returns 规范化后的源代码
23
- */
24
- canonicalize(source: string): string;
25
- /**
26
- * 将规范化后的代码本地化(用于显示)。
27
- *
28
- * @param source - 规范化的源代码
29
- * @returns 本地化后的源代码
30
- */
31
- localize(source: string): string;
32
- private escapeRegExp;
33
- }
34
- /**
35
- * 演示:将中文策略代码规范化。
36
- */
37
- declare function demo(): void;
38
- /**
39
- * 演示:完整的翻译流程。
40
- *
41
- * 1. 标识符规范化(本模块)
42
- * 2. 关键词规范化(现有 Canonicalizer)
43
- * 3. ANTLR 解析
44
- */
45
- declare function fullPipelineDemo(): void;
46
- export { demo, fullPipelineDemo };
47
- //# sourceMappingURL=canonicalizer-integration.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"canonicalizer-integration.d.ts","sourceRoot":"","sources":["../../../../../../src/config/lexicons/identifiers/examples/canonicalizer-integration.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH;;;;GAIG;AACH,qBAAa,uBAAuB;IAIhC,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJzB,OAAO,CAAC,KAAK,CAA8B;gBAGxB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM;IAKjC;;;;;OAKG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAkBpC;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAehC,OAAO,CAAC,YAAY;CAGrB;AAMD;;GAEG;AACH,iBAAS,IAAI,IAAI,IAAI,CA6CpB;AAED;;;;;;GAMG;AACH,iBAAS,gBAAgB,IAAI,IAAI,CAkBhC;AAQD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC"}
@@ -1,142 +0,0 @@
1
- /**
2
- * @module config/lexicons/identifiers/examples/canonicalizer-integration
3
- *
4
- * 示例:如何在 Canonicalizer 中集成标识符映射。
5
- *
6
- * 这个文件展示了标识符翻译功能如何与现有的关键词翻译功能配合工作。
7
- */
8
- import { vocabularyRegistry, initBuiltinVocabularies, } from '../index.js';
9
- /**
10
- * 示例:标识符规范化器。
11
- *
12
- * 在 Canonicalizer 的处理流程中,这个类负责将本地化标识符转换为规范化名称。
13
- */
14
- export class IdentifierCanonicalizer {
15
- domain;
16
- locale;
17
- index;
18
- constructor(domain, locale) {
19
- this.domain = domain;
20
- this.locale = locale;
21
- this.index = vocabularyRegistry.getIndex(domain, locale);
22
- }
23
- /**
24
- * 将源代码中的标识符规范化。
25
- *
26
- * @param source - 原始源代码
27
- * @returns 规范化后的源代码
28
- */
29
- canonicalize(source) {
30
- if (!this.index) {
31
- return source; // 没有词汇表,返回原始代码
32
- }
33
- let result = source;
34
- // 遍历所有映射,替换本地化名称为规范化名称
35
- for (const [localized, canonical] of this.index.toCanonical) {
36
- // 使用正则表达式进行全词匹配替换
37
- // 注意:需要处理中文没有空格分隔的特点
38
- const regex = new RegExp(this.escapeRegExp(localized), 'gi');
39
- result = result.replace(regex, canonical);
40
- }
41
- return result;
42
- }
43
- /**
44
- * 将规范化后的代码本地化(用于显示)。
45
- *
46
- * @param source - 规范化的源代码
47
- * @returns 本地化后的源代码
48
- */
49
- localize(source) {
50
- if (!this.index) {
51
- return source;
52
- }
53
- let result = source;
54
- for (const [canonical, localized] of this.index.toLocalized) {
55
- const regex = new RegExp(`\\b${this.escapeRegExp(canonical)}\\b`, 'gi');
56
- result = result.replace(regex, localized);
57
- }
58
- return result;
59
- }
60
- escapeRegExp(string) {
61
- return string.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
62
- }
63
- }
64
- // ===========================================
65
- // 使用示例
66
- // ===========================================
67
- /**
68
- * 演示:将中文策略代码规范化。
69
- */
70
- function demo() {
71
- // 1. 初始化词汇表
72
- initBuiltinVocabularies();
73
- // 2. 创建标识符规范化器
74
- const canonicalizer = new IdentifierCanonicalizer('insurance.auto', 'zh-CN');
75
- // 3. 原始中文代码
76
- const chineseSource = `
77
- 模块 保险.汽车。
78
-
79
- 定义 驾驶员 包含 年龄:整数,驾龄:整数,事故次数:整数。
80
-
81
- 定义 报价结果 包含 批准:布尔,原因:文本,月保费:整数。
82
-
83
- 生成报价 入参 驾驶员:驾驶员,产出 报价结果:
84
- 若 驾驶员.年龄 小于 18:
85
- 返回 报价结果 with 批准 = 假, 原因 = "未满18岁", 月保费 = 0.
86
- 令 因子 为 计算年龄因子(驾驶员.年龄)。
87
- 返回 报价结果 with 批准 = 真, 原因 = "审批通过", 月保费 = 因子.
88
- `;
89
- // 4. 规范化(标识符翻译)
90
- const canonicalized = canonicalizer.canonicalize(chineseSource);
91
- console.log('=== 原始中文代码 ===');
92
- console.log(chineseSource);
93
- console.log('\n=== 规范化后代码 ===');
94
- console.log(canonicalized);
95
- // 5. 预期输出(标识符已翻译):
96
- // 模块 保险.汽车。
97
- //
98
- // 定义 Driver 包含 age:整数,drivingYears:整数,accidents:整数。
99
- //
100
- // 定义 QuoteResult 包含 approved:布尔,reason:文本,monthlyPremium:整数。
101
- //
102
- // generateQuote 入参 driver:Driver,产出 QuoteResult:
103
- // 若 driver.age 小于 18:
104
- // 返回 QuoteResult with approved = 假, reason = "未满18岁", monthlyPremium = 0.
105
- // 令 因子 为 calculateAgeFactor(driver.age)。
106
- // 返回 QuoteResult with approved = 真, reason = "审批通过", monthlyPremium = 因子.
107
- // 注意:关键词(若、令、返回)由现有的 Canonicalizer 处理
108
- // 标识符映射只负责结构体、字段、函数名称的翻译
109
- }
110
- /**
111
- * 演示:完整的翻译流程。
112
- *
113
- * 1. 标识符规范化(本模块)
114
- * 2. 关键词规范化(现有 Canonicalizer)
115
- * 3. ANTLR 解析
116
- */
117
- function fullPipelineDemo() {
118
- console.log(`
119
- ===========================================
120
- 完整翻译流程
121
- ===========================================
122
-
123
- 用户输入(纯中文):
124
- 定义 驾驶员 包含 年龄:整数。
125
-
126
- 步骤 1 - 标识符翻译(本模块):
127
- 定义 Driver 包含 age:整数。
128
-
129
- 步骤 2 - 关键词翻译(Canonicalizer):
130
- Define Driver with age: Int.
131
-
132
- 步骤 3 - ANTLR 解析:
133
- AST: TypeDef(name="Driver", fields=[Field(name="age", type="Int")])
134
- `);
135
- }
136
- // 如果直接运行此文件
137
- if (typeof require !== 'undefined' && require.main === module) {
138
- demo();
139
- fullPipelineDemo();
140
- }
141
- export { demo, fullPipelineDemo };
142
- //# sourceMappingURL=canonicalizer-integration.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"canonicalizer-integration.js","sourceRoot":"","sources":["../../../../../../src/config/lexicons/identifiers/examples/canonicalizer-integration.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,GAExB,MAAM,aAAa,CAAC;AAErB;;;;GAIG;AACH,MAAM,OAAO,uBAAuB;IAIf;IACA;IAJX,KAAK,CAA8B;IAE3C,YACmB,MAAc,EACd,MAAc;QADd,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAQ;QAE/B,IAAI,CAAC,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IAED;;;;;OAKG;IACH,YAAY,CAAC,MAAc;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,MAAM,CAAC,CAAC,eAAe;QAChC,CAAC;QAED,IAAI,MAAM,GAAG,MAAM,CAAC;QAEpB,uBAAuB;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC5D,kBAAkB;YAClB,qBAAqB;YACrB,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7D,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,MAAc;QACrB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,MAAM,GAAG,MAAM,CAAC;QAEpB,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,YAAY,CAAC,MAAc;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;CACF;AAED,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C;;GAEG;AACH,SAAS,IAAI;IACX,YAAY;IACZ,uBAAuB,EAAE,CAAC;IAE1B,eAAe;IACf,MAAM,aAAa,GAAG,IAAI,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAE7E,YAAY;IACZ,MAAM,aAAa,GAAG;;;;;;;;;;;;GAYrB,CAAC;IAEF,gBAAgB;IAChB,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IAEhE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAE3B,mBAAmB;IACnB,YAAY;IACZ,EAAE;IACF,oDAAoD;IACpD,EAAE;IACF,6DAA6D;IAC7D,EAAE;IACF,iDAAiD;IACjD,wBAAwB;IACxB,8EAA8E;IAC9E,2CAA2C;IAC3C,4EAA4E;IAE5E,sCAAsC;IACtC,yBAAyB;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB;IACvB,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;GAgBX,CAAC,CAAC;AACL,CAAC;AAED,YAAY;AACZ,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC9D,IAAI,EAAE,CAAC;IACP,gBAAgB,EAAE,CAAC;AACrB,CAAC;AAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC"}