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

package/dist/test/unit/typecheck/qualified-enum-member.test.js

@@ -0,0 +1,73 @@
+/**
+ * 限定枚举成员 `E.M`：类型检查器与解释器把它视为与裸成员 `M` 相同的类型与值。
+ * 名称解析保持写法形态（`Stufe.Hoch` → `Level.High`），E804/E806 的提示也引导用户写 `E.M`，
+ * 因此限定写法必须能通过类型检查并求值。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+import { typecheckBrowser } from '../../../src/typecheck/browser.js';
+import { evaluate } from '../../../src/core/interpreter.js';
+function coreOf(source) {
+    const result = parse(lex(canonicalize(source)));
+    assert.deepEqual(result.diagnostics.filter((d) => d.severity === 'error'), []);
+    return lowerModule(result.ast);
+}
+const TIER = 'Module m.\n\nDefine Tier as one of Gold, Silver.\n\n';
+const QUALIFIED = TIER +
+    'Rule pick given t as Tier, produce Tier:\n' +
+    '  If t equals to Tier.Gold:\n' +
+    '    Return Tier.Silver.\n' +
+    '  Return Tier.Gold.\n';
+const BARE = TIER +
+    'Rule pick given t as Tier, produce Tier:\n' +
+    '  If t equals to Gold:\n' +
+    '    Return Silver.\n' +
+    '  Return Gold.\n';
+const errors = (ds) => ds.filter((d) => d.severity === 'error');
+describe('限定枚举成员 E.M', () => {
+    it('类型检查通过，与裸成员写法诊断一致', () => {
+        assert.deepEqual(errors(typecheckModule(coreOf(QUALIFIED))), []);
+        assert.deepEqual(errors(typecheckBrowser(coreOf(QUALIFIED))), []);
+        assert.deepEqual(errors(typecheckModule(coreOf(BARE))), []);
+    });
+    it('E.M 的类型为枚举 E：返回类型不符时照常报错', () => {
+        const src = TIER + 'Rule f given x as Int, produce Int:\n  Return Tier.Gold.\n';
+        const diags = errors(typecheckModule(coreOf(src)));
+        assert.equal(diags.length, 1, JSON.stringify(diags));
+    });
+    it('不存在的成员与非枚举限定仍报未定义', () => {
+        const missing = TIER + 'Rule f given x as Int, produce Tier:\n  Return Tier.Bronze.\n';
+        assert.equal(errors(typecheckModule(coreOf(missing))).length, 1);
+        const notEnum = TIER + 'Rule f given x as Int, produce Tier:\n  Return Rank.Gold.\n';
+        assert.equal(errors(typecheckModule(coreOf(notEnum))).length, 1);
+    });
+    it('解释器：E.M 求值为与裸成员相同的枚举值', () => {
+        const qualified = coreOf(QUALIFIED);
+        const bare = coreOf(BARE);
+        const gold = { __type: '?', _enum: 'Tier', value: 'Gold', variant: 'Gold', args: [] };
+        for (const input of ['Gold', 'Silver']) {
+            const arg = { t: { ...gold, value: input, variant: input } };
+            const q = evaluate(qualified, 'pick', arg);
+            const b = evaluate(bare, 'pick', arg);
+            assert.equal(q.success, true, q.error);
+            assert.equal(JSON.stringify(q.value), JSON.stringify(b.value));
+        }
+        const r = evaluate(qualified, 'pick', { t: { ...gold, value: 'Silver', variant: 'Silver' } });
+        assert.equal(JSON.stringify(r.value), JSON.stringify(gold));
+    });
+    it('解释器：局部变量优先于同名枚举的限定访问', () => {
+        // 源码语法不允许大写参数名，这里在 Core 上把参数改名为与枚举同名，验证求值顺序
+        const src = 'Module m.\n\nDefine Tier as one of gold, silver.\n\nDefine Box has gold as Int.\n\n' +
+            'Rule f given box as Box, produce Int:\n  Return box.gold.\n';
+        const core = JSON.parse(JSON.stringify(coreOf(src)).replaceAll('"box"', '"Tier"').replace('"box.gold"', '"Tier.gold"'));
+        const r = evaluate(core, 'f', { Tier: { gold: 7 } });
+        assert.equal(r.success, true, r.error);
+        assert.equal(r.value, 7);
+    });
+});
+//# sourceMappingURL=qualified-enum-member.test.js.map

package/dist/test/unit/typecheck/qualified-enum-member.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"qualified-enum-member.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/qualified-enum-member.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAG5D,SAAS,MAAM,CAAC,MAAc;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/E,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,IAAI,GAAG,sDAAsD,CAAC;AAEpE,MAAM,SAAS,GACb,IAAI;IACJ,4CAA4C;IAC5C,+BAA+B;IAC/B,2BAA2B;IAC3B,uBAAuB,CAAC;AAE1B,MAAM,IAAI,GACR,IAAI;IACJ,4CAA4C;IAC5C,0BAA0B;IAC1B,sBAAsB;IACtB,kBAAkB,CAAC;AAErB,MAAM,MAAM,GAAG,CAAC,EAAmC,EAAa,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AAE5G,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,4DAA4D,CAAC;QAChF,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,+DAA+D,CAAC;QACvF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,GAAG,6DAA6D,CAAC;QACrF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACtF,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,4CAA4C;QAC5C,MAAM,GAAG,GACP,qFAAqF;YACrF,6DAA6D,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;QACxH,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAmB,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/version.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * 工具链分量版本常量单元测试（ADR 0051）
+ *
+ * 测试目标：
+ * 1. 三个分量常量的值与 ADR 0051 §7 一致（cloud 据此组装 toolchainId）
+ * 2. 常量同时从 browser 与 Node 两个入口导出，且与模块内定义为同一值
+ */
+export {};
+//# sourceMappingURL=version.test.d.ts.map

