@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/lsp/navigation/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/definition.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,WAAW,IAAI,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EACL,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,mBAAmB,EACnB,SAAS,GACV,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,OAAO,EACP,WAAW,EACX,SAAS,GACV,MAAM,mBAAmB,CAAC;AAQ3B;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,UAAsB,EACtB,SAAyD,EACzD,UAAqF;IAErF,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;QAC/B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAE9C,8CAA8C;QAC9C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAEzC,IAAI,CAAC;YACH,MAAM,IAAI,GAAI,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAe,CAAC;YAC9D,sCAAsC;YACtC,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/D,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YAEvB,wBAAwB;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAkB,EAAE,CAAC;gBACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAChE,wCAAwC;oBACxC,MAAM,EAAE,GAAI,CAAsB,CAAC,IAAI,CAAC;oBACxC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;oBAC3B,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;oBACtB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,EAAE;oBAAE,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACzC,CAAC;YAED,2BAA2B;YAC3B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YAEhE,2DAA2D;YAC3D,MAAM,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YACvD,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC;YAChE,CAAC;YAED,4EAA4E;YAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACZ,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACnC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC;gBAC5D,IAAI,GAAG,EAAE,CAAC;oBACR,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;oBACrD,MAAM,KAAK,GAAG,MAAM,EAAE,cAAc,IAAI,MAAM,EAAE,KAAK,CAAC;oBACtD,IAAI,KAAK;wBAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC;gBACvD,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAI,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;gBACf,SAAS;gBACT,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACjD,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;oBACxC,IAAI,GAAG;wBAAE,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;gBACD,OAAO;gBACP,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAuB,CAAC,CAAC;gBAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBAC3B,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/lsp/navigation/document-symbol.d.ts

@@ -0,0 +1,20 @@
+/**
+ * LSP DocumentSymbol 处理器
+ * 提供文档符号树（大纲视图）
+ */
+import type { Connection } from 'vscode-languageserver/node.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+/**
+ * 注册 DocumentSymbol 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ */
+export declare function registerDocumentSymbolHandler(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}): void;
+//# sourceMappingURL=document-symbol.d.ts.map

package/dist/src/lsp/navigation/document-symbol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-symbol.d.ts","sourceRoot":"","sources":["../../../../src/lsp/navigation/document-symbol.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,UAAU,EAGX,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAiFlE;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,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,CAkHN"}

package/dist/src/lsp/navigation/document-symbol.js

