@aster-cloud/aster-lang-ts 0.0.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"health.d.ts","sourceRoot":"","sources":["../../../src/lsp/health.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAShE,UAAU,cAAc;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QACN,GAAG,EAAE,MAAM,CAAC;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,GAAG,EAAE;QACH,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,UAAU,QAAQ;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;CACtB;AAWD,wBAAgB,qBAAqB,IAAI,IAAI,CAG5C;AAqBD;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE;QACR,UAAU,EAAE,OAAO,CAAC;QACpB,UAAU,EAAE,OAAO,CAAC;QACpB,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;QAC5B,SAAS,CAAC,EAAE,OAAO,CAAC;QACpB,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,KAAK,EAAE;QACL,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,KAAK,CAAC,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,UAAU,EACtB,yBAAyB,EAAE,OAAO,EAClC,iBAAiB,EAAE,OAAO,EAC1B,aAAa,EAAE,MAAM,KAAK,CAAC;IAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC,EACzD,gBAAgB,CAAC,EAAE,MAAM;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB,EACD,aAAa,CAAC,EAAE,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf,GACA,IAAI,CA+DN"}

package/dist/src/lsp/health.js

@@ -0,0 +1,106 @@
+/**
+ * LSP Health 模块
+ * 提供服务健康检查和状态报告功能
+ */
+import * as fs from 'fs';
+// 狀態變量用於 CPU 計算
+let lastCpuUsage = process.cpuUsage();
+let lastCheckTime = Date.now();
+const startTime = new Date();
+const RESTART_COUNTER_FILE = '/tmp/lsp-restart-count.txt';
+function getRestartCount() {
+    try {
+        const content = fs.readFileSync(RESTART_COUNTER_FILE, 'utf-8');
+        return parseInt(content.trim(), 10) || 0;
+    }
+    catch {
+        return 0;
+    }
+}
+export function incrementRestartCount() {
+    const count = getRestartCount() + 1;
+    fs.writeFileSync(RESTART_COUNTER_FILE, count.toString(), 'utf-8');
+}
+function getCpuPercentage() {
+    const currentUsage = process.cpuUsage();
+    const currentTime = Date.now();
+    const elapsedMs = currentTime - lastCheckTime;
+    if (elapsedMs === 0)
+        return 0;
+    const userDiff = currentUsage.user - lastCpuUsage.user;
+    const systemDiff = currentUsage.system - lastCpuUsage.system;
+    const totalDiff = (userDiff + systemDiff) / 1000;
+    const cpuPercent = (totalDiff / elapsedMs) * 100;
+    lastCpuUsage = currentUsage;
+    lastCheckTime = currentTime;
+    return Math.min(Math.max(cpuPercent, 0), 100);
+}
+/**
+ * 注册 Health 相关的 LSP 处理器
+ * @param connection LSP 连接对象
+ * @param hasWatchedFilesCapability 客户端是否支持文件监视
+ * @param watcherRegistered 文件监视器是否已注册
+ * @param getAllModules 获取所有模块的函数
+ * @param getWatcherStatus 获取文件监控状态的函数（可选）
+ * @param getQueueStats 获取任务队列统计的函数（可选）
+ */
+export function registerHealthHandlers(connection, hasWatchedFilesCapability, watcherRegistered, getAllModules, getWatcherStatus, getQueueStats) {
+    const HEALTH_METHOD = 'aster/health';
+    connection.onRequest(HEALTH_METHOD, () => {
+        const modules = getAllModules();
+        const moduleNames = new Set();
+        for (const m of modules)
+            if (m.moduleName)
+                moduleNames.add(m.moduleName);
+        const watcherStatus = getWatcherStatus?.();
+        const queueStats = getQueueStats?.();
+        const memUsage = process.memoryUsage();
+        const processMetrics = {
+            pid: process.pid,
+            uptime: Math.floor(process.uptime()),
+            memory: {
+                rss: Math.round(memUsage.rss / 1024 / 1024),
+                heapUsed: Math.round(memUsage.heapUsed / 1024 / 1024),
+                heapTotal: Math.round(memUsage.heapTotal / 1024 / 1024),
+            },
+            cpu: {
+                percent: parseFloat(getCpuPercentage().toFixed(2)),
+            },
+        };
+        const metadata = {
+            startTime: startTime.toISOString(),
+            restartCount: getRestartCount(),
+        };
+        const result = {
+            watchers: {
+                capability: hasWatchedFilesCapability,
+                registered: watcherRegistered,
+            },
+            index: {
+                files: modules.length,
+                modules: moduleNames.size,
+            },
+            process: processMetrics,
+            metadata,
+        };
+        // 仅在 watcherStatus 存在时添加可选字段
+        if (watcherStatus) {
+            result.watchers.mode = watcherStatus.mode;
+            result.watchers.isRunning = watcherStatus.isRunning;
+            result.watchers.trackedFiles = watcherStatus.trackedFiles;
+        }
+        // 添加队列统计
+        if (queueStats) {
+            result.queue = {
+                pending: queueStats.pending,
+                running: queueStats.running,
+                completed: queueStats.completed,
+                failed: queueStats.failed,
+                cancelled: queueStats.cancelled,
+                total: queueStats.total,
+            };
+        }
+        return result;
+    });
+}
+//# sourceMappingURL=health.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"health.js","sourceRoot":"","sources":["../../../src/lsp/health.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAGzB,gBAAgB;AAChB,IAAI,YAAY,GAAoB,OAAO,CAAC,QAAQ,EAAE,CAAC;AACvD,IAAI,aAAa,GAAW,IAAI,CAAC,GAAG,EAAE,CAAC;AACvC,MAAM,SAAS,GAAS,IAAI,IAAI,EAAE,CAAC;AAEnC,MAAM,oBAAoB,GAAG,4BAA4B,CAAC;AAoB1D,SAAS,eAAe;IACtB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;QAC/D,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,MAAM,KAAK,GAAG,eAAe,EAAE,GAAG,CAAC,CAAC;IACpC,EAAE,CAAC,aAAa,CAAC,oBAAoB,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB;IACvB,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,WAAW,GAAG,aAAa,CAAC;IAE9C,IAAI,SAAS,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAE9B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC;IACvD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;IAC7D,MAAM,SAAS,GAAG,CAAC,QAAQ,GAAG,UAAU,CAAC,GAAG,IAAI,CAAC;IAEjD,MAAM,UAAU,GAAG,CAAC,SAAS,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC;IAEjD,YAAY,GAAG,YAAY,CAAC;IAC5B,aAAa,GAAG,WAAW,CAAC;IAE5B,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAChD,CAAC;AA6BD;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAsB,EACtB,yBAAkC,EAClC,iBAA0B,EAC1B,aAAyD,EACzD,gBAKC,EACD,aAOC;IAED,MAAM,aAAa,GAAG,cAAc,CAAC;IAErC,UAAU,CAAC,SAAS,CAAC,aAAa,EAAE,GAAiB,EAAE;QACrD,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,CAAC,UAAU;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAEzE,MAAM,aAAa,GAAG,gBAAgB,EAAE,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,aAAa,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,cAAc,GAAmB;YACrC,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,EAAE;gBACN,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;gBAC3C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,GAAG,IAAI,GAAG,IAAI,CAAC;gBACrD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;aACxD;YACD,GAAG,EAAE;gBACH,OAAO,EAAE,UAAU,CAAC,gBAAgB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;aACnD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAa;YACzB,SAAS,EAAE,SAAS,CAAC,WAAW,EAAE;YAClC,YAAY,EAAE,eAAe,EAAE;SAChC,CAAC;QAEF,MAAM,MAAM,GAAiB;YAC3B,QAAQ,EAAE;gBACR,UAAU,EAAE,yBAAyB;gBACrC,UAAU,EAAE,iBAAiB;aAC9B;YACD,KAAK,EAAE;gBACL,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,OAAO,EAAE,WAAW,CAAC,IAAI;aAC1B;YACD,OAAO,EAAE,cAAc;YACvB,QAAQ;SACT,CAAC;QAEF,6BAA6B;QAC7B,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,CAAC,QAAQ,CAAC,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC;YAC1C,MAAM,CAAC,QAAQ,CAAC,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC;YACpD,MAAM,CAAC,QAAQ,CAAC,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC;QAC5D,CAAC;QAED,SAAS;QACT,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,GAAG;gBACb,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,KAAK,EAAE,UAAU,CAAC,KAAK;aACxB,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * LSP Workspace 索引模块 - 统一导出
+ * 提供工作区文档索引、符号查找和持久化功能
+ */
+export type { IndexConfig, SymbolInfo, ModuleIndex } from './workspace/types.js';
+export { getModuleIndex, getAllModules, setIndexConfig, clearIndex, loadIndex, saveIndex, } from './workspace/index-manager.js';
+export { updateDocumentIndex, invalidateDocument } from './workspace/document-indexer.js';
+export { findSymbolReferences } from './workspace/symbol-finder.js';
+export { rebuildWorkspaceIndex } from './workspace/workspace-scanner.js';
+export { configureFileWatcher, startFileWatcher, stopFileWatcher, getWatcherStatus, handleNativeFileChanges, } from './workspace/file-watcher.js';
+export type { FileWatcherConfig } from './workspace/file-watcher.js';
+export { configureTaskQueue, submitTask, cancelTask, cancelAllPendingTasks, getQueueStats, cleanupCompletedTasks, waitForAllTasks, getTaskStatus, getRunningTasks, TaskPriority, TaskStatus, } from './task-queue.js';
+export type { Task, TaskQueueConfig, QueueStats } from './task-queue.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lsp/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGjF,OAAO,EACL,cAAc,EACd,aAAa,EACb,cAAc,EACd,UAAU,EACV,SAAS,EACT,SAAS,GACV,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAG1F,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAGpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAGzE,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGrE,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,qBAAqB,EACrB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,eAAe,EACf,YAAY,EACZ,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/src/lsp/index.js