package/dist/test/unit/version.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.test.d.ts","sourceRoot":"","sources":["../../../test/unit/version.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/test/unit/version.test.js

@@ -0,0 +1,34 @@
+/**
+ * 工具链分量版本常量单元测试（ADR 0051）
+ *
+ * 测试目标：
+ * 1. 三个分量常量的值与 ADR 0051 §7 一致（cloud 据此组装 toolchainId）
+ * 2. 常量同时从 browser 与 Node 两个入口导出，且与模块内定义为同一值
+ */
+import test from 'node:test';
+import assert from 'node:assert';
+import * as version from '../../src/version.js';
+import * as indexEntry from '../../src/index.js';
+import * as browserEntry from '../../src/browser.js';
+import * as casefoldTable from '../../src/config/lexicons/identifiers/casefold-table.generated.js';
+test('toolchainId 分量常量', async (t) => {
+    await t.test('取值与 ADR 0051 一致', () => {
+        assert.strictEqual(version.RESOLVER_VERSION, 1);
+        assert.strictEqual(version.CASEFOLD_VERSION, '15.1');
+        assert.strictEqual(version.CORE_IR_ABI, '1.1');
+    });
+    await t.test('CASEFOLD_VERSION 取自生成的折叠表', () => {
+        assert.strictEqual(version.CASEFOLD_VERSION, casefoldTable.CASEFOLD_VERSION);
+    });
+    await t.test('index 入口导出三个常量', () => {
+        assert.strictEqual(indexEntry.RESOLVER_VERSION, 1);
+        assert.strictEqual(indexEntry.CASEFOLD_VERSION, '15.1');
+        assert.strictEqual(indexEntry.CORE_IR_ABI, '1.1');
+    });
+    await t.test('browser 入口导出三个常量', () => {
+        assert.strictEqual(browserEntry.RESOLVER_VERSION, 1);
+        assert.strictEqual(browserEntry.CASEFOLD_VERSION, '15.1');
+        assert.strictEqual(browserEntry.CORE_IR_ABI, '1.1');
+    });
+});
+//# sourceMappingURL=version.test.js.map