@@ -0,0 +1,196 @@
+/**
+ * LSP DocumentSymbol 处理器
+ * 提供文档符号树（大纲视图）
+ */
+import { SymbolKind } from 'vscode-languageserver/node.js';
+import { formatFieldDetail } from '../completion.js';
+import { parse } from '../../parser.js';
+import { getSpan, getNameSpan, getVariantSpans, getStatements, isAstBlock, } from '../type-guards.js';
+import { spanOrDoc, funcDetail } from './shared.js';
+/**
+ * 收集块内符号（递归遍历）
+ * @param b 块 AST 节点
+ * @param parent 父符号
+ * @param doc 文档对象
+ */
+function collectBlockSymbols(b, parent, doc) {
+    const statements = getStatements(b);
+    for (const s of statements) {
+        if (s.kind === 'Let') {
+            const letS = s;
+            const sp = getSpan(letS);
+            parent.children.push({
+                name: letS.name,
+                kind: SymbolKind.Variable,
+                range: spanOrDoc(sp, doc),
+                selectionRange: spanOrDoc(sp, doc),
+            });
+        }
+        else if (isAstBlock(s)) {
+            const sp = getSpan(s);
+            const bs = {
+                name: 'block',
+                kind: SymbolKind.Namespace,
+                range: spanOrDoc(sp, doc),
+                selectionRange: spanOrDoc(sp, doc),
+                children: [],
+            };
+            collectBlockSymbols(s, bs, doc);
+            parent.children.push(bs);
+        }
+        else if (s.kind === 'If') {
+            // Collect nested blocks
+            const thenB = s.thenBlock;
+            const sp = getSpan(s);
+            const thenS = {
+                name: 'if',
+                kind: SymbolKind.Namespace,
+                range: spanOrDoc(sp, doc),
+                selectionRange: spanOrDoc(sp, doc),
+                children: [],
+            };
+            collectBlockSymbols(thenB, thenS, doc);
+            if (s.elseBlock)
+                collectBlockSymbols(s.elseBlock, thenS, doc);
+            parent.children.push(thenS);
+        }
+        else if (s.kind === 'Match') {
+            const sp = getSpan(s);
+            const ms = {
+                name: 'match',
+                kind: SymbolKind.Namespace,
+                range: spanOrDoc(sp, doc),
+                selectionRange: spanOrDoc(sp, doc),
+                children: [],
+            };
+            for (const c of s.cases) {
+                if (c.body.kind === 'Block')
+                    collectBlockSymbols(c.body, ms, doc);
+            }
+            parent.children.push(ms);
+        }
+    }
+}
+/**
+ * 注册 DocumentSymbol 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ */
+export function registerDocumentSymbolHandler(connection, documents, getOrParse) {
+    connection.onDocumentSymbol((params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return [];
+        const entry = getOrParse(doc);
+        const { tokens: toks, ast } = entry;
+        try {
+            const ast2 = ast || parse(toks);
+            const symbols = [];
+            // Module symbol (if named)
+            if (ast2.name) {
+                symbols.push({
+                    name: ast2.name,
+                    kind: SymbolKind.Module,
+                    range: spanOrDoc(ast2.span, doc),
+                    selectionRange: spanOrDoc(ast2.span, doc),
+                    children: [],
+                });
+            }
+            const pushChild = (parent, sym) => {
+                if (parent) {
+                    (parent.children ??= []).push(sym);
+                }
+                else {
+                    symbols.push(sym);
+                }
+            };
+            // Top-level decls
+            const moduleParent = symbols.find(s => s.kind === SymbolKind.Module) ?? null;
+            for (const d of ast2.decls) {
+                switch (d.kind) {
+                    case 'Data': {
+                        const data = d;
+                        const sp = getSpan(data);
+                        const ds = {
+                            name: data.name,
+                            kind: SymbolKind.Struct,
+                            range: spanOrDoc(sp, doc),
+                            selectionRange: spanOrDoc(sp, doc),
+                            children: [],
+                            detail: 'type',
+                        };
+                        // fields
+                        for (const f of data.fields) {
+                            const fsp = getSpan(f);
+                            ds.children.push({
+                                name: f.name,
+                                kind: SymbolKind.Field,
+                                range: spanOrDoc(fsp, doc),
+                                selectionRange: spanOrDoc(fsp, doc),
+                                detail: formatFieldDetail(f),
+                            });
+                        }
+                        pushChild(moduleParent, ds);
+                        break;
+                    }
+                    case 'Enum': {
+                        const en = d;
+                        const sp = getSpan(en);
+                        const es = {
+                            name: en.name,
+                            kind: SymbolKind.Enum,
+                            range: spanOrDoc(sp, doc),
+                            selectionRange: spanOrDoc(sp, doc),
+                            children: [],
+                        };
+                        const vspans = getVariantSpans(en);
+                        for (let vi = 0; vi < en.variants.length; vi++) {
+                            const v = en.variants[vi];
+                            const vsp = vspans[vi];
+                            es.children.push({ name: v, kind: SymbolKind.EnumMember, range: spanOrDoc(vsp, doc), selectionRange: spanOrDoc(vsp, doc) });
+                        }
+                        pushChild(moduleParent, es);
+                        break;
+                    }
+                    case 'Func': {
+                        const f = d;
+                        const sp = getSpan(f);
+                        const nsp = getNameSpan(f) ?? sp;
+                        const fs = {
+                            name: f.name,
+                            kind: SymbolKind.Function,
+                            range: spanOrDoc(sp, doc),
+                            selectionRange: spanOrDoc(nsp, doc),
+                            children: [],
+                            detail: funcDetail(f),
+                        };
+                        // params
+                        for (const p of f.params) {
+                            const psp = getSpan(p);
+                            fs.children.push({
+                                name: p.name,
+                                kind: SymbolKind.Variable,
+                                range: spanOrDoc(psp, doc),
+                                selectionRange: spanOrDoc(psp, doc),
+                                detail: formatFieldDetail(p),
+                            });
+                        }
+                        // locals from body
+                        if (f.body)
+                            collectBlockSymbols(f.body, fs, doc);
+                        pushChild(moduleParent, fs);
+                        break;
+                    }
+                    default:
+                        break;
+                }
+            }
+            return symbols;
+        }
+        catch {
+            return [];
+        }
+    });
+}
+//# sourceMappingURL=document-symbol.js.map

