dsh-vscode-mode 0.15.6 → 0.15.8

package/lib/index.js

@@ -2423,6 +2423,15 @@ function imageMimeOf(path) {
 /** PDF 统一 MIME（host base64 响应与 client PDF 面板同源，避免两处漂移）。 */
 const PDF_MIME = "application/pdf";
 /**
+* 会话级前置错误的规范文案：host requireSession 系与 client 错误识别共用同一常量，
+* 避免文案漂移导致 client 端分类失效。跨端场景（桌面端/Web 端各自运行独立 DSH 实例、
+* 会话列表互通但会话仅在一端激活）下，本端 host 取不到会话即返回「会话不存在」。
+* @author ddj 2026年10月16号
+*/
+const SESSION_MISSING_ERROR = "会话不存在";
+/** 会话存在但无工作区 cwd 时的规范文案（与 SESSION_MISSING_ERROR 同源共用）。 */
+const SESSION_NO_WORKSPACE_ERROR = "会话无工作区";
+/**
 * 路径 → 二进制预览 MIME：PDF 特判 {@link PDF_MIME}，其余走图片表回退 octet-stream。
 * @author ddj 2026年09月22号
 * @param path 文件路径（`/` 或 `\` 分隔均可）
@@ -11198,9 +11207,9 @@ function recView(record, ws = null) {
 /** 会话/工作区公共前置：返回 {session,cwd} 或错误文案。 */
 async function requireSession(ctx, sessionId) {
 	const session = sessionOf(ctx, sessionId);
-	if (!session) return { err: "会话不存在" };
+	if (!session) return { err: SESSION_MISSING_ERROR };
 	const cwd = cwdOf(session);
-	if (!cwd) return { err: "会话无工作区" };
+	if (!cwd) return { err: SESSION_NO_WORKSPACE_ERROR };
 	return {
 		session,
 		cwd
@@ -13961,6 +13970,19 @@ function pathToFileUri(absPath) {
 	return pathToFileURL(normalized).toString();
 }
 /**
+* file:// URI → 绝对路径（Windows file:///C:/x → C:\x）。
+* @author ddj 2026年08月27号
+* @param uri file:// URI
+* @returns 绝对路径
+*/
+function fileUriToPath(fileUri) {
+	try {
+		return fileURLToPath(fileUri);
+	} catch (error) {
+		return String(error);
+	}
+}
+/**
 * 是否绝对路径（**平台无关**判定）。
 *
 * ⚠️ 不能用 `node:path` 的 `isAbsolute`：它按**运行平台**解释路径——`isAbsolute('D:/ws/x')`
@@ -14069,6 +14091,130 @@ function deriveDefinitionFromLocations(queryPos, locations, docText, docAbsPath)
 	const first = candidates[0];
 	return sameRange(first.range, containing.range) ? containing : first;
 }
+/** 提取文本开头的标识符链（`EventId.ISTaskSystem = {` → ['EventId','ISTaskSystem']）。 */
+function chainOf(text) {
+	const match = /^\s*([A-Za-z_][A-Za-z0-9_]*(?:\s*\.\s*[A-Za-z_][A-Za-z0-9_]*)*)/.exec(text);
+	if (!match) return [];
+	return match[1].replace(/\s+/g, "").split(".");
+}
+/**
+* 判定切片文本是否为查询链的声明形候选：链后紧跟单个 '='（name = ... 赋值，排除 '==' 比较），
+* 且候选链是查询链的段级前缀（外层表声明 `EventId.ISTaskSystem = {`）或末段一致（叶字段声明
+* `TaskStateChange = 50000,`）。
+*/
+function isDeclarationMatch(word, queryChain) {
+	const match = /^\s*([A-Za-z_][A-Za-z0-9_]*(?:\s*\.\s*[A-Za-z_][A-Za-z0-9_]*)*)\s*(=)(?!=)/.exec(word);
+	if (!match) return false;
+	const chain = match[1].replace(/\s+/g, "").split(".");
+	if (!chain.length || chain.length > queryChain.length) return false;
+	const prefix = queryChain.slice(0, chain.length);
+	if (chain.every((seg, i) => seg === prefix[i])) return true;
+	if (chain[chain.length - 1] === queryChain[queryChain.length - 1]) return true;
+	return false;
+}
+/**
+* 跨文件声明推导（definition/declaration 均空、同文件推导只给出"点击处自身"时的兜底）。
+* 背景：EmmyLua 0.9.41 对成员链字段（EventId.ISTaskSystem.TaskStateChange）的 definition 恒返回空，
+* 但 references(includeDeclaration) 在词中/尾位置包含字段声明位置（声明文件内的 `XXX = {...}` /
+* `KEY = value,` 赋值行）。同文件推导把跨文件声明过滤掉 → 这里放宽到跨文件，
+* 用"段级相等/前缀/后缀 + 赋值形（单个 '='）"识别声明，并读取目标文件文本做词级校验。
+* 文件读取有上限（maxFiles），防止大工作区把跳转拖慢。
+* @author ddj 2026年10月15号
+* @param queryPos 查询位置（调用方已 nudge 到词尾）
+* @param locations references(includeDeclaration) 结果
+* @param docText 当前文档全文（取点击链）
+* @param docAbsPath 当前文档绝对路径（file:// URI）
+* @param lookup 文件文本读取器与读取上限
+* @returns 跨文件声明位置；未识别到返回 null
+*/
+async function deriveCrossFileDeclaration(queryPos, locations, docText, docAbsPath, lookup) {
+	if (!locations.length) return null;
+	const docAbs = normAbs(docAbsPath);
+	const containing = locations.filter((loc) => posInLspRange(queryPos, loc.range)).sort((a, b) => rangeSize(a.range) - rangeSize(b.range))[0];
+	if (!containing) return null;
+	const queryChain = chainOf(sliceRange(docText, containing.range));
+	if (!queryChain.length) return null;
+	const maxFiles = lookup.maxFiles ?? 8;
+	const textByKey = /* @__PURE__ */ new Map();
+	let best = null;
+	let bestChainLen = Number.POSITIVE_INFINITY;
+	const ordered = [...locations].sort((a, b) => {
+		const ca = a.range.start.character - b.range.start.character;
+		return ca !== 0 ? ca : a.range.start.line - b.range.start.line;
+	});
+	for (const loc of ordered) {
+		const key = normAbs(loc.uri);
+		if (key === docAbs) continue;
+		let text = textByKey.get(key);
+		if (text === void 0) {
+			if (textByKey.size >= maxFiles) break;
+			text = await lookup.readText(loc.uri);
+			textByKey.set(key, text ?? null);
+		}
+		if (!text) continue;
+		const word = sliceToLineEnd(text, loc.range);
+		const chain = chainOf(word);
+		if (chain.length && chain.length <= bestChainLen && isDeclarationMatch(word, queryChain)) {
+			best = loc;
+			bestChainLen = chain.length;
+			if (bestChainLen === 1) break;
+		}
+	}
+	return best;
+}
+/** 从 range.start 到所在行末的切片（声明形判定需覆盖标识符后的 `= value`）。 */
+function sliceToLineEnd(text, range) {
+	return (text.split(/\r\n|\r|\n/)[Math.max(0, range.start.line)] ?? "").slice(Math.max(0, range.start.character));
+}
+/**
+* 判定"直接 definition 结果是否为同文件误解析（把使用点当定义）"。
+* 背景：EmmyLua 0.9.41 对跨文件全局（EventId = {} 定义在别的文件）的 textDocument/definition
+* 常错误返回当前文件最后一个使用点（如 SubHandler:94 的 `{ EventId.NewActivity...`），而非声明文件。
+* 特征：直接结果全部位于查询文档同文件，且首个结果的切片文本不是点击链的声明形
+* （local/function 声明或 `链 = ...` 赋值）。命中即应降级走跨文件声明推导。
+* @author ddj 2026年10月15号
+* @param docAbsPath 当前文档绝对路径（file:// URI 或绝对路径）
+* @param locations 直接 definition 结果
+* @param docText 当前文档全文（取点击链）
+* @param position 查询位置（调用方已 nudge 到词尾）
+*/
+function isMisresolvedSameFileUsage(docAbsPath, locations, docText, position) {
+	if (!locations.length) return false;
+	const docAbs = normAbs(docAbsPath);
+	if (locations.some((loc) => normAbs(loc.uri) !== docAbs)) return false;
+	const chainRange = chainRangeAt(docText, position);
+	if (!chainRange) return false;
+	const queryChain = chainOf(sliceRange(docText, chainRange));
+	if (!queryChain.length) return false;
+	return !isDeclarationForm(sliceToLineEnd(docText, locations[0].range), queryChain);
+}
+/** 取 position 处的标识符/成员链 range（0-based，取所在行内的链）。 */
+function chainRangeAt(text, pos) {
+	const line = text.split(/\r\n|\r|\n/)[pos.line] ?? "";
+	const re = /[A-Za-z_][A-Za-z0-9_]*(?:\s*\.\s*[A-Za-z_][A-Za-z0-9_]*)*/g;
+	let m;
+	while (m = re.exec(line)) {
+		const start = m.index;
+		const end = start + m[0].length;
+		if (pos.character >= start && pos.character < end) return {
+			start: {
+				line: pos.line,
+				character: start
+			},
+			end: {
+				line: pos.line,
+				character: end
+			}
+		};
+	}
+	return null;
+}
+/** 切片文本是否为查询链的"声明形"（local/function 声明或 `链 = ...` 赋值）。 */
+function isDeclarationForm(word, queryChain) {
+	const t = word.replace(/^\s+/, "");
+	if (/^(local\b|function\b)/.test(t)) return true;
+	return isDeclarationMatch(word, queryChain);
+}
 //#endregion
 //#region src/lsp/server.ts
 /**
@@ -14090,6 +14236,72 @@ function lspDocVersion(incoming, previous) {
 	return Number.isInteger(incoming) && incoming >= next && incoming <= MAX_DOC_VERSION ? incoming : next;
 }
 /**
+* 把查询位置挪到光标所在 Lua 标识符词的末尾字符。
+*
+* 背景：EmmyLua 0.9.41 存在词边界怪癖——查询位置落在标识符 token 前半时，definition/hover/references
+* 一律返回空 / "unknown" / []，落在 token 后半/末尾才正常解析（已对 EventId/ISTaskSystem/
+* TaskStateChange 逐字符实测确认）。把位置挪到词尾即可让基标识符（如 `EventId`）正常解析。
+* 仅当位置严格落在标识符词内时才挪；点号/空白/字符串/注释位置原样返回，不影响正常符号。
+* @author ddj 2026年10月15号
+* @param text 文档全文
+* @param pos 查询位置（0-based）
+* @returns 词末字符位置；不在词内则原样返回
+*/
+function nudgeToWordEnd(text, pos) {
+	const line = text.split(/\r\n|\r|\n/)[pos.line];
+	if (line === void 0) return pos;
+	const identifier = /[A-Za-z_][A-Za-z0-9_]*/g;
+	let match;
+	while ((match = identifier.exec(line)) !== null) {
+		const start = match.index;
+		const end = start + match[0].length;
+		if (pos.character >= start && pos.character < end) return {
+			line: pos.line,
+			character: end - 1
+		};
+		if (pos.character < start) break;
+	}
+	return pos;
+}
+/** hover 内容是否"空/unknown"（EmmyLua 对未解析符号、成员链字段 hover 的原生输出）。 */
+function isEmptyHover(contents) {
+	return contents.every((c) => {
+		const t = c.trim();
+		return !t || t === "unknown";
+	});
+}
+/**
+* 取光标所在成员链的基标识符范围（`EventId.ISTaskSystem.TaskStateChange` → `EventId`）。
+* 链中无成员访问（无 '.'）时返回 null——基标识符回查无意义。
+*/
+function chainBaseRange(line, character) {
+	const chain = /[A-Za-z_][A-Za-z0-9_]*(?:\s*\.\s*[A-Za-z_][A-Za-z0-9_]*)*/g;
+	let match;
+	while ((match = chain.exec(line)) !== null) {
+		const start = match.index;
+		const end = start + match[0].length;
+		if (character >= start && character < end) {
+			const dot = match[0].indexOf(".");
+			if (dot === -1) return null;
+			return {
+				start,
+				end: start + dot
+			};
+		}
+		if (character < start) break;
+	}
+	return null;
+}
+/** LSP position 是否落在 range 内（start 包含、end 排除）。 */
+function rangeContains(pos, range) {
+	const start = range.start;
+	const end = range.end ?? start;
+	if (pos.line < start.line || pos.line > end.line) return false;
+	if (pos.line === start.line && pos.character < start.character) return false;
+	if (pos.line === end.line && pos.character >= end.character) return false;
+	return true;
+}
+/**
 * 创建语言服务器会话。
 * @author ddj 2026年08月27号
 * @param spec provider 规格（argv/cwd）
@@ -14115,6 +14327,20 @@ function createLspServer(spec, root, languageId, logger) {
 		const rel = toWorkspacePath(root, path);
 		return isAbsolutePath(rel) ? pathToFileUri(rel) : pathToFileUri(root + "/" + rel.split("/").join("/"));
 	};
+	/**
+	* 按 file:// URI 读取文件文本：已打开文档走内存（与语言服务器索引一致），其余读盘。
+	* @author ddj 2026年10月15号
+	* @param uri 目标文件 file:// URI
+	* @returns 文件文本；读取失败（文件不存在/非 UTF-8 等）返回 null
+	*/
+	const readTextByUri = async (uri) => {
+		for (const doc of docs.values()) if (doc.uri === uri) return doc.text;
+		try {
+			return await readFile(fileUriToPath(uri), "utf8");
+		} catch {
+			return null;
+		}
+	};
 	let phase = "idle";
 	let transport = null;
 	let client = null;
@@ -14312,15 +14538,37 @@ function createLspServer(spec, root, languageId, logger) {
 			const doc = docs.get(path);
 			if (!doc || !await readyWait) return [];
 			const client = ensureClient();
-			const position = {
+			const position = nudgeToWordEnd(doc.text, {
 				line,
 				character
+			});
+			const crossFromRefs = async () => {
+				try {
+					const refs = normalizeLocations(await client.request("textDocument/references", {
+						textDocument: { uri: doc.uri },
+						position,
+						context: { includeDeclaration: true }
+					}));
+					return await deriveCrossFileDeclaration(position, refs, doc.text, doc.uri, { readText: readTextByUri });
+				} catch (error) {
+					log("references fallback failed: " + String(error));
+					return null;
+				}
 			};
 			const direct = normalizeLocations(await client.request("textDocument/definition", {
 				textDocument: { uri: doc.uri },
 				position
 			}));
-			if (direct.length) return direct;
+			if (direct.length) {
+				if (isMisresolvedSameFileUsage(doc.uri, direct, doc.text, position)) {
+					const cross = await crossFromRefs();
+					if (cross) {
+						log("definition direct was same-file misresolution → cross-file declaration (" + path + ":" + line + ":" + character + ")");
+						return [cross];
+					}
+				}
+				return direct;
+			}
 			if (capabilities.declaration) try {
 				const decl = normalizeLocations(await client.request("textDocument/declaration", {
 					textDocument: { uri: doc.uri },
@@ -14334,15 +14582,24 @@ function createLspServer(spec, root, languageId, logger) {
 				log("declaration request failed: " + String(error));
 			}
 			try {
-				const derived = deriveDefinitionFromLocations(position, normalizeLocations(await client.request("textDocument/references", {
+				const refs = normalizeLocations(await client.request("textDocument/references", {
 					textDocument: { uri: doc.uri },
 					position,
 					context: { includeDeclaration: true }
-				})), doc.text, doc.uri);
-				if (derived) {
+				}));
+				const derived = deriveDefinitionFromLocations(position, refs, doc.text, doc.uri);
+				const selfDerived = derived ? rangeContains(position, derived.range) : false;
+				const misDerived = derived ? isMisresolvedSameFileUsage(doc.uri, [derived], doc.text, position) : false;
+				if (derived && !selfDerived && !misDerived) {
 					log("definition fallback → references-derived (" + path + ":" + line + ":" + character + ")");
 					return [derived];
 				}
+				const cross = await deriveCrossFileDeclaration(position, refs, doc.text, doc.uri, { readText: readTextByUri });
+				if (cross) {
+					log("definition fallback → cross-file declaration (" + path + ":" + line + ":" + character + ")");
+					return [cross];
+				}
+				if (derived) return [derived];
 			} catch (error) {
 				log("references fallback failed: " + String(error));
 			}
@@ -14351,12 +14608,13 @@ function createLspServer(spec, root, languageId, logger) {
 		async references(path, line, character, includeDeclaration) {
 			const doc = docs.get(path);
 			if (!doc || !await readyWait) return [];
+			const position = nudgeToWordEnd(doc.text, {
+				line,
+				character
+			});
 			return normalizeLocations(await ensureClient().request("textDocument/references", {
 				textDocument: { uri: doc.uri },
-				position: {
-					line,
-					character
-				},
+				position,
 				context: { includeDeclaration }
 			}));
 		},
@@ -14376,15 +14634,31 @@ function createLspServer(spec, root, languageId, logger) {
 		async hover(path, line, character) {
 			const doc = docs.get(path);
 			if (!doc || !await readyWait) return null;
-			const result = await ensureClient().request("textDocument/hover", {
+			const client = ensureClient();
+			const position = nudgeToWordEnd(doc.text, {
+				line,
+				character
+			});
+			const result = await client.request("textDocument/hover", {
 				textDocument: { uri: doc.uri },
-				position: {
-					line,
-					character
-				}
+				position
 			});
-			if (!result || !result.contents) return null;
-			return { contents: stringifyHoverContents(result.contents) };
+			const contents = result?.contents ? stringifyHoverContents(result.contents) : [];
+			if (isEmptyHover(contents)) {
+				const base = chainBaseRange(doc.text.split(/\r\n|\r|\n/)[position.line] ?? "", position.character);
+				if (base) {
+					const baseResult = await client.request("textDocument/hover", {
+						textDocument: { uri: doc.uri },
+						position: {
+							line: position.line,
+							character: base.end - 1
+						}
+					});
+					const baseContents = baseResult?.contents ? stringifyHoverContents(baseResult.contents) : [];
+					if (!isEmptyHover(baseContents)) return { contents: baseContents };
+				}
+			}
+			return contents.length ? { contents } : null;
 		},
 		/**
 		* 查询补全列表（textDocument/completion）。
@@ -16441,8 +16715,8 @@ function createLspRpc(deps) {
 	/** 解析会话与工作区根（失败 → null + error）。 */
 	const rootOf = async (sessionId) => {
 		const session = sessionOf(ctx, sessionId);
-		if (!session) return { err: "会话不存在" };
-		if (!cwdOf(session)) return { err: "会话无工作区" };
+		if (!session) return { err: SESSION_MISSING_ERROR };
+		if (!cwdOf(session)) return { err: SESSION_NO_WORKSPACE_ERROR };
 		try {
 			return {
 				root: await searchRoot(ctx, session),
@@ -19695,9 +19969,9 @@ function foregroundHelperArgv(processName) {
 /** host 会话/工作区前置（对齐 rpc.ts requireSession 的错误文案）。 */
 async function requireSvnSession(ctx, sessionId) {
 	const session = sessionOf(ctx, sessionId);
-	if (!session) return { err: "会话不存在" };
+	if (!session) return { err: SESSION_MISSING_ERROR };
 	const cwd = cwdOf(session);
-	if (!cwd) return { err: "会话无工作区" };
+	if (!cwd) return { err: SESSION_NO_WORKSPACE_ERROR };
 	return { cwd };
 }
 /** 工作区相对路径归一（'' 合法 = 工作区根；非法含越界/绝对路径返回 null）。 */