@@ -0,0 +1,17 @@
+/**
+ * LSP Workspace 索引模块 - 统一导出
+ * 提供工作区文档索引、符号查找和持久化功能
+ */
+// 导出索引管理函数
+export { getModuleIndex, getAllModules, setIndexConfig, clearIndex, loadIndex, saveIndex, } from './workspace/index-manager.js';
+// 导出文档索引器
+export { updateDocumentIndex, invalidateDocument } from './workspace/document-indexer.js';
+// 导出符号查找器
+export { findSymbolReferences } from './workspace/symbol-finder.js';
+// 导出工作区扫描器
+export { rebuildWorkspaceIndex } from './workspace/workspace-scanner.js';
+// 导出文件监控器
+export { configureFileWatcher, startFileWatcher, stopFileWatcher, getWatcherStatus, handleNativeFileChanges, } from './workspace/file-watcher.js';
+// 导出任务队列
+export { configureTaskQueue, submitTask, cancelTask, cancelAllPendingTasks, getQueueStats, cleanupCompletedTasks, waitForAllTasks, getTaskStatus, getRunningTasks, TaskPriority, TaskStatus, } from './task-queue.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lsp/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,WAAW;AACX,OAAO,EACL,cAAc,EACd,aAAa,EACb,cAAc,EACd,UAAU,EACV,SAAS,EACT,SAAS,GACV,MAAM,8BAA8B,CAAC;AAEtC,UAAU;AACV,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1F,UAAU;AACV,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,WAAW;AACX,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,UAAU;AACV,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAGrC,SAAS;AACT,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,qBAAqB,EACrB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,eAAe,EACf,YAAY,EACZ,UAAU,GACX,MAAM,iBAAiB,CAAC"}

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

