@aster-cloud/aster-lang-ts 0.0.1

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

@@ -0,0 +1,33 @@
+/**
+ * LSP Tokens 模块
+ * 提供语义标记(semantic tokens)、内联提示(inlay hints)和文档高亮功能
+ */
+import type { Connection, SemanticTokensLegend } from 'vscode-languageserver/node.js';
+import type { TextDocument } from 'vscode-languageserver-textdocument';
+import type { Block, Span } from '../types.js';
+/**
+ * 注册 Tokens 相关的 LSP 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ * @param typeText 类型转文本函数
+ * @param exprTypeText 表达式类型推断函数
+ * @param tokenNameAt 根据位置获取标记名称的函数
+ * @param collectLetsWithSpan 收集所有 let 绑定及其 span 的函数
+ */
+export declare function registerTokensHandlers(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+    idIndex?: Map<string, Span[]>;
+}, typeText: (ty: any) => string, exprTypeText: (expr: any) => string, tokenNameAt: (tokens: any[], position: {
+    line: number;
+    character: number;
+}) => string | null, collectLetsWithSpan: (block: Block | null) => Map<string, Span>): void;
+/**
+ * 语义标记图例
+ */
+export declare const SEM_LEGEND: SemanticTokensLegend;
+//# sourceMappingURL=tokens.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../../src/lsp/tokens.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,UAAU,EAEV,oBAAoB,EAIrB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAGvE,OAAO,KAAK,EAAmC,KAAK,EAAa,IAAI,EAAE,MAAM,aAAa,CAAC;AAE3F;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CACpC,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,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;CAAE,EACpH,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,MAAM,EAC7B,YAAY,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,MAAM,EACnC,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,KAAK,MAAM,GAAG,IAAI,EAC5F,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAC9D,IAAI,CA4LN;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,EAAE,oBAGxB,CAAC"}

package/dist/src/lsp/tokens.js