package/dist/src/lsp/navigation/document-symbol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-symbol.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/document-symbol.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EACL,OAAO,EACP,WAAW,EACX,eAAe,EACf,aAAa,EACb,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWpD;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,CAAW,EAAE,MAAsB,EAAE,GAAiB;IACjF,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,CAAC,QAAS,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,EAAE,GAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,UAAU,CAAC,SAAS;gBAC1B,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBAClC,QAAQ,EAAE,EAAE;aACb,CAAC;YACF,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAChC,MAAM,CAAC,QAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,wBAAwB;YACxB,MAAM,KAAK,GAAG,CAAC,CAAC,SAAqB,CAAC;YACtC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAmB;gBAC5B,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,UAAU,CAAC,SAAS;gBAC1B,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBAClC,QAAQ,EAAE,EAAE;aACb,CAAC;YACF,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,SAAS;gBAAE,mBAAmB,CAAC,CAAC,CAAC,SAAqB,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1E,MAAM,CAAC,QAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,EAAE,GAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,UAAU,CAAC,SAAS;gBAC1B,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;gBAClC,QAAQ,EAAE,EAAE;aACb,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,mBAAmB,CAAC,CAAC,CAAC,IAAgB,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAChF,CAAC;YACD,MAAM,CAAC,QAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAC3C,UAAsB,EACtB,SAAyD,EACzD,UAAqF;IAErF,UAAU,CAAC,gBAAgB,CAAC,CAAC,MAA4B,EAAE,EAAE;QAC3D,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QACpB,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,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAe,CAAC;YAC9D,MAAM,OAAO,GAAqB,EAAE,CAAC;YAErC,2BAA2B;YAC3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,UAAU,CAAC,MAAM;oBACvB,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;oBAChC,cAAc,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;oBACzC,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,CAAC,MAA6B,EAAE,GAAmB,EAAQ,EAAE;gBAC7E,IAAI,MAAM,EAAE,CAAC;oBACX,CAAC,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrC,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC,CAAC;YAEF,kBAAkB;YAClB,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YAC7E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAkB,EAAE,CAAC;gBACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;oBACf,KAAK,MAAM,CAAC,CAAC,CAAC;wBACZ,MAAM,IAAI,GAAG,CAAY,CAAC;wBAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;wBACzB,MAAM,EAAE,GAAmB;4BACzB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI,EAAE,UAAU,CAAC,MAAM;4BACvB,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;4BACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;4BAClC,QAAQ,EAAE,EAAE;4BACZ,MAAM,EAAE,MAAM;yBACf,CAAC;wBACF,SAAS;wBACT,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;4BAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;4BACvB,EAAE,CAAC,QAAS,CAAC,IAAI,CAAC;gCAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,UAAU,CAAC,KAAK;gCACtB,KAAK,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;gCAC1B,cAAc,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;gCACnC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;6BAC7B,CAAC,CAAC;wBACL,CAAC;wBACD,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;wBAC5B,MAAM;oBACR,CAAC;oBACD,KAAK,MAAM,CAAC,CAAC,CAAC;wBACZ,MAAM,EAAE,GAAG,CAAY,CAAC;wBACxB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;wBACvB,MAAM,EAAE,GAAmB;4BACzB,IAAI,EAAE,EAAE,CAAC,IAAI;4BACb,IAAI,EAAE,UAAU,CAAC,IAAI;4BACrB,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;4BACzB,cAAc,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;4BAClC,QAAQ,EAAE,EAAE;yBACb,CAAC;wBACF,MAAM,MAAM,GAAyB,eAAe,CAAC,EAAE,CAAC,CAAC;wBACzD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;4BAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAC;4BAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;4BACvB,EAAE,CAAC,QAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,cAAc,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;wBAC/H,CAAC;wBACD,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;wBAC5B,MAAM;oBACR,CAAC;oBACD,KAAK,MAAM,CAAC,CAAC,CAAC;wBACZ,MAAM,CAAC,GAAG,CAAY,CAAC;wBACvB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACtB,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;wBACjC,MAAM,EAAE,GAAmB;4BACzB,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,IAAI,EAAE,UAAU,CAAC,QAAQ;4BACzB,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC;4BACzB,cAAc,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;4BACnC,QAAQ,EAAE,EAAE;4BACZ,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;yBACtB,CAAC;wBACF,SAAS;wBACT,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;4BACzB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;4BACvB,EAAE,CAAC,QAAS,CAAC,IAAI,CAAC;gCAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,UAAU,CAAC,QAAQ;gCACzB,KAAK,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;gCAC1B,cAAc,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;gCACnC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;6BAC7B,CAAC,CAAC;wBACL,CAAC;wBACD,mBAAmB;wBACnB,IAAI,CAAC,CAAC,IAAI;4BAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;wBACjD,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;wBAC5B,MAAM;oBACR,CAAC;oBACD;wBACE,MAAM;gBACV,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/lsp/navigation/hover.d.ts