@@ -0,0 +1,39 @@
+import type { EffectSignature } from '../effects/effect_signature.js';
+export interface CacheEffectOptions {
+    moduleName: string;
+    uri?: string | null;
+    signatures: Map<string, EffectSignature>;
+    imports?: readonly string[];
+}
+export declare class ModuleCache {
+    private readonly workspaceModules;
+    private readonly packageModules;
+    private readonly moduleByUri;
+    private readonly uriByModule;
+    private readonly importsByModule;
+    private readonly dependentsByModule;
+    private moduleSearchPaths;
+    cacheModuleEffectSignatures(options: CacheEffectOptions): void;
+    getModuleEffectSignatures(moduleName: string, searchPaths?: readonly string[]): ReadonlyMap<string, EffectSignature> | undefined;
+    loadModule(moduleName: string, searchPaths: readonly string[]): ReadonlyMap<string, EffectSignature> | Error;
+    invalidateModuleEffectsByUri(uri: string): void;
+    invalidateModuleEffects(moduleName: string): void;
+    invalidatePackageCache(packageName: string): void;
+    clearModuleEffectCache(): void;
+    setModuleSearchPaths(paths: readonly string[]): void;
+    private updateDependencies;
+    private invalidateRecursive;
+    private normalizeSearchPaths;
+    private resolveModuleFile;
+    private parseEffectSignature;
+}
+export declare const defaultModuleCache: ModuleCache;
+export declare function cacheModuleEffectSignatures(options: CacheEffectOptions): void;
+export declare function getModuleEffectSignatures(moduleName: string, searchPaths?: readonly string[]): ReadonlyMap<string, EffectSignature> | undefined;
+export declare function invalidateModuleEffectsByUri(uri: string): void;
+export declare function invalidateModuleEffects(moduleName: string): void;
+export declare function clearModuleEffectCache(): void;
+export declare function loadModule(moduleName: string, searchPaths: readonly string[]): ReadonlyMap<string, EffectSignature> | Error;
+export declare function invalidatePackageCache(packageName: string): void;
+export declare function setModuleSearchPaths(paths: readonly string[]): void;
+//# sourceMappingURL=module_cache.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"module_cache.d.ts","sourceRoot":"","sources":["../../../src/lsp/module_cache.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAUtE,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAiED,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkC;IACnE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAkC;IACjE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkC;IAClE,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAkC;IACrE,OAAO,CAAC,iBAAiB,CAAgB;IAEzC,2BAA2B,CAAC,OAAO,EAAE,kBAAkB,GAAG,IAAI;IAc9D,yBAAyB,CACvB,UAAU,EAAE,MAAM,EAClB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,GAC9B,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,SAAS;IAsBnD,UAAU,CACR,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,KAAK;IAkB/C,4BAA4B,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAM/C,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAKjD,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI;IAIjD,sBAAsB,IAAI,IAAI;IAS9B,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IASpD,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,mBAAmB;IAgC3B,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,iBAAiB;IAOzB,OAAO,CAAC,oBAAoB;CAQ7B;AAED,eAAO,MAAM,kBAAkB,aAAoB,CAAC;AAEpD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAE7E;AAED,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,MAAM,EAClB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,GAC9B,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,SAAS,CAElD;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAE9D;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAEhE;AAED,wBAAgB,sBAAsB,IAAI,IAAI,CAE7C;AAED,wBAAgB,UAAU,CACxB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,KAAK,CAE9C;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAEhE;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAEnE"}

