@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/lsp/completion.js

@@ -0,0 +1,345 @@
+/**
+ * LSP Completion 模块
+ * 提供代码补全、补全项解析和函数签名提示功能
+ */
+import { CompletionItemKind, } from 'vscode-languageserver/node.js';
+import { parse } from '../parser.js';
+import { KW, TokenKind } from '../frontend/tokens.js';
+/**
+ * 将 AstType 转换为可读的字符串表示
+ * @param t AST 类型节点
+ * @returns 类型的字符串表示
+ */
+export function typeText(t) {
+    switch (t.kind) {
+        case 'TypeName':
+            return t.name;
+        case 'TypeVar':
+            return t.name;
+        case 'Maybe':
+            return `Maybe<${typeText(t.type)}>`;
+        case 'Option':
+            return `Option<${typeText(t.type)}>`;
+        case 'Result':
+            return `Result<${typeText(t.ok)}, ${typeText(t.err)}>`;
+        case 'List':
+            return `List<${typeText(t.type)}>`;
+        case 'Map':
+            return `Map<${typeText(t.key)}, ${typeText(t.val)}>`;
+        case 'TypeApp':
+            return `${t.base}<${t.args.map(typeText).join(', ')}>`;
+        case 'FuncType':
+            return `(${t.params.map(typeText).join(', ')}) -> ${typeText(t.ret)}`;
+        default:
+            return 'Unknown';
+    }
+}
+/**
+ * 格式化单个注解
+ * @param annotation 注解对象
+ * @returns 格式化的注解字符串
+ *
+ * @example
+ * formatAnnotation({ name: 'NotEmpty', params: new Map() })
+ * // => "@NotEmpty"
+ *
+ * formatAnnotation({ name: 'Range', params: new Map([['min', 0], ['max', 100]]) })
+ * // => "@Range(min: 0, max: 100)"
+ *
+ * formatAnnotation({ name: 'Pattern', params: new Map([['regexp', '^[a-z]+$']]) })
+ * // => "@Pattern(regexp: '^[a-z]+$')"
+ */
+export function formatAnnotation(annotation) {
+    if (annotation.params.size === 0) {
+        return `@${annotation.name}`;
+    }
+    const params = Array.from(annotation.params.entries())
+        .map(([k, v]) => {
+        if (typeof v === 'string') {
+            // 使用单引号，转义内部单引号
+            const escaped = String(v).replace(/'/g, "\\'");
+            return `${k}: '${escaped}'`;
+        }
+        return `${k}: ${v}`;
+    })
+        .join(', ');
+    return `@${annotation.name}(${params})`;
+}
+/**
+ * 格式化注解数组
+ * @param annotations 注解数组（可选）
+ * @returns 格式化的注解字符串（空格分隔）
+ *
+ * @example
+ * formatAnnotations(undefined)
+ * // => ""
+ *
+ * formatAnnotations([])
+ * // => ""
+ *
+ * formatAnnotations([
+ *   { name: 'NotEmpty', params: new Map() },
+ *   { name: 'Range', params: new Map([['min', 0], ['max', 100]]) }
+ * ])
+ * // => "@NotEmpty @Range(min: 0, max: 100)"
+ */
+export function formatAnnotations(annotations) {
+    if (!annotations || annotations.length === 0) {
+        return '';
+    }
+    return annotations.map(formatAnnotation).join(' ');
+}
+/**
+ * 格式化字段详情（包含注解和类型）
+ * @param field 字段对象，包含 type 和可选的 annotations
+ * @returns 格式化的详情字符串
+ *
+ * @example
+ * formatFieldDetail({ type: { kind: 'TypeName', name: 'Text' }, annotations: undefined })
+ * // => "Text"
+ *
+ * formatFieldDetail({
+ *   type: { kind: 'TypeName', name: 'Text' },
+ *   annotations: [{ name: 'NotEmpty', params: new Map() }]
+ * })
+ * // => "@NotEmpty Text"
+ */
+export function formatFieldDetail(field) {
+    const annots = formatAnnotations(field.annotations);
+    return annots ? `${annots} ${typeText(field.type)}` : typeText(field.type);
+}
+/**
+ * 比较 LSP Position（0-based）与 AST Coord（1-based）
+ * @param pos LSP 位置（0-based 行列）
+ * @param coord AST 坐标（1-based 行列）
+ * @returns -1 表示 pos 在 coord 之前，0 表示相等，1 表示 pos 在 coord 之后
+ */
+function comparePositionToCoord(pos, coord) {
+    const line = pos.line + 1;
+    const col = pos.character + 1;
+    if (line < coord.line)
+        return -1;
+    if (line > coord.line)
+        return 1;
+    if (col < coord.col)
+        return -1;
+    if (col > coord.col)
+        return 1;
+    return 0;
+}
+/**
+ * 在模块 AST 中查找指定名称的函数声明
+ * @param m 模块 AST
+ * @param name 函数名称
+ * @returns 匹配的函数声明，如果未找到则返回 null
+ */
+function findFuncDeclByName(m, name) {
+    for (const d of m.decls) {
+        if (d.kind === 'Func' && d.name === name) {
+            return d;
+        }
+    }
+    return null;
+}
+/**
+ * 构建 LSP SignatureInformation 对象
+ * @param f 函数 AST 节点
+ * @returns LSP 签名信息对象，包含函数签名和参数列表
+ */
+function buildSignatureInformation(f) {
+    const paramLabels = f.params.map(p => {
+        const annots = formatAnnotations(p.annotations);
+        const annotPrefix = annots ? `${annots} ` : '';
+        return `${annotPrefix}${p.name}: ${typeText(p.type)}`;
+    });
+    const info = {
+        label: `${f.name}(${paramLabels.join(', ')}) -> ${typeText(f.retType)}`,
+        parameters: paramLabels.map(label => ({ label })),
+    };
+    const effects = f.effects ?? [];
+    if (effects.length > 0) {
+        info.documentation = `效果：${effects.join(', ')}`;
+    }
+    return info;
+}
+/**
+ * 在光标位置查找函数调用信息
+ * @param tokens 词法标记数组
+ * @param pos 光标位置（0-based）
+ * @returns 函数调用信息（函数名和活动参数索引），如果未找到则返回 null
+ */
+function findCallInfoAt(tokens, pos) {
+    if (!tokens || tokens.length === 0)
+        return null;
+    for (let i = 0; i < tokens.length; i++) {
+        const t = tokens[i];
+        if (!t || !t.start)
+            continue;
+        if (!(t.kind === TokenKind.IDENT || t.kind === TokenKind.TYPE_IDENT))
+            continue;
+        let j = i;
+        const parts = [String(t.value ?? '')];
+        while (tokens[j + 1]?.kind === TokenKind.DOT &&
+            (tokens[j + 2]?.kind === TokenKind.IDENT || tokens[j + 2]?.kind === TokenKind.TYPE_IDENT)) {
+            parts.push(String(tokens[j + 2].value ?? ''));
+            j += 2;
+        }
+        const lp = tokens[j + 1];
+        if (!lp || lp.kind !== TokenKind.LPAREN)
+            continue;
+        let depth = 1;
+        let k = j + 2;
+        while (k < tokens.length && depth > 0) {
+            const tk = tokens[k];
+            if (tk.kind === TokenKind.LPAREN)
+                depth++;
+            else if (tk.kind === TokenKind.RPAREN)
+                depth--;
+            k++;
+        }
+        if (depth !== 0)
+            continue;
+        const rp = tokens[k - 1];
+        if (!rp)
+            continue;
+        if (comparePositionToCoord(pos, { line: lp.start.line, col: lp.start.col }) < 0) {
+            i = k - 1;
+            continue;
+        }
+        if (comparePositionToCoord(pos, { line: rp.end.line, col: rp.end.col }) > 0) {
+            i = k - 1;
+            continue;
+        }
+        let activeParameter = 0;
+        let commaCount = 0;
+        let hasArgToken = false;
+        let innerDepth = 0;
+        for (let idx = j + 2; idx < k - 1; idx++) {
+            const tk = tokens[idx];
+            if (!tk)
+                continue;
+            if (tk.kind === TokenKind.LPAREN) {
+                innerDepth++;
+            }
+            else if (tk.kind === TokenKind.RPAREN) {
+                if (innerDepth > 0)
+                    innerDepth--;
+            }
+            else if (innerDepth === 0 && tk.kind === TokenKind.COMMA) {
+                const cmp = comparePositionToCoord(pos, { line: tk.start.line, col: tk.start.col });
+                if (cmp > 0)
+                    activeParameter++;
+                else if (cmp === 0) {
+                    activeParameter++;
+                    break;
+                }
+                else {
+                    break;
+                }
+                commaCount++;
+            }
+            else if (innerDepth === 0) {
+                if (!(tk.kind === TokenKind.NEWLINE || tk.kind === TokenKind.INDENT || tk.kind === TokenKind.DEDENT)) {
+                    hasArgToken = true;
+                }
+            }
+        }
+        const totalParams = commaCount + (hasArgToken ? 1 : 0);
+        if (totalParams === 0)
+            activeParameter = 0;
+        else
+            activeParameter = Math.min(activeParameter, Math.max(0, totalParams - 1));
+        return { name: parts.join('.'), activeParameter };
+    }
+    return null;
+}
+/**
+ * 注册 Completion 相关的 LSP 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器，提供 get 方法按 URI 获取文档
+ * @param getOrParse 文档解析函数，返回文本、词法标记和 AST
+ */
+export function registerCompletionHandlers(connection, documents, getOrParse) {
+    // 代码补全：提供关键字和类型补全
+    connection.onCompletion(() => {
+        // 获取所有关键字
+        const keywords = Object.values(KW);
+        const completions = keywords.map(keyword => ({
+            label: keyword,
+            kind: CompletionItemKind.Keyword,
+            data: keyword,
+        }));
+        // 添加常见类型补全
+        const types = ['Text', 'Int', 'Bool', 'Float', 'User', 'Result', 'Option', 'Maybe'];
+        types.forEach(type => {
+            completions.push({
+                label: type,
+                kind: CompletionItemKind.Class,
+                data: type,
+            });
+        });
+        // 添加注解名称补全
+        const annotations = ['NotEmpty', 'Range', 'Pattern'];
+        annotations.forEach(annotation => {
+            completions.push({
+                label: annotation,
+                kind: CompletionItemKind.Keyword,
+                data: `annotation:${annotation}`,
+                detail: 'annotation',
+            });
+        });
+        return completions;
+    });
+    // 补全项解析：为选中的补全项提供额外信息
+    connection.onCompletionResolve((item) => {
+        if (item.data === 'this module is') {
+            item.detail = 'Module declaration';
+            item.documentation = 'Declares the module name for this file';
+        }
+        else if (item.data === 'define') {
+            item.detail = 'Type definition';
+            item.documentation = 'Define a new data type or enum';
+        }
+        else if (item.data === 'to') {
+            item.detail = 'Function definition';
+            item.documentation = 'Define a new function';
+        }
+        return item;
+    });
+    // 签名提示：根据调用位置返回函数参数信息
+    connection.onRequest('textDocument/signatureHelp', async (params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return null;
+        const entry = getOrParse(doc);
+        const { tokens: toks, ast } = entry;
+        let moduleAst;
+        try {
+            moduleAst = ast || parse(toks);
+        }
+        catch {
+            return null;
+        }
+        const callInfo = findCallInfoAt(toks, params.position);
+        if (!callInfo)
+            return null;
+        let callee = null;
+        if (!callInfo.name.includes('.')) {
+            callee = findFuncDeclByName(moduleAst, callInfo.name);
+        }
+        if (!callee)
+            return null;
+        const signature = buildSignatureInformation(callee);
+        const signatures = [signature];
+        let activeParameter = callInfo.activeParameter;
+        if (signature.parameters && signature.parameters.length > 0) {
+            const limit = signature.parameters.length - 1;
+            activeParameter = Math.min(Math.max(activeParameter, 0), limit);
+        }
+        else {
+            activeParameter = 0;
+        }
+        return { signatures, activeSignature: 0, activeParameter };
+    });
+}
+//# sourceMappingURL=completion.js.map

package/dist/src/lsp/completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.js","sourceRoot":"","sources":["../../../src/lsp/completion.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,kBAAkB,GAInB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAStD;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAU;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,SAAS,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,UAAU,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,UAAU,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACzD,KAAK,MAAM;YACT,OAAO,QAAQ,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACrC,KAAK,KAAK;YACR,OAAO,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACvD,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzD,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACxE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAsB;IACrD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;SACnD,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;QACd,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,gBAAgB;YAChB,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/C,OAAO,GAAG,CAAC,MAAM,OAAO,GAAG,CAAC;QAC9B,CAAC;QACD,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IACtB,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,IAAI,UAAU,CAAC,IAAI,IAAI,MAAM,GAAG,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmC;IACnE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAA6D;IAC7F,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,GAAwC,EAAE,KAAoC;IAC5G,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,CAAC;IACjC,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC;IAChC,IAAI,GAAG,GAAG,KAAK,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC,CAAC;IAC/B,IAAI,GAAG,GAAG,KAAK,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,CAAY,EAAE,IAAY;IACpD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAkB,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAK,CAAa,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,CAAY,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,yBAAyB,CAAC,CAAU;IAC3C,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,OAAO,GAAG,WAAW,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAyB;QACjC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;QACvE,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAyB,CAAC;KAC1E,CAAC;IACF,MAAM,OAAO,GAAI,CAAC,CAAC,OAAgC,IAAI,EAAE,CAAC;IAC1D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,aAAa,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACrB,MAAsB,EACtB,GAAwC;IAExC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;YAAE,SAAS;QAC7B,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,CAAC;YAAE,SAAS;QAC/E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,OACE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG;YACrC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,UAAU,CAAC,EACzF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9C,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAAE,SAAS;QAClD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;gBAAE,KAAK,EAAE,CAAC;iBACrC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;gBAAE,KAAK,EAAE,CAAC;YAC/C,CAAC,EAAE,CAAC;QACN,CAAC;QACD,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,IAAI,sBAAsB,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAChF,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,sBAAsB,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5E,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACzC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;gBACjC,UAAU,EAAE,CAAC;YACf,CAAC;iBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;gBACxC,IAAI,UAAU,GAAG,CAAC;oBAAE,UAAU,EAAE,CAAC;YACnC,CAAC;iBAAM,IAAI,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC3D,MAAM,GAAG,GAAG,sBAAsB,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;gBACpF,IAAI,GAAG,GAAG,CAAC;oBAAE,eAAe,EAAE,CAAC;qBAC1B,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;oBACnB,eAAe,EAAE,CAAC;oBAClB,MAAM;gBACR,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;gBACD,UAAU,EAAE,CAAC;YACf,CAAC;iBAAM,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrG,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,UAAU,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,WAAW,KAAK,CAAC;YAAE,eAAe,GAAG,CAAC,CAAC;;YACtC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,eAAe,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,UAAsB,EACtB,SAAyD,EACzD,UAAqF;IAErF,kBAAkB;IAClB,UAAU,CAAC,YAAY,CAAC,GAAqB,EAAE;QAC7C,UAAU;QACV,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,WAAW,GAAqB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC7D,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,kBAAkB,CAAC,OAAO;YAChC,IAAI,EAAE,OAAO;SACd,CAAC,CAAC,CAAC;QAEJ,WAAW;QACX,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,WAAW,CAAC,IAAI,CAAC;gBACf,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,kBAAkB,CAAC,KAAK;gBAC9B,IAAI,EAAE,IAAI;aACX,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,WAAW;QACX,MAAM,WAAW,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACrD,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YAC/B,WAAW,CAAC,IAAI,CAAC;gBACf,KAAK,EAAE,UAAU;gBACjB,IAAI,EAAE,kBAAkB,CAAC,OAAO;gBAChC,IAAI,EAAE,cAAc,UAAU,EAAE;gBAChC,MAAM,EAAE,YAAY;aACrB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,UAAU,CAAC,mBAAmB,CAAC,CAAC,IAAoB,EAAkB,EAAE;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,GAAG,oBAAoB,CAAC;YACnC,IAAI,CAAC,aAAa,GAAG,wCAAwC,CAAC;QAChE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,GAAG,iBAAiB,CAAC;YAChC,IAAI,CAAC,aAAa,GAAG,gCAAgC,CAAC;QACxD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,GAAG,qBAAqB,CAAC;YACpC,IAAI,CAAC,aAAa,GAAG,uBAAuB,CAAC;QAC/C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,UAAU,CAAC,SAAS,CAAC,4BAA4B,EAAE,KAAK,EAAE,MAA2B,EAAiC,EAAE;QACtH,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;QACpC,IAAI,SAAoB,CAAC;QACzB,IAAI,CAAC;YACH,SAAS,GAAI,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAe,CAAC;QAC/D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,IAAI,MAAM,GAAmB,IAAI,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAEzB,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,UAAU,GAA2B,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,eAAe,GAAG,QAAQ,CAAC,eAAe,CAAC;QAC/C,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;YAC9C,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,eAAe,GAAG,CAAC,CAAC;QACtB,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/lsp/config.d.ts

@@ -0,0 +1,34 @@
+/**
+ * LSP 配置模块（Phase 0 Task 4.1）
+ *
+ * 从命令行参数读取配置选项，包括：
+ * - --strict-pii: 将 PII 泄漏从 Warning 升级为 Error，阻止编译
+ * - --enforce-pii: 启用类型层 PII 检查，执行完整的隐私数据流分析
+ */
+export interface LspConfig {
+    /**
+     * 严格 PII 模式
+     *
+     * 当启用时，PII 数据泄漏诊断从 Warning 升级为 Error，阻止编译。
+     * 默认值：false（向后兼容，仅警告）
+     */
+    strictPiiMode: boolean;
+    /**
+     * 启用 PII 类型检查
+     *
+     * 当启用时，类型检查器会执行完整的 PII 流分析，检测隐私数据泄漏。
+     * 默认值：false（opt-in 策略，需显式启用）
+     */
+    enforcePiiChecks: boolean;
+}
+/**
+ * 全局配置实例
+ *
+ * 从 process.argv 读取命令行参数
+ */
+export declare const config: LspConfig;
+/**
+ * 重置配置（用于测试）
+ */
+export declare function resetConfig(newConfig: Partial<LspConfig>): void;
+//# sourceMappingURL=config.d.ts.map

package/dist/src/lsp/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../src/lsp/config.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,WAAW,SAAS;IACxB;;;;;OAKG;IACH,aAAa,EAAE,OAAO,CAAC;IAEvB;;;;;OAKG;IACH,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,SAGpB,CAAC;AAEF;;GAEG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,IAAI,CAE/D"}

package/dist/src/lsp/config.js

@@ -0,0 +1,23 @@
+/**
+ * LSP 配置模块（Phase 0 Task 4.1）
+ *
+ * 从命令行参数读取配置选项，包括：
+ * - --strict-pii: 将 PII 泄漏从 Warning 升级为 Error，阻止编译
+ * - --enforce-pii: 启用类型层 PII 检查，执行完整的隐私数据流分析
+ */
+/**
+ * 全局配置实例
+ *
+ * 从 process.argv 读取命令行参数
+ */
+export const config = {
+    strictPiiMode: process.argv.includes('--strict-pii'),
+    enforcePiiChecks: process.argv.includes('--enforce-pii'),
+};
+/**
+ * 重置配置（用于测试）
+ */
+export function resetConfig(newConfig) {
+    Object.assign(config, newConfig);
+}
+//# sourceMappingURL=config.js.map

package/dist/src/lsp/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../src/lsp/config.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoBH;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAc;IAC/B,aAAa,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;IACpD,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;CACzD,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,SAA6B;IACvD,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AACnC,CAAC"}

package/dist/src/lsp/diagnostics.d.ts

@@ -0,0 +1,87 @@
+import type { Diagnostic, Connection } from 'vscode-languageserver/node.js';
+import { type WorkspaceDocumentDiagnosticReport } from 'vscode-languageserver/node.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import type { CapabilityManifest } from '../effects/capabilities.js';
+/**
+ * 表示诊断模块的配置选项。
+ */
+export interface DiagnosticConfig {
+    /**
+     * 是否支持诊断关联信息功能。
+     */
+    relatedInformationSupported: boolean;
+    /**
+     * 是否启用工作区级诊断。
+     */
+    workspaceDiagnosticsEnabled: boolean;
+    /**
+     * 能力清单文件的绝对路径，可为空表示未配置。
+     */
+    capabilityManifestPath: string | null;
+}
+export declare function setModuleSearchRoots(roots: readonly string[]): void;
+/**
+ * 清除指定 URI 的诊断缓存。
+ * @param uri 文档 URI。
+ */
+export declare function invalidateDiagnosticCache(uri: string): void;
+/**
+ * 清除指定 URI 的类型检查缓存，并传递失效所有依赖者。
+ * @param uri 文档 URI
+ */
+export declare function invalidateTypecheckCache(uri: string): void;
+/**
+ * 异步加载能力清单文件。
+ * @returns 成功时返回清单数据，失败或未配置时返回 null。
+ */
+export declare function loadCapabilityManifest(): Promise<CapabilityManifest | null>;
+/**
+ * 清空能力清单缓存，下次诊断时重新加载。
+ */
+export declare function invalidateManifestCache(): void;
+/**
+ * 更新诊断模块的运行配置。
+ * @param config 新配置对象（部分更新）。
+ */
+export declare function setDiagnosticConfig(config: Partial<DiagnosticConfig>): void;
+/**
+ * 计算指定文档的诊断信息。
+ * @param textDocument 目标文档。
+ * @param getOrParse 获取缓存的解析结果函数。
+ * @returns 诊断列表。
+ */
+export declare function computeDiagnostics(textDocument: TextDocument, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}): Promise<Diagnostic[]>;
+/**
+ * 批次并行计算工作区内所有文档的诊断。
+ * @param modules 模块列表。
+ * @param documents 文档管理器。
+ * @param getOrParse 获取缓存解析结果的函数。
+ * @returns 工作区诊断报告列表。
+ */
+export declare function computeWorkspaceDiagnostics(modules: Array<{
+    uri: string;
+}>, documents: {
+    get(uri: string): TextDocument | undefined;
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}): Promise<WorkspaceDocumentDiagnosticReport[]>;
+/**
+ * 注册诊断相关的 LSP 请求处理器。
+ * @param connection LSP 连接对象。
+ * @param documents 文档管理器。
+ * @param getOrParse 获取缓存解析结果的函数。
+ */
+export declare function registerDiagnosticHandlers(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}): void;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/src/lsp/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/lsp/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAS,MAAM,+BAA+B,CAAC;AACnF,OAAO,EAOL,KAAK,iCAAiC,EACvC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAalE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIrE;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,2BAA2B,EAAE,OAAO,CAAC;IACrC;;OAEG;IACH,2BAA2B,EAAE,OAAO,CAAC;IACrC;;OAEG;IACH,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAeD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAEnE;AAgHD;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAE3D;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAoB1D;AAED;;;GAGG;AACH,wBAAsB,sBAAsB,IAAI,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAkBjF;AAED;;GAEG;AACH,wBAAgB,uBAAuB,IAAI,IAAI,CAE9C;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAK3E;AAED;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACpF,OAAO,CAAC,UAAU,EAAE,CAAC,CA+KvB;AAgCD;;;;;;GAMG;AACH,wBAAsB,2BAA2B,CAC/C,OAAO,EAAE,KAAK,CAAC;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EAC/B,SAAS,EAAE;IAAE,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAAA;CAAE,EACzD,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACpF,OAAO,CAAC,iCAAiC,EAAE,CAAC,CAoC9C;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE;IAAE,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAAA;CAAE,EACzD,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACpF,IAAI,CAmEN"}