package/dist/test/unit/version.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.test.js","sourceRoot":"","sources":["../../../test/unit/version.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,OAAO,KAAK,UAAU,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,YAAY,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,aAAa,MAAM,mEAAmE,CAAC;AAEnG,IAAI,CAAC,kBAAkB,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IACnC,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "1.0.37",
+  "version": "1.2.0",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",
@@ -223,6 +223,7 @@
     "format": "prettier --write src scripts",
     "format:check": "prettier --check src scripts",
     "generate:lexicons": "npx tsx scripts/generate-lexicons.ts",
+    "generate:diagnostic-overlays": "npx tsx scripts/generate-diagnostic-overlays.ts",
     "generate:vocabularies": "npx tsx scripts/generate-vocabularies.ts",
     "verify:lexicons": "pnpm run build && node dist/scripts/verify-lexicon-sync.js",
     "verify:lexicon-sync": "pnpm run build && node dist/scripts/verify-lexicon-sync.js",

package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts

@@ -1,47 +0,0 @@
-/**
- * @module config/lexicons/identifiers/examples/canonicalizer-integration
- *
- * 示例：如何在 Canonicalizer 中集成标识符映射。
- *
- * 这个文件展示了标识符翻译功能如何与现有的关键词翻译功能配合工作。
- */
-/**
- * 示例：标识符规范化器。
- *
- * 在 Canonicalizer 的处理流程中，这个类负责将本地化标识符转换为规范化名称。
- */
-export declare class IdentifierCanonicalizer {
-    private readonly domain;
-    private readonly locale;
-    private index;
-    constructor(domain: string, locale: string);
-    /**
-     * 将源代码中的标识符规范化。
-     *
-     * @param source - 原始源代码
-     * @returns 规范化后的源代码
-     */
-    canonicalize(source: string): string;
-    /**
-     * 将规范化后的代码本地化（用于显示）。
-     *
-     * @param source - 规范化的源代码
-     * @returns 本地化后的源代码
-     */
-    localize(source: string): string;
-    private escapeRegExp;
-}
-/**
- * 演示：将中文策略代码规范化。
- */
-declare function demo(): void;
-/**
- * 演示：完整的翻译流程。
- *
- * 1. 标识符规范化（本模块）
- * 2. 关键词规范化（现有 Canonicalizer）
- * 3. ANTLR 解析
- */
-declare function fullPipelineDemo(): void;
-export { demo, fullPipelineDemo };
-//# sourceMappingURL=canonicalizer-integration.d.ts.map

package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts.map

@@ -1 +0,0 @@
-{"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"}

package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js