@@ -0,0 +1,20 @@
+/**
+ * LSP Hover 处理器
+ * 提供悬停提示信息
+ */
+import type { Connection } from 'vscode-languageserver/node.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+/**
+ * 注册 Hover 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ */
+export declare function registerHoverHandler(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}): void;
+//# sourceMappingURL=hover.d.ts.map

package/dist/src/lsp/navigation/hover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.d.ts","sourceRoot":"","sources":["../../../../src/lsp/navigation/hover.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AA4BlE;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,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,CAuFN"}

package/dist/src/lsp/navigation/hover.js

@@ -0,0 +1,147 @@
+/**
+ * LSP Hover 处理器
+ * 提供悬停提示信息
+ */
+import { typeText, formatAnnotations } from '../completion.js';
+import { findDottedCallRangeAt, describeDottedCallAt, findAmbiguousInteropCalls, buildDescriptorPreview, returnTypeTextFromDesc, } from '../analysis.js';
+import { exprTypeText } from '../utils.js';
+import { parse } from '../../parser.js';
+import { buildTokenIndex, tokenNameAt as tokenNameAtOptimized } from '../token-index.js';
+import { funcDetail, findDeclAt, findPatternBindingDetail, findLocalLetWithExpr, } from './shared.js';
+import { isAstFunc, isAstData, isAstEnum, } from '../type-guards.js';
+/**
+ * 注册 Hover 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ */
+export function registerHoverHandler(connection, documents, getOrParse) {
+    connection.onHover(async (params) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return null;
+        const entry = getOrParse(doc);
+        const { tokens: toks, ast } = entry;
+        const pos = params.position;
+        // Build token index once for O(log n) lookups
+        const tokenIndex = buildTokenIndex(toks);
+        const anyCall = findDottedCallRangeAt(toks, pos);
+        if (anyCall) {
+            // Include a short signature preview by heuristic
+            const info = describeDottedCallAt(toks, pos);
+            const sig = info ? `${info.name}(${info.argDescs.join(', ')})` : 'interop(...)';
+            const diags = findAmbiguousInteropCalls(toks);
+            const amb = diags.find(d => d.range.start.line <= pos.line &&
+                d.range.end.line >= pos.line &&
+                d.range.start.character <= pos.character &&
+                d.range.end.character >= pos.character);
+            const header = amb ? 'Ambiguous interop call' : 'Interop call';
+            const body = amb
+                ? 'Use `1L` or `1.0` to disambiguate; a Quick Fix is available.'
+                : 'Overload selection uses primitive widening/boxing; use `1L` or `1.0` to make intent explicit.';
+            const desc = info ? buildDescriptorPreview(info.name, info.argDescs) : null;
+            const retText = returnTypeTextFromDesc(desc);
+            const extra = desc ? `\nDescriptor: \`${desc}\`` : '';
+            const retLine = retText ? `\nReturns: **${retText}**` : '';
+            const msg = `**${header}** — [Guide → JVM Interop Overloads](/guide/interop-overloads)\n\nPreview: \`${sig}\`${extra}${retLine}\n\n${body}`;
+            return { contents: { kind: 'markdown', value: msg } };
+        }
+        // Semantic hover: decls/params/locals/types using AST spans and tokens
+        try {
+            const ast2 = ast || parse(toks);
+            const decl = findDeclAt(ast2, pos);
+            if (decl) {
+                if (isAstFunc(decl)) {
+                    const f = decl;
+                    // Use optimized O(log n) token lookup
+                    const nameAt = tokenNameAtOptimized(tokenIndex, pos);
+                    // Pattern bindings: if hover is inside a case body and name matches a binding
+                    const patInfo = nameAt ? findPatternBindingDetail(f, nameAt, pos) : null;
+                    if (patInfo) {
+                        const ofTxt = patInfo.ofType ? ` of ${patInfo.ofType}` : '';
+                        return { contents: { kind: 'markdown', value: `Pattern binding ${patInfo.name}${ofTxt}` } };
+                    }
+                    if (nameAt) {
+                        const param = f.params.find(p => p.name === nameAt);
+                        if (param) {
+                            const annots = formatAnnotations(param.annotations);
+                            const annotPrefix = annots ? `${annots} ` : '';
+                            // 检查是否是 PII 参数，添加合规提示
+                            const piiHint = buildPiiComplianceHint(param);
+                            const baseInfo = `Parameter ${annotPrefix}**${param.name}**: ${typeText(param.type)}`;
+                            return { contents: { kind: 'markdown', value: piiHint ? `${baseInfo}\n\n${piiHint}` : baseInfo } };
+                        }
+                        const localInfo = findLocalLetWithExpr(f.body, nameAt);
+                        if (localInfo) {
+                            const hint = exprTypeText(localInfo.expr);
+                            return { contents: { kind: 'markdown', value: `Local ${nameAt}${hint ? ': ' + hint : ''}` } };
+                        }
+                    }
+                    return { contents: { kind: 'markdown', value: `Function ${f.name} — ${funcDetail(f)}` } };
+                }
+                if (isAstData(decl)) {
+                    const d = decl;
+                    const fields = d.fields.map(f => {
+                        const annots = formatAnnotations(f.annotations);
+                        const annotPrefix = annots ? `${annots} ` : '';
+                        return `${annotPrefix}**${f.name}**: ${typeText(f.type)}`;
+                    }).join(', ');
+                    return { contents: { kind: 'markdown', value: `type ${d.name}${fields ? ' — ' + fields : ''}` } };
+                }
+                if (isAstEnum(decl)) {
+                    const e = decl;
+                    return { contents: { kind: 'markdown', value: `enum ${e.name} — ${e.variants.join(', ')}` } };
+                }
+            }
+        }
+        catch {
+            // ignore
+        }
+        return null;
+    });
+}
+/**
+ * 为 PII 参数构建合规提示信息
+ */
+function buildPiiComplianceHint(param) {
+    // 检查是否有 @pii 注解
+    const piiAnnot = param.annotations?.find((a) => a.name?.toLowerCase() === 'pii' || a.kind === 'pii');
+    // 检查类型是否为 PII 类型
+    const isPiiType = param.type?.kind === 'PiiType' ||
+        param.type?.name?.toLowerCase()?.includes('pii');
+    if (!piiAnnot && !isPiiType)
+        return null;
+    // 提取 PII 等级
+    let level = 'L1';
+    if (piiAnnot?.args?.level) {
+        level = piiAnnot.args.level;
+    }
+    else if (param.type?.level) {
+        level = param.type.level;
+    }
+    // 根据等级提供不同的合规提示
+    const hints = [];
+    hints.push(`⚠️ **PII Data** (Level: ${level})`);
+    switch (level) {
+        case 'L3':
+            hints.push('- 🔴 High sensitivity: SSN, passport, biometric');
+            hints.push('- GDPR: Requires explicit consent (Art. 9)');
+            hints.push('- HIPAA: PHI - encryption required');
+            hints.push('- Must use `redact()` before logging/transmission');
+            break;
+        case 'L2':
+            hints.push('- 🟠 Medium sensitivity: email, phone, address');
+            hints.push('- GDPR: Lawful basis required (Art. 6)');
+            hints.push('- Consider encryption at rest');
+            break;
+        case 'L1':
+        default:
+            hints.push('- 🟡 Low sensitivity: name, preferences');
+            hints.push('- GDPR: Document processing purpose');
+            break;
+    }
+    hints.push('');
+    hints.push('*Use `redact()` or `tokenize()` before external transmission*');
+    return hints.join('\n');
+}
+//# sourceMappingURL=hover.js.map