@@ -0,0 +1,259 @@
+/**
+ * LSP Tokens 模块
+ * 提供语义标记(semantic tokens)、内联提示(inlay hints)和文档高亮功能
+ */
+import { DocumentHighlightKind, InlayHintKind } from 'vscode-languageserver/node.js';
+import { TokenKind } from '../frontend/tokens.js';
+import { parse } from '../parser.js';
+/**
+ * 注册 Tokens 相关的 LSP 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ * @param typeText 类型转文本函数
+ * @param exprTypeText 表达式类型推断函数
+ * @param tokenNameAt 根据位置获取标记名称的函数
+ * @param collectLetsWithSpan 收集所有 let 绑定及其 span 的函数
+ */
+export function registerTokensHandlers(connection, documents, getOrParse, typeText, exprTypeText, tokenNameAt, collectLetsWithSpan) {
+    // Inlay hints: show literal types and simple let-inferred types
+    connection.onRequest('textDocument/inlayHint', async (params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return null;
+        const entry = getOrParse(doc);
+        const { tokens: toks, ast } = entry;
+        const out = [];
+        const range = params.range;
+        const within = (line, col) => {
+            const s = doc.offsetAt(range.start);
+            const e = doc.offsetAt(range.end);
+            const off = doc.offsetAt({ line, character: Math.max(0, col - 1) });
+            return off >= s && off <= e;
+        };
+        try {
+            for (const t of toks) {
+                if (!t || !t.start)
+                    continue;
+                const k = t.kind;
+                let label = null;
+                if (k === TokenKind.INT)
+                    label = 'Int';
+                else if (k === TokenKind.LONG)
+                    label = 'Long';
+                else if (k === TokenKind.FLOAT)
+                    label = 'Double';
+                else if (k === TokenKind.STRING)
+                    label = 'Text';
+                else if (k === TokenKind.BOOL)
+                    label = 'Bool';
+                else if (k === TokenKind.NULL)
+                    label = 'null';
+                if (label && within(t.start.line - 1, t.start.col)) {
+                    out.push({ position: { line: t.start.line - 1, character: t.start.col - 1 }, label, kind: InlayHintKind.Type });
+                }
+            }
+            // Simple let type hints using exprTypeText
+            const a = ast || parse(toks);
+            for (const d of a.decls) {
+                if (d.kind !== 'Func')
+                    continue;
+                const f = d;
+                // Function return type at function name
+                const nsp = f.nameSpan || f.span;
+                try {
+                    const retTxt = typeText(f.retType);
+                    if (nsp && retTxt && within(nsp.start.line - 1, nsp.start.col)) {
+                        out.push({ position: { line: nsp.start.line - 1, character: Math.max(0, nsp.start.col - 1) }, label: ` -> ${retTxt}`, kind: InlayHintKind.Type });
+                    }
+                }
+                catch { }
+                // Parameter type hints
+                for (const p of f.params) {
+                    const psp = p.span;
+                    try {
+                        const ptxt = typeText(p.type);
+                        if (psp && ptxt && within(psp.start.line - 1, psp.start.col)) {
+                            out.push({ position: { line: psp.start.line - 1, character: Math.max(0, psp.start.col - 1) }, label: `: ${ptxt}`, kind: InlayHintKind.Parameter });
+                        }
+                    }
+                    catch { }
+                }
+                const walk = (b) => {
+                    for (const s of b.statements) {
+                        if (s.kind === 'Let') {
+                            const sp = s.nameSpan ?? s.span;
+                            const hint = exprTypeText(s.expr);
+                            if (!sp || !hint)
+                                continue;
+                            const trimmed = hint.trim();
+                            if (!trimmed || trimmed.toLowerCase() === 'unknown')
+                                continue;
+                            if (within(sp.start.line - 1, sp.start.col)) {
+                                const line = Math.max(0, sp.start.line - 1);
+                                const char = Math.max(0, (sp.end?.col ?? sp.start.col) - 1);
+                                out.push({ position: { line, character: char }, label: `: ${trimmed}`, kind: InlayHintKind.Type });
+                            }
+                        }
+                        else if (s.kind === 'If') {
+                            walk(s.thenBlock);
+                            if (s.elseBlock)
+                                walk(s.elseBlock);
+                        }
+                        else if (s.kind === 'Match') {
+                            for (const c of s.cases)
+                                if (c.body.kind === 'Block')
+                                    walk(c.body);
+                        }
+                        else if (s.kind === 'Block')
+                            walk(s);
+                    }
+                };
+                if (f.body)
+                    walk(f.body);
+            }
+        }
+        catch {
+            // ignore
+        }
+        return out;
+    });
+    // Document highlight: highlight all occurrences of identifier at cursor
+    connection.onDocumentHighlight((params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return null;
+        const entry = getOrParse(doc);
+        const name = tokenNameAt(entry.tokens, params.position);
+        if (!name)
+            return [];
+        const highlights = [];
+        const pushSpan = (sp) => {
+            if (!sp)
+                return;
+            highlights.push({
+                range: {
+                    start: { line: Math.max(0, sp.start.line - 1), character: Math.max(0, sp.start.col - 1) },
+                    end: { line: Math.max(0, sp.end.line - 1), character: Math.max(0, sp.end.col - 1) },
+                },
+                kind: DocumentHighlightKind.Text,
+            });
+        };
+        const spans = entry.idIndex?.get(name);
+        if (spans && spans.length > 0) {
+            for (const sp of spans)
+                pushSpan(sp);
+        }
+        else {
+            for (const t of entry.tokens) {
+                if (!t || !t.start || !t.end)
+                    continue;
+                if (!(t.kind === 'IDENT' || t.kind === 'TYPE_IDENT'))
+                    continue;
+                const value = String(t.value || '');
+                if (value !== name)
+                    continue;
+                pushSpan({
+                    start: { line: t.start.line, col: t.start.col },
+                    end: { line: t.end.line, col: t.end.col },
+                });
+            }
+        }
+        return highlights;
+    });
+    // Semantic tokens (basic): keywords, TYPE_IDENTs, plus simple AST-derived kinds
+    connection.languages.semanticTokens.on((params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return { data: [] };
+        const entry = getOrParse(doc);
+        const { tokens: toks, ast } = entry;
+        try {
+            const ast2 = ast || parse(toks);
+            const builder = [];
+            let prevLine = 0;
+            let prevChar = 0;
+            const push = (line0, char0, length, type, modifiers = 0) => {
+                const dl = builder.length === 0 ? line0 : line0 - prevLine;
+                const dc = builder.length === 0 ? char0 : line0 === prevLine ? char0 - prevChar : char0;
+                builder.push(dl, dc, Math.max(0, length), type, modifiers);
+                prevLine = line0;
+                prevChar = char0;
+            };
+            const typesIndex = tokenTypeIndexMap();
+            const modsIndex = tokenModIndexMap();
+            // Token-based coloring: keywords and TYPE_IDENT
+            for (const t of toks) {
+                if (!t || !t.start || !t.end)
+                    continue;
+                const line0 = (t.start.line - 1) | 0;
+                const char0 = (t.start.col - 1) | 0;
+                const len = Math.max(0, (t.end.col - t.start.col) | 0);
+                if (t.kind === TokenKind.KEYWORD)
+                    push(line0, char0, len, typesIndex['keyword'] ?? 0, 0);
+                else if (t.kind === TokenKind.TYPE_IDENT)
+                    push(line0, char0, len, typesIndex['type'] ?? 0, 0);
+            }
+            // AST-based: function decl spans, data/enum decl spans, let locals
+            const addSpan = (sp, type, mods = 0) => {
+                if (!sp)
+                    return;
+                const line0 = sp.start.line - 1;
+                const char0 = sp.start.col - 1;
+                const len = Math.max(0, sp.end.col - sp.start.col);
+                if (len > 0)
+                    push(line0, char0, len, type, mods);
+            };
+            for (const d of ast2.decls) {
+                if (d.kind === 'Func') {
+                    addSpan(d.span, typesIndex['function'] ?? 0);
+                    // Prefer highlighting function name itself if available
+                    const nsp = d.nameSpan;
+                    if (nsp)
+                        addSpan(nsp, typesIndex['function'] ?? 0, 1 << (modsIndex['declaration'] ?? 0));
+                    const f = d;
+                    // parameters
+                    for (const p of f.params)
+                        addSpan(p.span, typesIndex['parameter'] ?? 0, 1 << (modsIndex['declaration'] ?? 0));
+                    if (f.body) {
+                        const lets = collectLetsWithSpan(f.body);
+                        for (const sp of lets.values())
+                            addSpan(sp, typesIndex['variable'] ?? 0);
+                    }
+                }
+                else if (d.kind === 'Data') {
+                    addSpan(d.span, typesIndex['type'] ?? 0);
+                    // fields
+                    for (const f of d.fields)
+                        addSpan(f.span, typesIndex['property'] ?? 0, 1 << (modsIndex['declaration'] ?? 0));
+                }
+                else if (d.kind === 'Enum') {
+                    addSpan(d.span, typesIndex['enum'] ?? 0);
+                    const vspans = (d.variantSpans || []);
+                    for (const sp of vspans)
+                        addSpan(sp, typesIndex['enumMember'] ?? 0, 1 << (modsIndex['declaration'] ?? 0));
+                }
+            }
+            return { data: builder };
+        }
+        catch {
+            return { data: [] };
+        }
+    });
+}
+/**
+ * 语义标记图例
+ */
+export const SEM_LEGEND = {
+    tokenTypes: ['keyword', 'type', 'function', 'parameter', 'variable', 'enum', 'enumMember', 'property'],
+    tokenModifiers: ['declaration'],
+};
+const TOKEN_TYPE_INDEX = Object.fromEntries(SEM_LEGEND.tokenTypes.map((t, i) => [t, i]));
+function tokenTypeIndexMap() {
+    return TOKEN_TYPE_INDEX;
+}
+const TOKEN_MOD_INDEX = Object.fromEntries(SEM_LEGEND.tokenModifiers.map((t, i) => [t, i]));
+function tokenModIndexMap() {
+    return TOKEN_MOD_INDEX;
+}
+//# sourceMappingURL=tokens.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.js","sourceRoot":"","sources":["../../../src/lsp/tokens.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAUH,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAwC,MAAM,+BAA+B,CAAC;AAE3H,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAGrC;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAsB,EACtB,SAAyD,EACzD,UAAoH,EACpH,QAA6B,EAC7B,YAAmC,EACnC,WAA4F,EAC5F,mBAA+D;IAE/D,gEAAgE;IAChE,UAAU,CAAC,SAAS,CAAC,wBAA+B,EAAE,KAAK,EAAE,MAAuB,EAA+B,EAAE;QACnH,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,MAAM,GAAG,GAAgB,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE;YACpD,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,OAAO,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC;QACF,IAAI,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,IAAa,EAAE,CAAC;gBAC9B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;oBAAE,SAAS;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;gBACjB,IAAI,KAAK,GAAkB,IAAI,CAAC;gBAChC,IAAI,CAAC,KAAK,SAAS,CAAC,GAAG;oBAAE,KAAK,GAAG,KAAK,CAAC;qBAClC,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI;oBAAE,KAAK,GAAG,MAAM,CAAC;qBACzC,IAAI,CAAC,KAAK,SAAS,CAAC,KAAK;oBAAE,KAAK,GAAG,QAAQ,CAAC;qBAC5C,IAAI,CAAC,KAAK,SAAS,CAAC,MAAM;oBAAE,KAAK,GAAG,MAAM,CAAC;qBAC3C,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI;oBAAE,KAAK,GAAG,MAAM,CAAC;qBACzC,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI;oBAAE,KAAK,GAAG,MAAM,CAAC;gBAC9C,IAAI,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClH,CAAC;YACH,CAAC;YACD,2CAA2C;YAC3C,MAAM,CAAC,GAAI,GAAc,IAAK,KAAK,CAAC,IAAI,CAAY,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAsB,EAAE,CAAC;gBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS;gBAChC,MAAM,CAAC,GAAG,CAAS,CAAC;gBACpB,wCAAwC;gBACxC,MAAM,GAAG,GAAK,CAAS,CAAC,QAA6B,IAAM,CAAS,CAAC,IAAyB,CAAC;gBAC/F,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,QAAQ,CAAE,CAAS,CAAC,OAAO,CAAC,CAAC;oBAC5C,IAAI,GAAG,IAAI,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC/D,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;oBACpJ,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;gBACV,uBAAuB;gBACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;oBACzB,MAAM,GAAG,GAAK,CAAS,CAAC,IAAyB,CAAC;oBAClD,IAAI,CAAC;wBACH,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAC9B,IAAI,GAAG,IAAI,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC7D,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC;wBACrJ,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC,CAAA,CAAC;gBACZ,CAAC;gBACD,MAAM,IAAI,GAAG,CAAC,CAAQ,EAAQ,EAAE;oBAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAyB,EAAE,CAAC;wBAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;4BACrB,MAAM,EAAE,GAAK,CAAS,CAAC,QAA6B,IAAM,CAAS,CAAC,IAAyB,CAAC;4BAC9F,MAAM,IAAI,GAAG,YAAY,CAAE,CAAS,CAAC,IAAI,CAAC,CAAC;4BAC3C,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI;gCAAE,SAAS;4BAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;4BAC5B,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,WAAW,EAAE,KAAK,SAAS;gCAAE,SAAS;4BAC9D,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gCAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;gCAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gCAC5D,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;4BACrG,CAAC;wBACH,CAAC;6BAAM,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;4BAC3B,IAAI,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC;4BAC3B,IAAI,CAAC,CAAC,SAAS;gCAAE,IAAI,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC;wBAC9C,CAAC;6BAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;4BAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gCAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oCAAE,IAAI,CAAC,CAAC,CAAC,IAAa,CAAC,CAAC;wBAC9E,CAAC;6BAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;4BAAE,IAAI,CAAC,CAAqB,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC,CAAC;gBACF,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,wEAAwE;IACxE,UAAU,CAAC,mBAAmB,CAAC,CAAC,MAA+B,EAAE,EAAE;QACjE,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,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QAErB,MAAM,UAAU,GAAwB,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,CAAC,EAAoB,EAAQ,EAAE;YAC9C,IAAI,CAAC,EAAE;gBAAE,OAAO;YAChB,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE;oBACL,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE;oBACzF,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE;iBACpF;gBACD,IAAI,EAAE,qBAAqB,CAAC,IAAI;aACjC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,EAAE,IAAI,KAAK;gBAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAe,EAAE,CAAC;gBACtC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG;oBAAE,SAAS;gBACvC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;oBAAE,SAAS;gBAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;gBACpC,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,QAAQ,CAAC;oBACP,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAS;oBACtD,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAS;iBACjD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,UAAU,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,MAA4B,EAAkB,EAAE;QACtF,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,IAAI,GAAI,GAAc,IAAK,KAAK,CAAC,IAAI,CAAY,CAAC;YACxD,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,MAAc,EAAE,IAAY,EAAE,SAAS,GAAG,CAAC,EAAQ,EAAE;gBAC/F,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC;gBAC3D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;gBACxF,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC3D,QAAQ,GAAG,KAAK,CAAC;gBACjB,QAAQ,GAAG,KAAK,CAAC;YACnB,CAAC,CAAC;YACF,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;YACvC,MAAM,SAAS,GAAG,gBAAgB,EAAE,CAAC;YAErC,gDAAgD;YAChD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG;oBAAE,SAAS;gBACvC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACrC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO;oBAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;qBACpF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU;oBAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAChG,CAAC;YAED,mEAAmE;YACnE,MAAM,OAAO,GAAG,CAAC,EAAoB,EAAE,IAAY,EAAE,IAAI,GAAG,CAAC,EAAQ,EAAE;gBACrE,IAAI,CAAC,EAAE;oBAAE,OAAO;gBAChB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACnD,IAAI,GAAG,GAAG,CAAC;oBAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACnD,CAAC,CAAC;YACF,KAAK,MAAM,CAAC,IAAK,IAAI,CAAC,KAAuB,EAAE,CAAC;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACtB,OAAO,CAAE,CAAS,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;oBACtD,wDAAwD;oBACxD,MAAM,GAAG,GAAK,CAAS,CAAC,QAA6B,CAAC;oBACtD,IAAI,GAAG;wBAAE,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACzF,MAAM,CAAC,GAAG,CAAS,CAAC;oBACpB,aAAa;oBACb,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;wBAAE,OAAO,CAAG,CAAS,CAAC,IAAyB,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC7I,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;wBACX,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACzC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE;4BAAE,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC3E,CAAC;gBACH,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC7B,OAAO,CAAE,CAAS,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClD,SAAS;oBACT,KAAK,MAAM,CAAC,IAAK,CAAU,CAAC,MAAM;wBAAE,OAAO,CAAG,CAAS,CAAC,IAAyB,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxJ,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC7B,OAAO,CAAE,CAAS,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClD,MAAM,MAAM,GAAyB,CAAG,CAAS,CAAC,YAAmC,IAAI,EAAE,CAAC,CAAC;oBAC7F,KAAK,MAAM,EAAE,IAAI,MAAM;wBAAE,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5G,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAyB;IAC9C,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC;IACtG,cAAc,EAAE,CAAC,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,gBAAgB,GAA2B,MAAM,CAAC,WAAW,CACjE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC5C,CAAC;AAEF,SAAS,iBAAiB;IACxB,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,MAAM,eAAe,GAA2B,MAAM,CAAC,WAAW,CAChE,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAChD,CAAC;AAEF,SAAS,gBAAgB;IACvB,OAAO,eAAe,CAAC;AACzB,CAAC"}