@@ -1,142 +0,0 @@
-/**
- * @module config/lexicons/identifiers/examples/canonicalizer-integration
- *
- * 示例：如何在 Canonicalizer 中集成标识符映射。
- *
- * 这个文件展示了标识符翻译功能如何与现有的关键词翻译功能配合工作。
- */
-import { vocabularyRegistry, initBuiltinVocabularies, } from '../index.js';
-/**
- * 示例：标识符规范化器。
- *
- * 在 Canonicalizer 的处理流程中，这个类负责将本地化标识符转换为规范化名称。
- */
-export class IdentifierCanonicalizer {
-    domain;
-    locale;
-    index;
-    constructor(domain, locale) {
-        this.domain = domain;
-        this.locale = locale;
-        this.index = vocabularyRegistry.getIndex(domain, locale);
-    }
-    /**
-     * 将源代码中的标识符规范化。
-     *
-     * @param source - 原始源代码
-     * @returns 规范化后的源代码
-     */
-    canonicalize(source) {
-        if (!this.index) {
-            return source; // 没有词汇表，返回原始代码
-        }
-        let result = source;
-        // 遍历所有映射，替换本地化名称为规范化名称
-        for (const [localized, canonical] of this.index.toCanonical) {
-            // 使用正则表达式进行全词匹配替换
-            // 注意：需要处理中文没有空格分隔的特点
-            const regex = new RegExp(this.escapeRegExp(localized), 'gi');
-            result = result.replace(regex, canonical);
-        }
-        return result;
-    }
-    /**
-     * 将规范化后的代码本地化（用于显示）。
-     *
-     * @param source - 规范化的源代码
-     * @returns 本地化后的源代码
-     */
-    localize(source) {
-        if (!this.index) {
-            return source;
-        }
-        let result = source;
-        for (const [canonical, localized] of this.index.toLocalized) {
-            const regex = new RegExp(`\\b${this.escapeRegExp(canonical)}\\b`, 'gi');
-            result = result.replace(regex, localized);
-        }
-        return result;
-    }
-    escapeRegExp(string) {
-        return string.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-    }
-}
-// ===========================================
-// 使用示例
-// ===========================================
-/**
- * 演示：将中文策略代码规范化。
- */
-function demo() {
-    // 1. 初始化词汇表
-    initBuiltinVocabularies();
-    // 2. 创建标识符规范化器
-    const canonicalizer = new IdentifierCanonicalizer('insurance.auto', 'zh-CN');
-    // 3. 原始中文代码
-    const chineseSource = `
-模块 保险.汽车。
-
-定义 驾驶员 包含 年龄：整数，驾龄：整数，事故次数：整数。
-
-定义 报价结果 包含 批准：布尔，原因：文本，月保费：整数。
-
-生成报价 入参 驾驶员：驾驶员，产出 报价结果：
-  若 驾驶员.年龄 小于 18：
-    返回 报价结果 with 批准 = 假, 原因 = "未满18岁", 月保费 = 0.
-  令 因子 为 计算年龄因子(驾驶员.年龄)。
-  返回 报价结果 with 批准 = 真, 原因 = "审批通过", 月保费 = 因子.
-  `;
-    // 4. 规范化（标识符翻译）
-    const canonicalized = canonicalizer.canonicalize(chineseSource);
-    console.log('=== 原始中文代码 ===');
-    console.log(chineseSource);
-    console.log('\n=== 规范化后代码 ===');
-    console.log(canonicalized);
-    // 5. 预期输出（标识符已翻译）：
-    // 模块 保险.汽车。
-    //
-    // 定义 Driver 包含 age：整数，drivingYears：整数，accidents：整数。
-    //
-    // 定义 QuoteResult 包含 approved：布尔，reason：文本，monthlyPremium：整数。
-    //
-    // generateQuote 入参 driver：Driver，产出 QuoteResult：
-    //   若 driver.age 小于 18：
-    //     返回 QuoteResult with approved = 假, reason = "未满18岁", monthlyPremium = 0.
-    //   令 因子 为 calculateAgeFactor(driver.age)。
-    //   返回 QuoteResult with approved = 真, reason = "审批通过", monthlyPremium = 因子.
-    // 注意：关键词（若、令、返回）由现有的 Canonicalizer 处理
-    // 标识符映射只负责结构体、字段、函数名称的翻译
-}
-/**
- * 演示：完整的翻译流程。
- *
- * 1. 标识符规范化（本模块）
- * 2. 关键词规范化（现有 Canonicalizer）
- * 3. ANTLR 解析
- */
-function fullPipelineDemo() {
-    console.log(`
-===========================================
-完整翻译流程
-===========================================
-
-用户输入（纯中文）:
-  定义 驾驶员 包含 年龄：整数。
-
-步骤 1 - 标识符翻译（本模块）:
-  定义 Driver 包含 age：整数。
-
-步骤 2 - 关键词翻译（Canonicalizer）:
-  Define Driver with age: Int.
-
-步骤 3 - ANTLR 解析:
-  AST: TypeDef(name="Driver", fields=[Field(name="age", type="Int")])
-  `);
-}
-// 如果直接运行此文件
-if (typeof require !== 'undefined' && require.main === module) {
-    demo();
-    fullPipelineDemo();
-}
-export { demo, fullPipelineDemo };
-//# sourceMappingURL=canonicalizer-integration.js.map

package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js.map

@@ -1 +0,0 @@
-{"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"}