package/dist/src/lsp/navigation/hover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/hover.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,yBAAyB,EACzB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,WAAW,IAAI,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EACL,UAAU,EACV,UAAU,EACV,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,GACV,MAAM,mBAAmB,CAAC;AAM3B;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,SAAyD,EACzD,UAAqF;IAErF,UAAU,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,EAAC,EAAE;QAChC,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,GAAG,MAAM,CAAC,QAAQ,CAAC;QAE5B,8CAA8C;QAC9C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAEzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,OAAO,EAAE,CAAC;YACZ,iDAAiD;YACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;YAChF,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC9B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC5B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS;gBACxC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CACzC,CAAC;YACF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,cAAc,CAAC;YAC/D,MAAM,IAAI,GAAG,GAAG;gBACd,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,+FAA+F,CAAC;YACpG,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC5E,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,GAAG,GAAG,KAAK,MAAM,gFAAgF,GAAG,KAAK,KAAK,GAAG,OAAO,OAAO,IAAI,EAAE,CAAC;YAC5I,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;QACxD,CAAC;QACD,uEAAuE;QACvE,IAAI,CAAC;YACH,MAAM,IAAI,GAAI,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAe,CAAC;YAC9D,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,sCAAsC;oBACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACrD,8EAA8E;oBAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACzE,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC5D,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,mBAAmB,OAAO,CAAC,IAAI,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC;oBAC9F,CAAC;oBACD,IAAI,MAAM,EAAE,CAAC;wBACX,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;wBACpD,IAAI,KAAK,EAAE,CAAC;4BACV,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;4BACpD,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC/C,sBAAsB;4BACtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;4BAC9C,MAAM,QAAQ,GAAG,aAAa,WAAW,KAAK,KAAK,CAAC,IAAI,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;4BACtF,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;wBACrG,CAAC;wBACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAuB,EAAE,MAAM,CAAC,CAAC;wBAC1E,IAAI,SAAS,EAAE,CAAC;4BACd,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;4BAC1C,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;wBAChG,CAAC;oBACH,CAAC;oBACD,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;gBAC5F,CAAC;gBACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;wBAC9B,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;wBAChD,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC/C,OAAO,GAAG,WAAW,KAAK,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5D,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACd,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBACpG,CAAC;gBACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gBAChG,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAA4E;IAC1G,gBAAgB;IAChB,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CACtC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAChE,CAAC;IAEF,iBAAiB;IACjB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;QAC9C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEzC,YAAY;IACZ,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1B,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;IAC9B,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7B,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,gBAAgB;IAChB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,2BAA2B,KAAK,GAAG,CAAC,CAAC;IAEhD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC5C,MAAM;QACR,KAAK,IAAI,CAAC;QACV;YACE,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;YAClD,MAAM;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAE5E,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/src/lsp/navigation/references.d.ts