package/dist/src/lsp/type-guards.d.ts

@@ -0,0 +1,80 @@
+/**
+ * LSP Navigation 类型守卫
+ * 提供类型安全的类型检查函数，替代 `as any` 类型断言
+ */
+import type { Func as AstFunc, Data as AstData, Enum as AstEnum, Block as AstBlock, Span } from '../types.js';
+/**
+ * 类型守卫：检查是否为带有 decls 的 Module
+ */
+export declare function isModule(ast: unknown): ast is {
+    decls: readonly any[];
+};
+/**
+ * 类型守卫：检查是否为 Token 数组
+ */
+export declare function isTokenArray(tokens: unknown): tokens is readonly any[];
+/**
+ * 类型守卫：检查节点是否有 span 字段
+ */
+export declare function hasSpan(node: unknown): node is {
+    span: Span;
+};
+/**
+ * 类型守卫：检查节点是否有 variantSpans 字段
+ */
+export declare function hasVariantSpans(node: unknown): node is {
+    variantSpans: Span[] | undefined;
+};
+/**
+ * 类型守卫：检查节点是否有 nameSpan 字段
+ */
+export declare function hasNameSpan(node: unknown): node is {
+    nameSpan: Span | undefined;
+};
+/**
+ * 安全地获取 AST 节点的 decls
+ */
+export declare function getDecls(ast: unknown): readonly any[];
+/**
+ * 类型守卫：检查是否为 Func 声明
+ */
+export declare function isAstFunc(decl: unknown): decl is AstFunc;
+/**
+ * 类型守卫：检查是否为 Data 声明
+ */
+export declare function isAstData(decl: unknown): decl is AstData;
+/**
+ * 类型守卫：检查是否为 Enum 声明
+ */
+export declare function isAstEnum(decl: unknown): decl is AstEnum;
+/**
+ * 类型守卫：检查是否为 Block 节点
+ */
+export declare function isAstBlock(node: unknown): node is AstBlock;
+/**
+ * 安全地获取节点的 span，如果不存在则返回 undefined
+ */
+export declare function getSpan(node: unknown): Span | undefined;
+/**
+ * 安全地获取节点的 nameSpan，如果不存在则返回 undefined
+ */
+export declare function getNameSpan(node: unknown): Span | undefined;
+/**
+ * 安全地获取枚举的 variantSpans，如果不存在则返回空数组
+ */
+export declare function getVariantSpans(node: unknown): (Span | undefined)[];
+/**
+ * 类型守卫：检查是否为 Statement 数组
+ */
+export declare function isStatementArray(arr: unknown): arr is readonly any[];
+/**
+ * 类型守卫：检查节点是否有 statements 字段
+ */
+export declare function hasStatements(node: unknown): node is {
+    statements: readonly any[];
+};
+/**
+ * 安全地获取节点的 statements，如果不存在则返回空数组
+ */
+export declare function getStatements(node: unknown): readonly any[];
+//# sourceMappingURL=type-guards.d.ts.map