package/dist/src/lsp/module_cache.js

@@ -0,0 +1,308 @@
+import { existsSync, readFileSync, readdirSync, statSync } from 'node:fs';
+import { join, resolve } from 'node:path';
+import { parseEffect } from '../config/semantic.js';
+const MODULE_NOT_FOUND = 'MODULE_NOT_FOUND';
+const MODULE_PARSE_ERROR = 'MODULE_PARSE_ERROR';
+const FUNCTION_PATTERN = /\bTo\s+([A-Za-z0-9_]+)/i;
+const EFFECT_PATTERN = /It\s+performs\s+([A-Za-z]+)/i;
+const MODULE_PATTERN = /^\s*This\s+module\s+is\s+([A-Za-z0-9_.-]+)\./i;
+/**
+ * 扩展包含通配符的路径模式（如 .aster/cache/*）
+ *
+ * @param pattern 路径模式，可能包含 * 通配符
+ * @returns 展开后的实际路径数组
+ */
+function expandGlobPattern(pattern) {
+    // 如果不包含通配符，直接返回
+    if (!pattern.includes('*')) {
+        return [pattern];
+    }
+    // 分割路径，找到第一个包含 * 的部分
+    const parts = pattern.split('/');
+    const wildcardIndex = parts.findIndex(p => p.includes('*'));
+    if (wildcardIndex === -1) {
+        return [pattern];
+    }
+    // 构建基础路径（通配符之前的部分）
+    const basePath = parts.slice(0, wildcardIndex).join('/');
+    const wildcardPart = parts[wildcardIndex];
+    const remainingParts = parts.slice(wildcardIndex + 1);
+    // 如果基础路径不存在，返回空数组
+    if (!existsSync(basePath)) {
+        return [];
+    }
+    try {
+        const entries = readdirSync(basePath);
+        const expanded = [];
+        for (const entry of entries) {
+            // 如果通配符是 *，匹配所有条目
+            if (wildcardPart === '*') {
+                const fullPath = join(basePath, entry);
+                try {
+                    const stats = statSync(fullPath);
+                    if (stats.isDirectory()) {
+                        // 如果还有剩余路径部分，继续拼接
+                        if (remainingParts.length > 0) {
+                            const finalPath = join(fullPath, ...remainingParts);
+                            if (existsSync(finalPath)) {
+                                expanded.push(finalPath);
+                            }
+                        }
+                        else {
+                            expanded.push(fullPath);
+                        }
+                    }
+                }
+                catch {
+                    // 跳过无法访问的条目
+                }
+            }
+        }
+        return expanded;
+    }
+    catch {
+        return [];
+    }
+}
+export class ModuleCache {
+    workspaceModules = new Map();
+    packageModules = new Map();
+    moduleByUri = new Map();
+    uriByModule = new Map();
+    importsByModule = new Map();
+    dependentsByModule = new Map();
+    moduleSearchPaths = [];
+    cacheModuleEffectSignatures(options) {
+        const { moduleName, uri, signatures, imports = [] } = options;
+        if (!moduleName || moduleName === '<anonymous>')
+            return;
+        this.workspaceModules.set(moduleName, new Map(signatures));
+        if (uri) {
+            this.moduleByUri.set(uri, moduleName);
+            this.uriByModule.set(moduleName, uri);
+        }
+        this.updateDependencies(moduleName, imports);
+    }
+    getModuleEffectSignatures(moduleName, searchPaths) {
+        if (!moduleName)
+            return undefined;
+        const workspace = this.workspaceModules.get(moduleName);
+        if (workspace)
+            return workspace;
+        const pkgCache = this.packageModules.get(moduleName);
+        if (pkgCache)
+            return pkgCache;
+        const paths = this.normalizeSearchPaths(searchPaths);
+        if (paths.length === 0)
+            return undefined;
+        const loaded = this.loadModule(moduleName, paths);
+        if (loaded instanceof Error) {
+            if (!loaded.message.includes(MODULE_NOT_FOUND)) {
+                console.warn(`[ModuleCache] 解析 ${moduleName} 失败: ${loaded.message}`);
+            }
+            return undefined;
+        }
+        return loaded;
+    }
+    loadModule(moduleName, searchPaths) {
+        const paths = this.normalizeSearchPaths(searchPaths);
+        if (paths.length === 0) {
+            return new Error(`${MODULE_NOT_FOUND}: ${moduleName}`);
+        }
+        for (const base of paths) {
+            const resolved = this.resolveModuleFile(base, moduleName);
+            if (!resolved || !existsSync(resolved))
+                continue;
+            const parsed = this.parseEffectSignature(resolved, moduleName);
+            if (parsed instanceof Error)
+                return parsed;
+            this.packageModules.set(moduleName, parsed);
+            return parsed;
+        }
+        return new Error(`${MODULE_NOT_FOUND}: ${moduleName}`);
+    }
+    invalidateModuleEffectsByUri(uri) {
+        const moduleName = this.moduleByUri.get(uri);
+        if (!moduleName)
+            return;
+        this.invalidateModuleEffects(moduleName);
+    }
+    invalidateModuleEffects(moduleName) {
+        const visited = new Set();
+        this.invalidateRecursive(moduleName, visited);
+    }
+    invalidatePackageCache(packageName) {
+        this.packageModules.delete(packageName);
+    }
+    clearModuleEffectCache() {
+        this.workspaceModules.clear();
+        this.packageModules.clear();
+        this.moduleByUri.clear();
+        this.uriByModule.clear();
+        this.importsByModule.clear();
+        this.dependentsByModule.clear();
+    }
+    setModuleSearchPaths(paths) {
+        const expandedPaths = [];
+        for (const path of paths) {
+            const expanded = expandGlobPattern(path);
+            expandedPaths.push(...expanded.map(p => resolve(p)));
+        }
+        this.moduleSearchPaths = Array.from(new Set(expandedPaths));
+    }
+    updateDependencies(moduleName, imports) {
+        const normalized = new Set(imports.filter(value => typeof value === 'string' && value.length > 0));
+        const previous = this.importsByModule.get(moduleName);
+        if (previous) {
+            for (const dep of previous) {
+                this.dependentsByModule.get(dep)?.delete(moduleName);
+                if (this.dependentsByModule.get(dep)?.size === 0) {
+                    this.dependentsByModule.delete(dep);
+                }
+            }
+        }
+        this.importsByModule.set(moduleName, normalized);
+        for (const dep of normalized) {
+            let dependents = this.dependentsByModule.get(dep);
+            if (!dependents) {
+                dependents = new Set();
+                this.dependentsByModule.set(dep, dependents);
+            }
+            dependents.add(moduleName);
+        }
+    }
+    invalidateRecursive(moduleName, visited) {
+        if (visited.has(moduleName))
+            return;
+        visited.add(moduleName);
+        this.workspaceModules.delete(moduleName);
+        const imports = this.importsByModule.get(moduleName);
+        if (imports) {
+            for (const dep of imports) {
+                this.dependentsByModule.get(dep)?.delete(moduleName);
+                if (this.dependentsByModule.get(dep)?.size === 0) {
+                    this.dependentsByModule.delete(dep);
+                }
+            }
+        }
+        this.importsByModule.delete(moduleName);
+        const uri = this.uriByModule.get(moduleName);
+        if (uri) {
+            this.uriByModule.delete(moduleName);
+            this.moduleByUri.delete(uri);
+        }
+        const dependents = this.dependentsByModule.get(moduleName);
+        this.dependentsByModule.delete(moduleName);
+        if (!dependents)
+            return;
+        for (const dependent of dependents) {
+            this.invalidateRecursive(dependent, visited);
+        }
+    }
+    normalizeSearchPaths(searchPaths) {
+        if (searchPaths && searchPaths.length > 0) {
+            return Array.from(new Set(searchPaths.map(p => resolve(p))));
+        }
+        return this.moduleSearchPaths;
+    }
+    resolveModuleFile(base, moduleName) {
+        if (!base || !moduleName)
+            return null;
+        const segments = moduleName.split('.').filter(Boolean);
+        if (segments.length === 0)
+            return null;
+        return join(base, ...segments) + '.aster';
+    }
+    parseEffectSignature(filePath, moduleName) {
+        try {
+            const content = readFileSync(filePath, 'utf8');
+            return parseEffectSignatures(content, moduleName, filePath);
+        }
+        catch (error) {
+            return new Error(`${MODULE_PARSE_ERROR}: ${error.message}`);
+        }
+    }
+}
+export const defaultModuleCache = new ModuleCache();
+export function cacheModuleEffectSignatures(options) {
+    defaultModuleCache.cacheModuleEffectSignatures(options);
+}
+export function getModuleEffectSignatures(moduleName, searchPaths) {
+    return defaultModuleCache.getModuleEffectSignatures(moduleName, searchPaths);
+}
+export function invalidateModuleEffectsByUri(uri) {
+    defaultModuleCache.invalidateModuleEffectsByUri(uri);
+}
+export function invalidateModuleEffects(moduleName) {
+    defaultModuleCache.invalidateModuleEffects(moduleName);
+}
+export function clearModuleEffectCache() {
+    defaultModuleCache.clearModuleEffectCache();
+}
+export function loadModule(moduleName, searchPaths) {
+    return defaultModuleCache.loadModule(moduleName, searchPaths);
+}
+export function invalidatePackageCache(packageName) {
+    defaultModuleCache.invalidatePackageCache(packageName);
+}
+export function setModuleSearchPaths(paths) {
+    defaultModuleCache.setModuleSearchPaths(paths);
+}
+function parseEffectSignatures(content, moduleName, filePath) {
+    const functions = new Map();
+    let currentFunction = null;
+    let headerModule = null;
+    const lines = content.split(/\r?\n/);
+    for (const rawLine of lines) {
+        const line = rawLine.trim();
+        if (!headerModule) {
+            const moduleMatch = line.match(MODULE_PATTERN);
+            if (moduleMatch) {
+                headerModule = moduleMatch[1]?.trim() ?? null;
+            }
+        }
+        const funcMatch = rawLine.match(FUNCTION_PATTERN);
+        if (funcMatch) {
+            currentFunction = funcMatch[1] ?? null;
+            if (currentFunction && !functions.has(currentFunction)) {
+                functions.set(currentFunction, new Set());
+            }
+        }
+        if (!currentFunction)
+            continue;
+        const effectMatch = rawLine.match(EFFECT_PATTERN);
+        if (!effectMatch)
+            continue;
+        const effectText = effectMatch[1];
+        if (!effectText)
+            continue;
+        const effect = parseEffect(effectText.toLowerCase());
+        if (!effect)
+            continue;
+        const bucket = functions.get(currentFunction);
+        if (bucket)
+            bucket.add(effect);
+    }
+    const normalizedModule = moduleName || headerModule || '';
+    if (!normalizedModule) {
+        return new Error(`${MODULE_PARSE_ERROR}: ${filePath} 缺少模块声明`);
+    }
+    if (headerModule && moduleName && headerModule !== moduleName) {
+        return new Error(`${MODULE_PARSE_ERROR}: 请求模块 ${moduleName} 与 ${filePath} 不一致`);
+    }
+    const signatures = new Map();
+    for (const [funcName, effects] of functions) {
+        const qualifiedName = normalizedModule ? `${normalizedModule}.${funcName}` : funcName;
+        const declared = new Set(effects);
+        signatures.set(qualifiedName, {
+            module: normalizedModule,
+            function: funcName,
+            qualifiedName,
+            declared,
+            inferred: new Set(declared),
+            required: new Set(declared),
+        });
+    }
+    return signatures;
+}
+//# sourceMappingURL=module_cache.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"module_cache.js","sourceRoot":"","sources":["../../../src/lsp/module_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKpD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAC5C,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AAChD,MAAM,gBAAgB,GAAG,yBAAyB,CAAC;AACnD,MAAM,cAAc,GAAG,8BAA8B,CAAC;AACtD,MAAM,cAAc,GAAG,+CAA+C,CAAC;AASvE;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,OAAe;IACxC,gBAAgB;IAChB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IAED,qBAAqB;IACrB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAE5D,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IAED,mBAAmB;IACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IAEtD,kBAAkB;IAClB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,kBAAkB;YAClB,IAAI,YAAY,KAAK,GAAG,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC;oBACH,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;oBACjC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;wBACxB,kBAAkB;wBAClB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,cAAc,CAAC,CAAC;4BACpD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gCAC1B,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;4BAC3B,CAAC;wBACH,CAAC;6BAAM,CAAC;4BACN,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBAC1B,CAAC;oBACH,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,MAAM,OAAO,WAAW;IACL,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7D,iBAAiB,GAAa,EAAE,CAAC;IAEzC,2BAA2B,CAAC,OAA2B;QACrD,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC;QAC9D,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,aAAa;YAAE,OAAO;QAExD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QAE3D,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QAED,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,yBAAyB,CACvB,UAAkB,EAClB,WAA+B;QAE/B,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAE9B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEzC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,MAAM,YAAY,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC/C,OAAO,CAAC,IAAI,CAAC,oBAAoB,UAAU,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,UAAU,CACR,UAAkB,EAClB,WAA8B;QAE9B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,KAAK,CAAC,GAAG,gBAAgB,KAAK,UAAU,EAAE,CAAC,CAAC;QACzD,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC1D,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAC/D,IAAI,MAAM,YAAY,KAAK;gBAAE,OAAO,MAAM,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,OAAO,IAAI,KAAK,CAAC,GAAG,gBAAgB,KAAK,UAAU,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,4BAA4B,CAAC,GAAW;QACtC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB,CAAC,UAAkB;QACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,CAAC,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,sBAAsB,CAAC,WAAmB;QACxC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED,sBAAsB;QACpB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;IAED,oBAAoB,CAAC,KAAwB;QAC3C,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACzC,aAAa,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9D,CAAC;IAEO,kBAAkB,CAAC,UAAkB,EAAE,OAA0B;QACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;gBACrD,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;oBACjD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;gBACvB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/C,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,UAAkB,EAAE,OAAoB;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,OAAO;QACpC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAExB,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAEzC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;gBACrD,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;oBACjD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAExC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAE3C,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAEO,oBAAoB,CAAC,WAA+B;QAC1D,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;IAEO,iBAAiB,CAAC,IAAY,EAAE,UAAkB;QACxD,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC;IAC5C,CAAC;IAEO,oBAAoB,CAAC,QAAgB,EAAE,UAAkB;QAC/D,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/C,OAAO,qBAAqB,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC9D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,IAAI,KAAK,CAAC,GAAG,kBAAkB,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,WAAW,EAAE,CAAC;AAEpD,MAAM,UAAU,2BAA2B,CAAC,OAA2B;IACrE,kBAAkB,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,UAAkB,EAClB,WAA+B;IAE/B,OAAO,kBAAkB,CAAC,yBAAyB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,GAAW;IACtD,kBAAkB,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACxD,kBAAkB,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,sBAAsB;IACpC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,UAAkB,EAClB,WAA8B;IAE9B,OAAO,kBAAkB,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,WAAmB;IACxD,kBAAkB,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAwB;IAC3D,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAe,EACf,UAAkB,EAClB,QAAgB;IAEhB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,IAAI,eAAe,GAAkB,IAAI,CAAC;IAC1C,IAAI,YAAY,GAAkB,IAAI,CAAC;IAEvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC/C,IAAI,WAAW,EAAE,CAAC;gBAChB,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;YAChD,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,eAAe,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YACvC,IAAI,eAAe,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;gBACvD,SAAS,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,CAAC,eAAe;YAAE,SAAS;QAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAClD,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC9C,IAAI,MAAM;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,gBAAgB,GAAG,UAAU,IAAI,YAAY,IAAI,EAAE,CAAC;IAC1D,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,IAAI,KAAK,CAAC,GAAG,kBAAkB,KAAK,QAAQ,SAAS,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,YAAY,IAAI,UAAU,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;QAC9D,OAAO,IAAI,KAAK,CAAC,GAAG,kBAAkB,UAAU,UAAU,MAAM,QAAQ,MAAM,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,UAAU,GAAgB,IAAI,GAAG,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC5C,MAAM,aAAa,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,UAAU,CAAC,GAAG,CAAC,aAAa,EAAE;YAC5B,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,QAAQ;YAClB,aAAa;YACb,QAAQ;YACR,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC;YAC3B,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

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

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

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

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

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