@@ -0,0 +1,17 @@
+/**
+ * LSP References 处理器
+ * 查找符号的所有引用位置
+ */
+import type { Connection } from 'vscode-languageserver/node.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+/**
+ * 注册 References 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getDocumentSettings 获取文档设置的函数
+ */
+export declare function registerReferencesHandler(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+    keys(): string[];
+}, getDocumentSettings: (uri: string) => Promise<any>): void;
+//# sourceMappingURL=references.d.ts.map

package/dist/src/lsp/navigation/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../src/lsp/navigation/references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,UAAU,EAIX,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAclE;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE;IAAE,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAAC;IAAC,IAAI,IAAI,MAAM,EAAE,CAAA;CAAE,EAC3E,mBAAmB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,GACjD,IAAI,CAkEN"}

package/dist/src/lsp/navigation/references.js

@@ -0,0 +1,104 @@
+/**
+ * LSP References 处理器
+ * 查找符号的所有引用位置
+ */
+import { findSymbolReferences, updateDocumentIndex } from '../index.js';
+import { captureWordAt } from './shared.js';
+const defaultSettings = { rename: { scope: 'workspace' }, streaming: { referencesChunk: 200, renameChunk: 200, logChunks: false } };
+/**
+ * 注册 References 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getDocumentSettings 获取文档设置的函数
+ */
+export function registerReferencesHandler(connection, documents, getDocumentSettings) {
+    const _beginProgress = (token, title) => {
+        try {
+            if (!token)
+                return;
+            connection.sendProgress('$/progress', token, { kind: 'begin', title });
+        }
+        catch {
+            // ignore
+        }
+    };
+    const _reportProgress = (token, message) => {
+        try {
+            if (!token)
+                return;
+            connection.sendProgress('$/progress', token, { kind: 'report', message });
+        }
+        catch {
+            // ignore
+        }
+    };
+    const _endProgress = (token) => {
+        try {
+            if (!token)
+                return;
+            connection.sendProgress('$/progress', token, { kind: 'end' });
+        }
+        catch {
+            // ignore
+        }
+    };
+    connection.onReferences(async (params, token) => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return [];
+        const text = doc.getText();
+        const pos = params.position;
+        const offset = doc.offsetAt(pos);
+        // naive token capture: expand to nearest word boundaries
+        const word = captureWordAt(text, offset);
+        if (!word)
+            return [];
+        const out = [];
+        const settings = await getDocumentSettings(doc.uri).catch(() => defaultSettings);
+        const scope = settings.rename?.scope ?? 'workspace';
+        const openUris = new Set(documents.keys());
+        try {
+            await updateDocumentIndex(doc.uri, doc.getText());
+        }
+        catch { }
+        const refs = await findSymbolReferences(word, undefined);
+        const filtered = scope === 'open' ? refs.filter(loc => openUris.has(loc.uri)) : refs;
+        _beginProgress(params.workDoneToken, 'Aster references');
+        const CHUNK = settings.streaming?.referencesChunk ?? 200;
+        let batch = [];
+        for (const loc of filtered) {
+            if (token?.isCancellationRequested)
+                break;
+            out.push(loc);
+            batch.push(loc);
+            if (batch.length >= CHUNK) {
+                try {
+                    connection.sendProgress('$/progress', params.partialResultToken, { kind: 'report', message: `references: +${batch.length}`, items: batch });
+                }
+                catch { }
+                _reportProgress(params.workDoneToken, `references: +${batch.length}`);
+                try {
+                    if (settings.streaming?.logChunks)
+                        connection.console.log(`references chunk: +${batch.length}`);
+                }
+                catch { }
+                batch = [];
+            }
+        }
+        if (batch.length > 0) {
+            try {
+                connection.sendProgress('$/progress', params.partialResultToken, { kind: 'report', message: `references: +${batch.length}`, items: batch });
+            }
+            catch { }
+            _reportProgress(params.workDoneToken, `references: +${batch.length}`);
+            try {
+                if (settings.streaming?.logChunks)
+                    connection.console.log(`references chunk: +${batch.length}`);
+            }
+            catch { }
+        }
+        _endProgress(params.workDoneToken);
+        return out;
+    });
+}
+//# sourceMappingURL=references.js.map