package/dist/src/lsp/type-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-guards.d.ts","sourceRoot":"","sources":["../../../src/lsp/type-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,IAAI,IAAI,OAAO,EACf,IAAI,IAAI,OAAO,EACf,IAAI,IAAI,OAAO,EACf,KAAK,IAAI,QAAQ,EACjB,IAAI,EACL,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI;IAAE,KAAK,EAAE,SAAS,GAAG,EAAE,CAAA;CAAE,CAOvE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,SAAS,GAAG,EAAE,CAEtE;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAO7D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI;IAAE,YAAY,EAAE,IAAI,EAAE,GAAG,SAAS,CAAA;CAAE,CAM3F;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI;IAAE,QAAQ,EAAE,IAAI,GAAG,SAAS,CAAA;CAAE,CAMjF;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,GAAG,EAAE,CAKrD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,OAAO,CAOxD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,OAAO,CAOxD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,OAAO,CAOxD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,QAAQ,CAO1D;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,GAAG,SAAS,CAEvD;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,GAAG,SAAS,CAE3D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC,EAAE,CAKnE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,SAAS,GAAG,EAAE,CAEpE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI;IAAE,UAAU,EAAE,SAAS,GAAG,EAAE,CAAA;CAAE,CAOnF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,EAAE,CAE3D"}