@@ -0,0 +1,96 @@
+/**
+ * LSP Definition 处理器
+ * 提供跳转到定义功能
+ */
+import { parse } from '../../parser.js';
+import { getAllModules } from '../index.js';
+import { buildTokenIndex, tokenNameAt as tokenNameAtOptimized } from '../token-index.js';
+import { findDeclAt, toLocation, enumVariantSpanMap, dataFieldSpanMap, findConstructFieldAt, collectLetsWithSpan, ensureUri, } from './shared.js';
+import { getSpan, getNameSpan, isAstFunc, } from '../type-guards.js';
+/**
+ * 注册 Definition 处理器
+ * @param connection LSP 连接对象
+ * @param documents 文档管理器
+ * @param getOrParse 文档解析函数
+ */
+export function registerDefinitionHandler(connection, documents, getOrParse) {
+    connection.onDefinition(params => {
+        const doc = documents.get(params.textDocument.uri);
+        if (!doc)
+            return null;
+        const { tokens: toks, ast } = getOrParse(doc);
+        // Build token index once for O(log n) lookups
+        const tokenIndex = buildTokenIndex(toks);
+        try {
+            const ast2 = ast || parse(toks);
+            // Use optimized O(log n) token lookup
+            const name = tokenNameAtOptimized(tokenIndex, params.position);
+            if (!name)
+                return null;
+            // Index top-level decls
+            const declMap = new Map();
+            for (const d of ast2.decls) {
+                if (d.kind === 'Func' || d.kind === 'Data' || d.kind === 'Enum') {
+                    // Prefer function nameSpan when present
+                    const nm = d.name;
+                    const nsp = getNameSpan(d);
+                    const sp = getSpan(d);
+                    declMap.set(nm, nsp ?? sp);
+                }
+            }
+            if (declMap.has(name)) {
+                const sp = declMap.get(name);
+                if (sp)
+                    return toLocation(doc.uri, sp);
+            }
+            // Enum variant definitions
+            const vmap = enumVariantSpanMap(ast2);
+            if (vmap.has(name))
+                return toLocation(doc.uri, vmap.get(name));
+            // Data field definitions when hovering a field initializer
+            const cf = findConstructFieldAt(ast2, params.position);
+            if (cf && cf.field === name) {
+                const fmap = dataFieldSpanMap(ast2);
+                const key = `${cf.typeName}.${cf.field}`;
+                if (fmap.has(key))
+                    return toLocation(doc.uri, fmap.get(key));
+            }
+            // Cross-file: dotted references Module.name resolve against open-docs index
+            const dot = name.lastIndexOf('.');
+            if (dot > 0) {
+                const mod = name.substring(0, dot);
+                const mem = name.substring(dot + 1);
+                const rec = getAllModules().find(m => m.moduleName === mod);
+                if (rec) {
+                    const symbol = rec.symbols.find(s => s.name === mem);
+                    const range = symbol?.selectionRange ?? symbol?.range;
+                    if (range)
+                        return { uri: ensureUri(rec.uri), range };
+                }
+            }
+            // If inside a function, check params and lets
+            const here = findDeclAt(ast2, params.position);
+            if (here && isAstFunc(here)) {
+                const f = here;
+                // params
+                const pHit = f.params.find(p => p.name === name);
+                if (pHit) {
+                    const psp = getSpan(pHit) || getSpan(f);
+                    if (psp)
+                        return toLocation(doc.uri, psp);
+                }
+                // lets
+                const lets = collectLetsWithSpan(f.body);
+                if (lets.has(name)) {
+                    const sp = lets.get(name);
+                    return toLocation(doc.uri, sp);
+                }
+            }
+        }
+        catch {
+            // ignore
+        }
+        return null;
+    });
+}
+//# sourceMappingURL=definition.js.map