@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/unit/lsp/pii-diagnostics.test.js

@@ -0,0 +1,222 @@
+import { before, after, describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { DiagnosticSeverity } from 'vscode-languageserver/node.js';
+import { checkPiiFlow } from '../../../src/lsp/pii_diagnostics.js';
+import { resetConfig } from '../../../src/lsp/config.js';
+let piiDiagnosticsModule = null;
+let originalActiveContext = null;
+before(async () => {
+    piiDiagnosticsModule = await import('../../../src/lsp/pii_diagnostics.js');
+    if (!piiDiagnosticsModule)
+        return;
+    const exportedActive = piiDiagnosticsModule.activeContext;
+    if (exportedActive !== undefined) {
+        originalActiveContext = exportedActive;
+        return;
+    }
+    const resetForTesting = piiDiagnosticsModule.resetContextForTesting;
+    if (typeof resetForTesting === 'function') {
+        originalActiveContext = resetForTesting();
+    }
+});
+after(() => {
+    if (!piiDiagnosticsModule)
+        return;
+    const exportedActive = piiDiagnosticsModule.activeContext;
+    if (exportedActive !== undefined) {
+        piiDiagnosticsModule.activeContext = originalActiveContext;
+        return;
+    }
+    const setForTesting = piiDiagnosticsModule.setContextForTesting;
+    if (typeof setForTesting === 'function') {
+        setForTesting(originalActiveContext);
+    }
+});
+function makeOrigin(label) {
+    return {
+        file: `${label}.aster`,
+        start: { line: 1, col: 1 },
+        end: { line: 1, col: 10 },
+    };
+}
+function makeName(name) {
+    return { kind: 'Name', name, origin: makeOrigin(name) };
+}
+function makeCall(name, args = []) {
+    return {
+        kind: 'Call',
+        target: makeName(name),
+        args,
+        origin: makeOrigin(`call:${name}`),
+    };
+}
+function makeBlock(statements) {
+    return { kind: 'Block', statements };
+}
+const UNIT_TYPE = { kind: 'TypeName', name: 'Unit' };
+function makeFunc({ name, params = [], effects = [], body = makeBlock([makeReturn(makeName('unit'))]), ret = UNIT_TYPE, }) {
+    return {
+        kind: 'Func',
+        name,
+        typeParams: [],
+        params: params.map(param => ({ ...param, annotations: param.annotations ?? [] })),
+        ret,
+        effects,
+        effectCaps: [],
+        effectCapsExplicit: false,
+        body,
+    };
+}
+function makeReturn(expr) {
+    return { kind: 'Return', expr };
+}
+function makeLet(name, expr) {
+    return { kind: 'Let', name, expr };
+}
+describe('PII Diagnostics', () => {
+    describe('checkPiiFlow', () => {
+        it('应该对空模块返回空诊断列表', () => {
+            const emptyModule = {
+                kind: 'Module',
+                name: 'TestModule',
+                decls: [],
+            };
+            const diagnostics = checkPiiFlow(emptyModule);
+            assert.strictEqual(diagnostics.length, 0);
+        });
+        it('默认模式下 PII 泄漏应为 Warning', () => {
+            // 确保默认配置（非严格模式）
+            resetConfig({ strictPiiMode: false });
+            const stringType = { kind: 'TypeName', name: 'String' };
+            const piiType = {
+                kind: 'PiiType',
+                baseType: stringType,
+                sensitivity: 'L2',
+                category: 'name',
+            };
+            const httpCallWithPii = {
+                kind: 'Call',
+                target: makeName('Http.post'),
+                args: [makeName('piiData')],
+                origin: makeOrigin('http-call'),
+            };
+            const func = makeFunc({
+                name: 'leakPii',
+                params: [{ name: 'piiData', type: piiType, annotations: [] }],
+                body: makeBlock([makeReturn(httpCallWithPii)]),
+            });
+            const module = {
+                kind: 'Module',
+                name: 'TestModule',
+                decls: [func],
+            };
+            const diagnostics = checkPiiFlow(module);
+            // 现在返回 2 个诊断：HTTP 泄漏 + 缺失同意检查
+            assert.ok(diagnostics.length >= 1);
+            const httpDiag = diagnostics.find(d => d.message.includes('PII data transmitted over HTTP'));
+            assert.ok(httpDiag, '应检测到 HTTP PII 泄漏');
+            assert.strictEqual(httpDiag.severity, DiagnosticSeverity.Warning);
+        });
+        it('--strict-pii 模式下 PII 泄漏应为 Error', () => {
+            // 启用严格模式
+            resetConfig({ strictPiiMode: true });
+            const stringType = { kind: 'TypeName', name: 'String' };
+            const piiType = {
+                kind: 'PiiType',
+                baseType: stringType,
+                sensitivity: 'L2',
+                category: 'name',
+            };
+            const httpCallWithPii = {
+                kind: 'Call',
+                target: makeName('Http.post'),
+                args: [makeName('piiData')],
+                origin: makeOrigin('http-call'),
+            };
+            const func = makeFunc({
+                name: 'leakPii',
+                params: [{ name: 'piiData', type: piiType, annotations: [] }],
+                body: makeBlock([makeReturn(httpCallWithPii)]),
+            });
+            const module = {
+                kind: 'Module',
+                name: 'TestModule',
+                decls: [func],
+            };
+            const diagnostics = checkPiiFlow(module);
+            // 现在返回 2 个诊断：HTTP 泄漏 + 缺失同意检查
+            assert.ok(diagnostics.length >= 1);
+            const httpDiag = diagnostics.find(d => d.message.includes('PII data transmitted over HTTP'));
+            assert.ok(httpDiag, '应检测到 HTTP PII 泄漏');
+            assert.strictEqual(httpDiag.severity, DiagnosticSeverity.Error);
+            // 恢复默认配置
+            resetConfig({ strictPiiMode: false });
+        });
+        it('语义层诊断应设置 source="aster-pii" (P1-3 Task 6)', () => {
+            // 启用严格模式以获得 Error 级别诊断
+            resetConfig({ strictPiiMode: true });
+            const stringType = { kind: 'TypeName', name: 'String' };
+            const piiType = {
+                kind: 'PiiType',
+                baseType: stringType,
+                sensitivity: 'L2',
+                category: 'email',
+            };
+            const httpCallWithPii = {
+                kind: 'Call',
+                target: makeName('Http.post'),
+                args: [makeName('userEmail')],
+                origin: makeOrigin('http-call'),
+            };
+            const func = makeFunc({
+                name: 'sendEmail',
+                params: [{ name: 'userEmail', type: piiType, annotations: [] }],
+                body: makeBlock([makeReturn(httpCallWithPii)]),
+            });
+            const module = {
+                kind: 'Module',
+                name: 'TestModule',
+                decls: [func],
+            };
+            const diagnostics = checkPiiFlow(module);
+            // 现在返回 2 个诊断：HTTP 泄漏 + 缺失同意检查
+            assert.ok(diagnostics.length >= 1, '应检测到至少 1 条语义层 PII 诊断');
+            const httpDiag = diagnostics.find(d => d.message.includes('PII data transmitted over HTTP'));
+            assert.ok(httpDiag, '诊断对象应存在');
+            // 验证 source 字段 (P1-3 Task 6)
+            assert.strictEqual(httpDiag.source, 'aster-pii', '语义层诊断应设置 source="aster-pii"');
+            assert.strictEqual(httpDiag.severity, DiagnosticSeverity.Error, '严格模式下应为 Error');
+            assert.ok(httpDiag.message.includes('PII data transmitted over HTTP'), '消息应包含 PII HTTP 警告');
+            // 验证所有诊断都使用 source="aster-pii"
+            for (const diag of diagnostics) {
+                assert.strictEqual(diag.source, 'aster-pii', '所有 PII 诊断应使用 source="aster-pii"');
+            }
+            // 恢复默认配置
+            resetConfig({ strictPiiMode: false });
+        });
+        it('无 PII 泄漏时不应产生诊断', () => {
+            resetConfig({ strictPiiMode: true });
+            const stringType = { kind: 'TypeName', name: 'String' };
+            const httpCallWithoutPii = {
+                kind: 'Call',
+                target: makeName('Http.post'),
+                args: [makeName('safeData')],
+                origin: makeOrigin('http-call'),
+            };
+            const func = makeFunc({
+                name: 'noLeak',
+                params: [{ name: 'safeData', type: stringType, annotations: [] }],
+                body: makeBlock([makeReturn(httpCallWithoutPii)]),
+            });
+            const module = {
+                kind: 'Module',
+                name: 'TestModule',
+                decls: [func],
+            };
+            const diagnostics = checkPiiFlow(module);
+            assert.strictEqual(diagnostics.length, 0);
+            resetConfig({ strictPiiMode: false });
+        });
+    });
+});
+//# sourceMappingURL=pii-diagnostics.test.js.map

package/dist/test/unit/lsp/pii-diagnostics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pii-diagnostics.test.js","sourceRoot":"","sources":["../../../../test/unit/lsp/pii-diagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAU,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEjE,IAAI,oBAAoB,GAAgE,IAAI,CAAC;AAC7F,IAAI,qBAAqB,GAAY,IAAI,CAAC;AAE1C,MAAM,CAAC,KAAK,IAAI,EAAE;IAChB,oBAAoB,GAAG,MAAM,MAAM,CAAC,qCAAqC,CAAC,CAAC;IAC3E,IAAI,CAAC,oBAAoB;QAAE,OAAO;IAClC,MAAM,cAAc,GAAI,oBAAgD,CAAC,aAAa,CAAC;IACvF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,qBAAqB,GAAG,cAAc,CAAC;QACvC,OAAO;IACT,CAAC;IACD,MAAM,eAAe,GAAI,oBAAgD,CAAC,sBAAsB,CAAC;IACjG,IAAI,OAAO,eAAe,KAAK,UAAU,EAAE,CAAC;QAC1C,qBAAqB,GAAI,eAAiC,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,KAAK,CAAC,GAAG,EAAE;IACT,IAAI,CAAC,oBAAoB;QAAE,OAAO;IAClC,MAAM,cAAc,GAAI,oBAAgD,CAAC,aAAa,CAAC;IACvF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAChC,oBAAgD,CAAC,aAAa,GAAG,qBAAqB,CAAC;QACxF,OAAO;IACT,CAAC;IACD,MAAM,aAAa,GAAI,oBAAgD,CAAC,oBAAoB,CAAC;IAC7F,IAAI,OAAO,aAAa,KAAK,UAAU,EAAE,CAAC;QACvC,aAA0C,CAAC,qBAAqB,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO;QACL,IAAI,EAAE,GAAG,KAAK,QAAQ;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,OAA0B,EAAE;IAC1D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,UAA4B;IAC7C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAUD,MAAM,SAAS,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAEpE,SAAS,QAAQ,CAAC,EAChB,IAAI,EACJ,MAAM,GAAG,EAAE,EACX,OAAO,GAAG,EAAE,EACZ,IAAI,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAChD,GAAG,GAAG,SAAS,GACH;IACZ,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;QACjF,GAAG;QACH,OAAO;QACP,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAqB;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAqB;IAClD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,WAAW,GAAgB;gBAC/B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,EAAE;aACV,CAAC;YACF,MAAM,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,gBAAgB;YAChB,WAAW,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YAEtC,MAAM,UAAU,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAiB;gBAC5B,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,IAAI;gBACjB,QAAQ,EAAE,MAAM;aACjB,CAAC;YACF,MAAM,eAAe,GAAc;gBACjC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC;gBAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM,EAAE,UAAU,CAAC,WAAW,CAAC;aAChC,CAAC;YAEF,MAAM,IAAI,GAAG,QAAQ,CAAC;gBACpB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBAC7D,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAgB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,IAAI,CAAC;aACd,CAAC;YAEF,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACzC,8BAA8B;YAC9B,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC;YAC7F,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;YACxC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,SAAS;YACT,WAAW,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAErC,MAAM,UAAU,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAiB;gBAC5B,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,IAAI;gBACjB,QAAQ,EAAE,MAAM;aACjB,CAAC;YACF,MAAM,eAAe,GAAc;gBACjC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC;gBAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM,EAAE,UAAU,CAAC,WAAW,CAAC;aAChC,CAAC;YAEF,MAAM,IAAI,GAAG,QAAQ,CAAC;gBACpB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBAC7D,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAgB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,IAAI,CAAC;aACd,CAAC;YAEF,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACzC,8BAA8B;YAC9B,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC;YAC7F,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;YACxC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAEhE,SAAS;YACT,WAAW,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,uBAAuB;YACvB,WAAW,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAErC,MAAM,UAAU,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAiB;gBAC5B,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,IAAI;gBACjB,QAAQ,EAAE,OAAO;aAClB,CAAC;YACF,MAAM,eAAe,GAAc;gBACjC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC;gBAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBAC7B,MAAM,EAAE,UAAU,CAAC,WAAW,CAAC;aAChC,CAAC;YAEF,MAAM,IAAI,GAAG,QAAQ,CAAC;gBACpB,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBAC/D,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAgB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,IAAI,CAAC;aACd,CAAC;YAEF,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACzC,8BAA8B;YAC9B,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,sBAAsB,CAAC,CAAC;YAE3D,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC;YAC7F,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAE/B,6BAA6B;YAC7B,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,6BAA6B,CAAC,CAAC;YAChF,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACjF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,gCAAgC,CAAC,EAAE,mBAAmB,CAAC,CAAC;YAE5F,+BAA+B;YAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,iCAAiC,CAAC,CAAC;YAClF,CAAC;YAED,SAAS;YACT,WAAW,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,WAAW,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAErC,MAAM,UAAU,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,kBAAkB,GAAc;gBACpC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC;gBAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;gBAC5B,MAAM,EAAE,UAAU,CAAC,WAAW,CAAC;aAChC,CAAC;YAEF,MAAM,IAAI,GAAG,QAAQ,CAAC;gBACpB,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBACjE,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;aAClD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAgB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,IAAI,CAAC;aACd,CAAC;YAEF,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAE1C,WAAW,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/lsp/symbols.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=symbols.test.d.ts.map

package/dist/test/unit/lsp/symbols.test.d.ts.map

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

package/dist/test/unit/lsp/symbols.test.js

@@ -0,0 +1,160 @@
+import { describe, it, mock } from 'node:test';
+import assert from 'node:assert/strict';
+import path from 'node:path';
+import { createRequire } from 'node:module';
+import { SymbolKind } from 'vscode-languageserver/node.js';
+import { registerSymbolsHandlers, toGuideUri } from '../../../src/lsp/symbols.js';
+const requireForTest = createRequire(import.meta.url);
+const originalRequire = globalThis.require;
+globalThis.require = requireForTest;
+process.on('exit', () => {
+    globalThis.require = originalRequire;
+});
+const fs = requireForTest('node:fs');
+function createMockConnection() {
+    const handlers = {};
+    return {
+        onWorkspaceSymbol: (handler) => { handlers.workspaceSymbol = handler; },
+        onDocumentLinks: (handler) => { handlers.documentLinks = handler; },
+        handlers,
+    };
+}
+function createMockDocuments(getText, uri = 'file:///current.doc') {
+    return {
+        get: (targetUri) => {
+            if (targetUri !== uri)
+                return undefined;
+            return {
+                uri,
+                getText,
+            };
+        },
+    };
+}
+function offsetToPos(text, offset) {
+    const upto = text.slice(0, offset);
+    const lines = upto.split(/\n/);
+    const line = lines.length - 1;
+    const character = lines[lines.length - 1]?.length ?? 0;
+    return { line, character };
+}
+describe('registerSymbolsHandlers', () => {
+    it('应该注册 workspaceSymbol 和 documentLinks 处理器', () => {
+        const connection = createMockConnection();
+        const documents = createMockDocuments(() => '');
+        const getAllModules = () => [];
+        registerSymbolsHandlers(connection, documents, getAllModules, uri => uri, () => ({ line: 0, character: 0 }));
+        assert.strictEqual(typeof connection.handlers.workspaceSymbol, 'function');
+        assert.strictEqual(typeof connection.handlers.documentLinks, 'function');
+    });
+    it('应该过滤 workspaceSymbol 查询并处理 selectionRange 回退', () => {
+        const connection = createMockConnection();
+        const documents = createMockDocuments(() => '');
+        const modules = [
+            {
+                uri: 'file:///module.aster',
+                moduleName: 'demo',
+                symbols: [
+                    {
+                        name: 'Hit',
+                        kind: 'function',
+                        range: { start: { line: 0, character: 0 }, end: { line: 0, character: 5 } },
+                        selectionRange: { start: { line: 0, character: 1 }, end: { line: 0, character: 4 } },
+                    },
+                    {
+                        name: 'Miss',
+                        kind: 'struct',
+                        range: { start: { line: 1, character: 0 }, end: { line: 1, character: 4 } },
+                    },
+                ],
+            },
+        ];
+        const getAllModules = () => modules;
+        registerSymbolsHandlers(connection, documents, getAllModules, uri => uri, (text, offset) => offsetToPos(text, offset));
+        const handler = connection.handlers.workspaceSymbol;
+        const allResults = handler({ query: '' });
+        const filteredResults = handler({ query: 'hit' });
+        assert.strictEqual(allResults.length, 2);
+        assert.strictEqual(filteredResults.length, 1);
+        assert.strictEqual(filteredResults[0]?.name, 'demo.Hit');
+        assert.deepStrictEqual(filteredResults[0]?.location.range, { start: { line: 0, character: 1 }, end: { line: 0, character: 4 } });
+        const miss = allResults.find(item => item.name === 'demo.Miss');
+        assert.ok(miss);
+        assert.deepStrictEqual(miss.location.range, { start: { line: 1, character: 0 }, end: { line: 1, character: 4 } });
+        assert.strictEqual(miss.kind, SymbolKind.Struct);
+    });
+    it('应该生成文档链接并区分跨文件与自身 URI', () => {
+        const connection = createMockConnection();
+        let currentText = [
+            'This module is other.mod.',
+            '',
+            'Text.print("示例")',
+            'other.mod.helper 调用 self.mod.reuse',
+        ].join('\n');
+        const documents = createMockDocuments(() => currentText);
+        const docUri = 'file:///current.doc';
+        let modules = [
+            { uri: docUri, moduleName: 'self.mod', symbols: [] },
+            { uri: 'file:///other.aster', moduleName: 'other.mod', symbols: [] },
+        ];
+        const getAllModules = () => modules;
+        const ensureUri = (uri) => uri;
+        const existsMock = mock.method(fs, 'existsSync', (target) => String(target).includes('interop-overloads.md'));
+        try {
+            registerSymbolsHandlers(connection, documents, getAllModules, ensureUri, (text, offset) => offsetToPos(text, offset));
+            const handler = connection.handlers.documentLinks;
+            const links = handler({ textDocument: { uri: docUri } });
+            const headerLink = links.find(link => link.range.start.line === 0);
+            assert.ok(headerLink);
+            assert.strictEqual(headerLink.target, 'file:///other.aster');
+            const dottedLink = links.find(link => link.range.start.line === 3 && link.target === 'file:///other.aster');
+            assert.ok(dottedLink);
+            const textLink = links.find(link => link.target?.endsWith('interop-overloads.md'));
+            assert.ok(textLink);
+            assert.strictEqual(textLink.range.start.line, 2);
+            currentText = 'This module is self.mod.';
+            modules = [{ uri: docUri, moduleName: 'self.mod', symbols: [] }];
+            const selfLinks = handler({ textDocument: { uri: docUri } });
+            assert.strictEqual(selfLinks.length, 0);
+        }
+        finally {
+            existsMock.mock.restore();
+        }
+    });
+});
+describe('toGuideUri', () => {
+    it('应该为存在的相对路径生成 file URI', () => {
+        const existsMock = mock.method(fs, 'existsSync', (target) => String(target).endsWith('docs/guide/interop-overloads.md'));
+        try {
+            const uri = toGuideUri('docs/guide/interop-overloads.md');
+            assert.ok(uri);
+            assert.ok(uri.startsWith('file://'));
+        }
+        finally {
+            existsMock.mock.restore();
+        }
+    });
+    it('应该在文件不存在时返回 null', () => {
+        const existsMock = mock.method(fs, 'existsSync', () => false);
+        try {
+            const uri = toGuideUri('docs/guide/missing.md');
+            assert.strictEqual(uri, null);
+        }
+        finally {
+            existsMock.mock.restore();
+        }
+    });
+    it('应该处理绝对路径输入', () => {
+        const absPath = path.join(process.cwd(), 'docs/guide/examples.md');
+        const existsMock = mock.method(fs, 'existsSync', (target) => String(target) === absPath);
+        try {
+            const uri = toGuideUri(absPath);
+            assert.ok(uri);
+            assert.ok(uri.startsWith('file://'));
+        }
+        finally {
+            existsMock.mock.restore();
+        }
+    });
+});
+//# sourceMappingURL=symbols.test.js.map

package/dist/test/unit/lsp/symbols.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.test.js","sourceRoot":"","sources":["../../../../test/unit/lsp/symbols.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAElF,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtD,MAAM,eAAe,GAAI,UAAkB,CAAC,OAAO,CAAC;AACnD,UAAkB,CAAC,OAAO,GAAG,cAAc,CAAC;AAC7C,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;IACrB,UAAkB,CAAC,OAAO,GAAG,eAAe,CAAC;AAChD,CAAC,CAAC,CAAC;AACH,MAAM,EAAE,GAA6B,cAAc,CAAC,SAAS,CAAC,CAAC;AAE/D,SAAS,oBAAoB;IAC3B,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,OAAO;QACL,iBAAiB,EAAE,CAAC,OAAY,EAAE,EAAE,GAAG,QAAQ,CAAC,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC;QAC5E,eAAe,EAAE,CAAC,OAAY,EAAE,EAAE,GAAG,QAAQ,CAAC,aAAa,GAAG,OAAO,CAAC,CAAC,CAAC;QACxE,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAqB,EAAE,GAAG,GAAG,qBAAqB;IAC7E,OAAO;QACL,GAAG,EAAE,CAAC,SAAiB,EAAE,EAAE;YACzB,IAAI,SAAS,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO;gBACL,GAAG;gBACH,OAAO;aACR,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,aAAa,GAAG,GAAG,EAAE,CAAC,EAAW,CAAC;QAExC,uBAAuB,CAAC,UAAiB,EAAE,SAAgB,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAE3H,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG;YACd;gBACE,GAAG,EAAE,sBAAsB;gBAC3B,UAAU,EAAE,MAAM;gBAClB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;wBAC3E,cAAc,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;qBACrF;oBACD;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;qBAC5E;iBACF;aACF;SACF,CAAC;QACF,MAAM,aAAa,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;QAEpC,uBAAuB,CACrB,UAAiB,EACjB,SAAgB,EAChB,aAAa,EACb,GAAG,CAAC,EAAE,CAAC,GAAG,EACV,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC5C,CAAC;QAEF,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,eAAuD,CAAC;QAC5F,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,eAAe,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAElD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACzD,MAAM,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAEjI,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;QAC1C,IAAI,WAAW,GAAG;YAChB,2BAA2B;YAC3B,EAAE;YACF,kBAAkB;YAClB,oCAAoC;SACrC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,qBAAqB,CAAC;QACrC,IAAI,OAAO,GAAG;YACZ,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE;YACpD,EAAE,GAAG,EAAE,qBAAqB,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE;SACrE,CAAC;QACF,MAAM,aAAa,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;QACpC,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC;QAEvC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,MAAkC,EAAE,EAAE,CACtF,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAChD,CAAC;QACF,IAAI,CAAC;YACH,uBAAuB,CACrB,UAAiB,EACjB,SAAgB,EAChB,aAAa,EACb,SAAS,EACT,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC5C,CAAC;YACF,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,aAAqE,CAAC;YAE1G,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAEzD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YACtB,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;YAE7D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC;YAC5G,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YAEtB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACnF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAEjD,WAAW,GAAG,0BAA0B,CAAC;YACzC,OAAO,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACjE,MAAM,SAAS,GAAG,OAAO,CAAC,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,MAAkC,EAAE,EAAE,CACtF,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAC3D,CAAC;QACF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,UAAU,CAAC,iCAAiC,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QACvC,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,UAAU,CAAC,uBAAuB,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,wBAAwB,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,MAAkC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC;QACrH,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QACvC,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/lsp/utils.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=utils.test.d.ts.map

package/dist/test/unit/lsp/utils.test.d.ts.map

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

package/dist/test/unit/lsp/utils.test.js

@@ -0,0 +1,182 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { TokenKind } from '../../../src/types.js';
+import { buildIdIndex, exprTypeText } from '../../../src/lsp/utils.js';
+function makePos(line, col) {
+    return { line, col };
+}
+function makeToken(kind, value, startCol, endCol) {
+    const token = { kind, value };
+    if (startCol !== undefined) {
+        token.start = makePos(1, startCol);
+    }
+    if (endCol !== undefined) {
+        token.end = makePos(1, endCol);
+    }
+    return token;
+}
+const DEFAULT_ORIGIN = {
+    start: makePos(1, 1),
+    end: makePos(1, 1),
+    file: 'test.aster',
+};
+function makeExpr(kind, name) {
+    switch (kind) {
+        case 'String':
+            return { kind: 'String', value: name ?? '文本', origin: DEFAULT_ORIGIN };
+        case 'Int':
+            return { kind: 'Int', value: Number.parseInt(name ?? '1', 10), origin: DEFAULT_ORIGIN };
+        case 'Long':
+            return { kind: 'Long', value: name ?? '1', origin: DEFAULT_ORIGIN };
+        case 'Double':
+            return { kind: 'Double', value: Number.parseFloat(name ?? '1.1'), origin: DEFAULT_ORIGIN };
+        case 'Float':
+            return { kind: 'Float', value: Number.parseFloat(name ?? '1.2'), origin: DEFAULT_ORIGIN };
+        case 'Bool':
+            return { kind: 'Bool', value: name === 'true', origin: DEFAULT_ORIGIN };
+        case 'Null':
+            return { kind: 'Null', origin: DEFAULT_ORIGIN };
+        case 'Call':
+            return {
+                kind: 'Call',
+                target: { kind: 'Name', name: name ?? '函数', origin: DEFAULT_ORIGIN },
+                args: [],
+                origin: DEFAULT_ORIGIN,
+            };
+        case 'Construct':
+            return { kind: 'Construct', typeName: name ?? '类型', fields: [], origin: DEFAULT_ORIGIN };
+        case 'Ok':
+            return { kind: 'Ok', expr: makeExpr(name ?? 'String'), origin: DEFAULT_ORIGIN };
+        case 'Err':
+            return { kind: 'Err', expr: makeExpr(name ?? 'String'), origin: DEFAULT_ORIGIN };
+        case 'Some':
+            return { kind: 'Some', expr: makeExpr(name ?? 'String'), origin: DEFAULT_ORIGIN };
+        case 'Name':
+            return { kind: 'Name', name: name ?? '标识符', origin: DEFAULT_ORIGIN };
+        default:
+            return { kind, origin: DEFAULT_ORIGIN };
+    }
+}
+describe('buildIdIndex', () => {
+    it('应该正确收集 IDENT 和 TYPE_IDENT token', () => {
+        const tokens = [
+            makeToken(TokenKind.IDENT, 'foo', 1, 2),
+            makeToken(TokenKind.TYPE_IDENT, 'Bar', 3, 4),
+            makeToken(TokenKind.STRING, '文本', 5, 6),
+        ];
+        const index = buildIdIndex(tokens);
+        const foo = index.get('foo');
+        const bar = index.get('Bar');
+        assert.strictEqual(index.size, 2);
+        assert.ok(foo);
+        assert.ok(bar);
+        assert.deepStrictEqual(foo?.[0], { start: makePos(1, 1), end: makePos(1, 2) });
+        assert.deepStrictEqual(bar?.[0], { start: makePos(1, 3), end: makePos(1, 4) });
+    });
+    it('应该过滤 trivia token', () => {
+        const trivia = makeToken(TokenKind.IDENT, '跳过', 1, 2);
+        trivia.channel = 'trivia';
+        const tokens = [trivia, makeToken(TokenKind.IDENT, '有效', 3, 4)];
+        const index = buildIdIndex(tokens);
+        assert.strictEqual(index.size, 1);
+        assert.ok(index.has('有效'));
+        assert.ok(!index.has('跳过'));
+    });
+    it('应该处理缺少 start 或 end 的 token', () => {
+        const noStart = makeToken(TokenKind.IDENT, 'ghost', undefined, 4);
+        const noEnd = makeToken(TokenKind.TYPE_IDENT, 'Phantom', 5);
+        const valid = makeToken(TokenKind.IDENT, 'stable', 6, 7);
+        const tokens = [noStart, noEnd, valid];
+        const index = buildIdIndex(tokens);
+        assert.strictEqual(index.size, 1);
+        assert.ok(index.has('stable'));
+    });
+    it('应该保持标识符出现顺序', () => {
+        const tokens = [
+            makeToken(TokenKind.IDENT, 'alpha', 1, 2),
+            makeToken(TokenKind.TYPE_IDENT, 'Beta', 2, 3),
+            makeToken(TokenKind.IDENT, 'gamma', 4, 5),
+        ];
+        const index = buildIdIndex(tokens);
+        assert.deepStrictEqual(Array.from(index.keys()), ['alpha', 'Beta', 'gamma']);
+    });
+    it('应该处理重复标识符（产生多个Span）', () => {
+        const tokens = [
+            makeToken(TokenKind.IDENT, 'dup', 1, 2),
+            makeToken(TokenKind.IDENT, 'dup', 3, 4),
+            makeToken(TokenKind.IDENT, 'dup', 5, 6),
+        ];
+        const index = buildIdIndex(tokens);
+        const spans = index.get('dup');
+        assert.ok(spans);
+        assert.strictEqual(spans?.length, 3);
+        assert.deepStrictEqual(spans?.[0], { start: makePos(1, 1), end: makePos(1, 2) });
+        assert.deepStrictEqual(spans?.[1], { start: makePos(1, 3), end: makePos(1, 4) });
+        assert.deepStrictEqual(spans?.[2], { start: makePos(1, 5), end: makePos(1, 6) });
+    });
+    it('应该处理空 token 列表', () => {
+        const index = buildIdIndex([]);
+        assert.strictEqual(index.size, 0);
+    });
+    it('应该处理只有非标识符 token 的列表', () => {
+        const tokens = [
+            makeToken(TokenKind.STRING, '文本', 1, 2),
+            makeToken(TokenKind.INT, '1', 3, 4),
+        ];
+        const index = buildIdIndex(tokens);
+        assert.strictEqual(index.size, 0);
+    });
+});
+describe('exprTypeText', () => {
+    it('应该正确处理 Call 表达式', () => {
+        const textConcat = makeExpr('Call', 'Text.concat');
+        const addCall = makeExpr('Call', '+');
+        const unknownCall = makeExpr('Call', 'mystery');
+        assert.strictEqual(exprTypeText(textConcat), 'Text');
+        assert.strictEqual(exprTypeText(addCall), 'Int');
+        assert.strictEqual(exprTypeText(unknownCall), 'Unknown');
+    });
+    it('应该正确处理 Construct 表达式', () => {
+        const construct = makeExpr('Construct', 'User');
+        assert.strictEqual(exprTypeText(construct), 'User');
+    });
+    it('应该正确处理 Ok 表达式', () => {
+        const okExpr = makeExpr('Ok', 'String');
+        assert.strictEqual(exprTypeText(okExpr), 'Result<Text, Unknown>');
+    });
+    it('应该正确处理 Err 表达式', () => {
+        const errExpr = makeExpr('Err', 'String');
+        assert.strictEqual(exprTypeText(errExpr), 'Result<Unknown, Text>');
+    });
+    it('应该正确处理 Some 表达式', () => {
+        const someExpr = makeExpr('Some', 'String');
+        assert.strictEqual(exprTypeText(someExpr), 'Option<Text>');
+    });
+    it('应该正确处理各种数值字面量', () => {
+        const intExpr = makeExpr('Int');
+        const longExpr = makeExpr('Long');
+        const floatExpr = makeExpr('Float');
+        const doubleExpr = makeExpr('Double');
+        assert.strictEqual(exprTypeText(intExpr), 'Int');
+        assert.strictEqual(exprTypeText(longExpr), 'Long');
+        assert.strictEqual(exprTypeText(floatExpr), 'Unknown');
+        assert.strictEqual(exprTypeText(doubleExpr), 'Double');
+    });
+    it('应该正确处理 Text、Char、Bool 字面量', () => {
+        const textExpr = makeExpr('String');
+        const charExpr = { kind: 'Char', value: 'c', origin: DEFAULT_ORIGIN };
+        const boolExpr = makeExpr('Bool', 'true');
+        assert.strictEqual(exprTypeText(textExpr), 'Text');
+        assert.strictEqual(exprTypeText(charExpr), 'Unknown');
+        assert.strictEqual(exprTypeText(boolExpr), 'Bool');
+    });
+    it('应该处理未知表达式类型', () => {
+        const lambdaExpr = { kind: 'Lambda', origin: DEFAULT_ORIGIN };
+        const nullExpr = makeExpr('Null');
+        const nameExpr = makeExpr('Name', 'x');
+        assert.strictEqual(exprTypeText(lambdaExpr), 'Unknown');
+        assert.strictEqual(exprTypeText(nullExpr), 'Unknown');
+        assert.strictEqual(exprTypeText(nameExpr), 'Unknown');
+    });
+});
+//# sourceMappingURL=utils.test.js.map

package/dist/test/unit/lsp/utils.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.test.js","sourceRoot":"","sources":["../../../../test/unit/lsp/utils.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,SAAS,EAAa,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEvE,SAAS,OAAO,CAAC,IAAY,EAAE,GAAW;IACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,SAAS,CAAC,IAAe,EAAE,KAAa,EAAE,QAAiB,EAAE,MAAe;IACnF,MAAM,KAAK,GAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,KAAc,CAAC;AACxB,CAAC;AAED,MAAM,cAAc,GAAG;IACrB,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,YAAY;CACnB,CAAC;AAEF,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAa;IAC3C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,cAAc,EAAiB,CAAC;QACxF,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAc,CAAC;QACtG,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,IAAI,GAAG,EAAE,MAAM,EAAE,cAAc,EAAe,CAAC;QACnF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,MAAM,EAAE,cAAc,EAAiB,CAAC;QAC5G,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,MAAM,EAAE,cAAc,EAAgC,CAAC;QAC1H,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,KAAK,MAAM,EAAE,MAAM,EAAE,cAAc,EAAe,CAAC;QACvF,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAe,CAAC;QAC/D,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,cAAc,EAAe;gBACjF,IAAI,EAAE,EAAE;gBACR,MAAM,EAAE,cAAc;aACV,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,cAAc,EAAoB,CAAC;QAC7G,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,cAAc,EAAa,CAAC;QAC7F,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,cAAc,EAAc,CAAC;QAC/F,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,cAAc,EAAe,CAAC;QACjG,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,cAAc,EAAe,CAAC;QACpF;YACE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAqB,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG;YACb,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACvC,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAE7B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,MAAc,CAAC,OAAO,GAAG,QAAQ,CAAC;QACnC,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEnC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEnC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG;YACb,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;YACzC,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7C,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;SAC1C,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEnC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG;YACb,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACvC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACvC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAE/B,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG;YACb,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACvC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEhD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAgC,CAAC;QACpG,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE1C,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAqB,CAAC;QACjF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAEvC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/manifest-parser.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * manifest-parser.ts 单元测试
+ *
+ * 测试目标：
+ * 1. 验证parseManifest能正确解析合法manifest.json
+ * 2. 验证文件不存在时返回M002错误
+ * 3. 验证JSON解析失败时返回M001错误
+ * 4. 验证schema验证失败时返回相应错误
+ * 5. 验证validateManifest语义验证逻辑
+ */
+export {};
+//# sourceMappingURL=manifest-parser.test.d.ts.map

package/dist/test/unit/manifest-parser.test.d.ts.map

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