package/dist/src/lsp/type-guards.js

@@ -0,0 +1,132 @@
+/**
+ * LSP Navigation 类型守卫
+ * 提供类型安全的类型检查函数，替代 `as any` 类型断言
+ */
+/**
+ * 类型守卫：检查是否为带有 decls 的 Module
+ */
+export function isModule(ast) {
+    return (ast !== null &&
+        typeof ast === 'object' &&
+        'decls' in ast &&
+        Array.isArray(ast.decls));
+}
+/**
+ * 类型守卫：检查是否为 Token 数组
+ */
+export function isTokenArray(tokens) {
+    return Array.isArray(tokens);
+}
+/**
+ * 类型守卫：检查节点是否有 span 字段
+ */
+export function hasSpan(node) {
+    return (node !== null &&
+        typeof node === 'object' &&
+        'span' in node &&
+        typeof node.span === 'object');
+}
+/**
+ * 类型守卫：检查节点是否有 variantSpans 字段
+ */
+export function hasVariantSpans(node) {
+    return (node !== null &&
+        typeof node === 'object' &&
+        'variantSpans' in node);
+}
+/**
+ * 类型守卫：检查节点是否有 nameSpan 字段
+ */
+export function hasNameSpan(node) {
+    return (node !== null &&
+        typeof node === 'object' &&
+        'nameSpan' in node);
+}
+/**
+ * 安全地获取 AST 节点的 decls
+ */
+export function getDecls(ast) {
+    if (isModule(ast)) {
+        return ast.decls;
+    }
+    return [];
+}
+/**
+ * 类型守卫：检查是否为 Func 声明
+ */
+export function isAstFunc(decl) {
+    return (decl !== null &&
+        typeof decl === 'object' &&
+        'kind' in decl &&
+        decl.kind === 'Func');
+}
+/**
+ * 类型守卫：检查是否为 Data 声明
+ */
+export function isAstData(decl) {
+    return (decl !== null &&
+        typeof decl === 'object' &&
+        'kind' in decl &&
+        decl.kind === 'Data');
+}
+/**
+ * 类型守卫：检查是否为 Enum 声明
+ */
+export function isAstEnum(decl) {
+    return (decl !== null &&
+        typeof decl === 'object' &&
+        'kind' in decl &&
+        decl.kind === 'Enum');
+}
+/**
+ * 类型守卫：检查是否为 Block 节点
+ */
+export function isAstBlock(node) {
+    return (node !== null &&
+        typeof node === 'object' &&
+        'kind' in node &&
+        node.kind === 'Block');
+}
+/**
+ * 安全地获取节点的 span，如果不存在则返回 undefined
+ */
+export function getSpan(node) {
+    return hasSpan(node) ? node.span : undefined;
+}
+/**
+ * 安全地获取节点的 nameSpan，如果不存在则返回 undefined
+ */
+export function getNameSpan(node) {
+    return hasNameSpan(node) ? node.nameSpan : undefined;
+}
+/**
+ * 安全地获取枚举的 variantSpans，如果不存在则返回空数组
+ */
+export function getVariantSpans(node) {
+    if (hasVariantSpans(node)) {
+        return node.variantSpans || [];
+    }
+    return [];
+}
+/**
+ * 类型守卫：检查是否为 Statement 数组
+ */
+export function isStatementArray(arr) {
+    return Array.isArray(arr);
+}
+/**
+ * 类型守卫：检查节点是否有 statements 字段
+ */
+export function hasStatements(node) {
+    return (node !== null &&
+        typeof node === 'object' &&
+        'statements' in node &&
+        Array.isArray(node.statements));
+}
+/**
+ * 安全地获取节点的 statements，如果不存在则返回空数组
+ */
+export function getStatements(node) {
+    return hasStatements(node) ? node.statements : [];
+}
+//# sourceMappingURL=type-guards.js.map