package/dist/src/lsp/navigation/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAU5C,MAAM,eAAe,GAAG,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,EAAE,eAAe,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC;AAEpI;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,UAAsB,EACtB,SAA2E,EAC3E,mBAAkD;IAElD,MAAM,cAAc,GAAG,CAAC,KAAgC,EAAE,KAAa,EAAQ,EAAE;QAC/E,IAAI,CAAC;YACH,IAAI,CAAC,KAAK;gBAAE,OAAO;YAClB,UAAkB,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,KAAgC,EAAE,OAAe,EAAQ,EAAE;QAClF,IAAI,CAAC;YACH,IAAI,CAAC,KAAK;gBAAE,OAAO;YAClB,UAAkB,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACrF,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,KAAgC,EAAQ,EAAE;QAC9D,IAAI,CAAC;YACH,IAAI,CAAC,KAAK;gBAAE,OAAO;YAClB,UAAkB,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC,CAAC;IAEF,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,MAA4C,EAAE,KAAW,EAAE,EAAE;QAC1F,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,yDAAyD;QACzD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,MAAM,GAAG,GAAe,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,WAAW,CAAC;QACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC;YAAC,MAAM,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;QACnE,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrF,cAAc,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,eAAe,IAAI,GAAG,CAAC;QACzD,IAAI,KAAK,GAAe,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,KAAK,EAAE,uBAAuB;gBAAE,MAAM;YAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBAAE,UAAkB,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;gBACtK,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,gBAAgB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBACtE,IAAI,CAAC;oBAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,SAAS;wBAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;gBACjH,KAAK,GAAG,EAAE,CAAC;YACb,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC;gBAAE,UAAkB,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAA,CAAC;YACtK,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,gBAAgB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtE,IAAI,CAAC;gBAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,SAAS;oBAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAA,CAAC;QACnH,CAAC;QACD,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACnC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/lsp/navigation/rename.d.ts

@@ -0,0 +1,22 @@
+/**
+ * LSP Rename 处理器
+ * 提供符号重命名功能（包括准备阶段和执行阶段）
+ */
+import type { Connection } from 'vscode-languageserver/node.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+/**
+ * 注册 Rename 相关处理器（onRenameRequest 和 onPrepareRename）
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ * @param getDocumentSettings 获取文档设置的函数
+ */
+export declare function registerRenameHandlers(connection: Connection, documents: {
+    get(uri: string): TextDocument | undefined;
+    keys(): string[];
+}, getOrParse: (doc: TextDocument) => {
+    text: string;
+    tokens: readonly any[];
+    ast: any;
+}, getDocumentSettings: (uri: string) => Promise<any>): void;
+//# sourceMappingURL=rename.d.ts.map

package/dist/src/lsp/navigation/rename.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rename.d.ts","sourceRoot":"","sources":["../../../../src/lsp/navigation/rename.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,UAAU,EAIX,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAelE;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE;IAAE,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAAC;IAAC,IAAI,IAAI,MAAM,EAAE,CAAA;CAAE,EAC3E,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,EACrF,mBAAmB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,GACjD,IAAI,CA0IN"}