package/dist/src/lsp/type-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-guards.js","sourceRoot":"","sources":["../../../src/lsp/type-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAUH;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAY;IACnC,OAAO,CACL,GAAG,KAAK,IAAI;QACZ,OAAO,GAAG,KAAK,QAAQ;QACvB,OAAO,IAAI,GAAG;QACd,KAAK,CAAC,OAAO,CAAE,GAAW,CAAC,KAAK,CAAC,CAClC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,IAAa;IACnC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,MAAM,IAAI,IAAI;QACd,OAAQ,IAAY,CAAC,IAAI,KAAK,QAAQ,CACvC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAa;IAC3C,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,cAAc,IAAI,IAAI,CACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,IAAa;IACvC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,UAAU,IAAI,IAAI,CACnB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAY;IACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,GAAG,CAAC,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,MAAM,IAAI,IAAI;QACb,IAAY,CAAC,IAAI,KAAK,MAAM,CAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,MAAM,IAAI,IAAI;QACb,IAAY,CAAC,IAAI,KAAK,MAAM,CAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,MAAM,IAAI,IAAI;QACb,IAAY,CAAC,IAAI,KAAK,MAAM,CAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,MAAM,IAAI,IAAI;QACb,IAAY,CAAC,IAAI,KAAK,OAAO,CAC/B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,IAAa;IACnC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,IAAa;IACvC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAa;IAC3C,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,YAAY,IAAI,IAAI;QACpB,KAAK,CAAC,OAAO,CAAE,IAAY,CAAC,UAAU,CAAC,CACxC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;AACpD,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { Span } from '../types.js';
+export declare function buildIdIndex(tokens: readonly any[]): Map<string, Span[]>;
+export declare function exprTypeText(e: any): string;
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/lsp/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAaxE;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,GAAG,GAAG,MAAM,CA2B3C"}

package/dist/src/lsp/utils.js

@@ -0,0 +1,52 @@
+export function buildIdIndex(tokens) {
+    const map = new Map();
+    for (const t of tokens) {
+        if (!t || !t.start || !t.end)
+            continue;
+        // 跳过 trivia Token（如注释）
+        if (t.channel === 'trivia')
+            continue;
+        if (!(t.kind === 'IDENT' || t.kind === 'TYPE_IDENT'))
+            continue;
+        const name = String(t.value || '');
+        if (!name)
+            continue;
+        const sp = { start: { line: t.start.line, col: t.start.col }, end: { line: t.end.line, col: t.end.col } };
+        (map.get(name) ?? (map.set(name, []), map.get(name))).push(sp);
+    }
+    return map;
+}
+export function exprTypeText(e) {
+    if (!e)
+        return '';
+    switch (e.kind) {
+        case 'String': return 'Text';
+        case 'Int': return 'Int';
+        case 'Long': return 'Long';
+        case 'Double': return 'Double';
+        case 'Bool': return 'Bool';
+        case 'Null': return 'Unknown';
+        case 'Name': return 'Unknown';
+        case 'Construct': return e.typeName || 'Unknown';
+        case 'Ok': return `Result<${exprTypeText(e.expr)}, Unknown>`;
+        case 'Err': return `Result<Unknown, ${exprTypeText(e.expr)}>`;
+        case 'Some': return `Option<${exprTypeText(e.expr)}>`;
+        case 'Call': {
+            if (e.target?.kind === 'Name') {
+                const n = e.target.name;
+                if (n === 'Text.concat')
+                    return 'Text';
+                if (n === 'Text.length')
+                    return 'Int';
+                if (n === '+')
+                    return 'Int';
+                if (n === 'not' || n === '<' || n === '>' || n === '<=' || n === '>=' || n === '==')
+                    return 'Bool';
+            }
+            return 'Unknown';
+        }
+        default:
+            return 'Unknown';
+    }
+}
+//# sourceMappingURL=utils.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/lsp/utils.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,YAAY,CAAC,MAAsB;IACjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,MAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG;YAAE,SAAS;QACvC,uBAAuB;QACvB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS;QACrC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;YAAE,SAAS;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,EAAE,GAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAS,CAAC;QACvH,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAM;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC;QAC7B,KAAK,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC;QACzB,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC/B,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC;QACjD,KAAK,IAAI,CAAC,CAAC,OAAO,UAAU,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QAC7D,KAAK,KAAK,CAAC,CAAC,OAAO,mBAAmB,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,KAAK,MAAM,CAAC,CAAC,OAAO,UAAU,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACtD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAc,CAAC;gBAClC,IAAI,CAAC,KAAK,aAAa;oBAAE,OAAO,MAAM,CAAC;gBACvC,IAAI,CAAC,KAAK,aAAa;oBAAE,OAAO,KAAK,CAAC;gBACtC,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO,KAAK,CAAC;gBAC5B,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC;YACrG,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/src/lsp/workspace/document-indexer.d.ts

@@ -0,0 +1,14 @@
+/**
+ * LSP Workspace 文档索引器
+ * 负责解析文档内容并提取符号信息
+ */
+import type { ModuleIndex } from './types.js';
+export { invalidateDocument } from './index-manager.js';
+/**
+ * 更新指定文档的索引内容。
+ * @param uri 目标文档的 URI。
+ * @param content 文档最新内容。
+ * @returns 更新完成后的模块索引。
+ */
+export declare function updateDocumentIndex(uri: string, content: string): Promise<ModuleIndex>;
+//# sourceMappingURL=document-indexer.d.ts.map

package/dist/src/lsp/workspace/document-indexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-indexer.d.ts","sourceRoot":"","sources":["../../../../src/lsp/workspace/document-indexer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,YAAY,CAAC;AAI1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;;;;GAKG;AACH,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CA6C5F"}