@vue/language-server 3.0.1 → 3.0.2

package/index.js

@@ -7,8 +7,8 @@ const language_core_1 = require("@vue/language-core");
 const language_service_1 = require("@vue/language-service");
 const ts = require("typescript");
 const vscode_uri_1 = require("vscode-uri");
-const reactionsAnalyze_1 = require("./lib/reactionsAnalyze");
-const reactionsAnalyzeLS_1 = require("./lib/reactionsAnalyzeLS");
+const reactivityAnalyze_1 = require("./lib/reactivityAnalyze");
+const reactivityAnalyzeLS_1 = require("./lib/reactivityAnalyzeLS");
 const connection = (0, node_1.createConnection)();
 const server = (0, node_1.createServer)(connection);
 const tsserverRequestHandlers = new Map();
@@ -109,13 +109,20 @@ connection.onInitialize(params => {
                 filesToSearch: [fileName],
             });
         },
+        getEncodedSemanticClassifications(fileName, span) {
+            return sendTsServerRequest('_vue:encodedSemanticClassifications-full', {
+                file: fileName,
+                ...span,
+                format: ts.SemanticClassificationFormat.TwentyTwenty,
+            });
+        },
         async getQuickInfoAtPosition(fileName, { line, character }) {
             const result = await sendTsServerRequest('_vue:' + ts.server.protocol.CommandTypes.Quickinfo, {
                 file: fileName,
                 line: line + 1,
                 offset: character + 1,
             });
-            return ts.displayPartsToString(result?.displayParts ?? []);
+            return result?.displayString;
         },
     }));
     async function sendTsServerRequest(command, args) {
@@ -126,12 +133,9 @@ connection.onInitialize(params => {
         });
     }
     function createProjectLanguageService(server, tsconfig) {
-        const commonLine = tsconfig
+        const commonLine = tsconfig && !ts.server.isInferredProjectName(tsconfig)
             ? (0, language_core_1.createParsedCommandLine)(ts, ts.sys, tsconfig)
-            : {
-                options: ts.getDefaultCompilerOptions(),
-                vueOptions: (0, language_core_1.getDefaultCompilerOptions)(),
-            };
+            : (0, language_core_1.createParsedCommandLineByJson)(ts, ts.sys, ts.sys.getCurrentDirectory(), {});
         const language = (0, language_core_1.createLanguage)([
             {
                 getLanguageId: uri => server.documents.get(uri)?.languageId,
@@ -180,7 +184,7 @@ connection.onRequest('vue/interpolationRanges', async (params) => {
     return [];
 });
 const cacheDocuments = new Map();
-connection.onRequest('vue/reactionsAnalyze', async (params) => {
+connection.onRequest('vue/reactivityAnalyze', async (params) => {
     if (params.syncDocument) {
         const document = language_server_1.TextDocument.create(params.textDocument.uri, params.syncDocument.languageId, 0, params.syncDocument.content);
         const snapshot = ts.ScriptSnapshot.fromString(params.syncDocument.content);
@@ -225,8 +229,8 @@ connection.onRequest('vue/reactionsAnalyze', async (params) => {
         document = languageService.context.documents.get(embeddedUri, serviceScript.code.languageId, serviceScript.code.snapshot);
         snapshot = serviceScript.code.snapshot;
     }
-    const { languageService: tsLs, fileName } = (0, reactionsAnalyzeLS_1.getLanguageService)(ts, snapshot, document.languageId);
-    const result = (0, reactionsAnalyze_1.analyze)(ts, tsLs, fileName, offset);
+    const { languageService: tsLs, fileName } = (0, reactivityAnalyzeLS_1.getLanguageService)(ts, snapshot, document.languageId);
+    const result = (0, reactivityAnalyze_1.analyze)(ts, tsLs, fileName, offset);
     if (!result) {
         return;
     }

package/lib/reactivityAnalyze.d.ts

@@ -0,0 +1,27 @@
+import type * as ts from 'typescript';
+declare const enum TrackKind {
+    AccessDotValue = 0,
+    AccessAnyValue = 1,
+    Call = 2
+}
+interface SignalNode {
+    bindingInfo?: {
+        isRef: boolean;
+        name: ts.BindingName;
+        trackKinds: TrackKind[];
+    };
+    trackInfo?: {
+        depsHandler: ts.Node;
+        needToUse: boolean;
+    };
+    sideEffectInfo?: {
+        isEffect: boolean;
+        handler: ts.Node;
+    };
+}
+export declare function analyze(ts: typeof import('typescript'), languageService: ts.LanguageService, fileName: string, position: number): {
+    sourceFile: ts.SourceFile;
+    subscribers: SignalNode[];
+    dependencies: ts.Node[];
+} | undefined;
+export {};

package/lib/reactivityAnalyze.js

@@ -0,0 +1,460 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.analyze = analyze;
+const language_core_1 = require("@vue/language-core");
+function analyze(ts, languageService, fileName, position) {
+    const sourceFile = languageService.getProgram().getSourceFile(fileName);
+    const { signals, dotValueAccesses, dotAnyAccesses, functionCalls } = collect(ts, sourceFile);
+    let signal = findSignalByNamePosition(position);
+    if (!signal) {
+        signal = findEffectByEffectHandlerPosition(position);
+        if (signal?.bindingInfo) {
+            position = signal.bindingInfo.name.getStart(sourceFile);
+        }
+    }
+    if (!signal) {
+        return;
+    }
+    const subscribers = signal.bindingInfo
+        ? findSubscribers(signal.bindingInfo.name, signal.bindingInfo.trackKinds)
+        : [];
+    const dependencies = signal
+        ? findDependencies(signal)
+        : [];
+    if ((!signal.sideEffectInfo?.isEffect && !subscribers.length)
+        || (!signal.bindingInfo?.isRef && !dependencies.length)) {
+        return;
+    }
+    return {
+        sourceFile,
+        subscribers: [...new Set(subscribers)],
+        dependencies: [...new Set(dependencies)],
+    };
+    function findDependencies(signal, visited = new Set()) {
+        if (visited.has(signal)) {
+            return [];
+        }
+        visited.add(signal);
+        const nodes = [];
+        let hasRef = signal.bindingInfo?.isRef ?? false;
+        if (signal.trackInfo) {
+            const { needToUse } = signal.trackInfo;
+            visit(signal.trackInfo.depsHandler, needToUse);
+            signal.trackInfo.depsHandler.forEachChild(child => visit(child, needToUse));
+        }
+        if (!hasRef) {
+            return [];
+        }
+        return nodes;
+        function visit(node, needToUse, parentIsPropertyAccess = false) {
+            if (!needToUse) {
+                if (!parentIsPropertyAccess && ts.isIdentifier(node)) {
+                    const definition = languageService.getDefinitionAtPosition(fileName, node.getStart(sourceFile));
+                    for (const info of definition ?? []) {
+                        if (info.fileName !== fileName) {
+                            continue;
+                        }
+                        const signal = findSignalByNamePosition(info.textSpan.start);
+                        if (!signal) {
+                            continue;
+                        }
+                        if (signal.bindingInfo) {
+                            nodes.push(signal.bindingInfo.name);
+                            hasRef ||= signal.bindingInfo.isRef;
+                        }
+                        if (signal.sideEffectInfo) {
+                            nodes.push(signal.sideEffectInfo.handler);
+                        }
+                        const deps = findDependencies(signal, visited);
+                        nodes.push(...deps);
+                        hasRef ||= deps.length > 0;
+                    }
+                }
+            }
+            else if (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node) || ts.isCallExpression(node)) {
+                const definition = languageService.getDefinitionAtPosition(fileName, node.expression.getStart(sourceFile));
+                for (const info of definition ?? []) {
+                    if (info.fileName !== fileName) {
+                        continue;
+                    }
+                    const signal = findSignalByNamePosition(info.textSpan.start);
+                    if (!signal) {
+                        continue;
+                    }
+                    const oldSize = nodes.length;
+                    if (signal.bindingInfo) {
+                        for (const trackKind of signal.bindingInfo.trackKinds) {
+                            if (ts.isPropertyAccessExpression(node)) {
+                                if (trackKind === 0 /* TrackKind.AccessDotValue */ && node.name.text === 'value') {
+                                    nodes.push(signal.bindingInfo.name);
+                                    hasRef ||= signal.bindingInfo.isRef;
+                                }
+                                if (trackKind === 1 /* TrackKind.AccessAnyValue */ && node.name.text !== '') {
+                                    nodes.push(signal.bindingInfo.name);
+                                    hasRef ||= signal.bindingInfo.isRef;
+                                }
+                            }
+                            else if (ts.isElementAccessExpression(node)) {
+                                if (trackKind === 1 /* TrackKind.AccessAnyValue */) {
+                                    nodes.push(signal.bindingInfo.name);
+                                    hasRef ||= signal.bindingInfo.isRef;
+                                }
+                            }
+                            else if (ts.isCallExpression(node)) {
+                                if (trackKind === 2 /* TrackKind.Call */) {
+                                    nodes.push(signal.bindingInfo.name);
+                                    hasRef ||= signal.bindingInfo.isRef;
+                                }
+                            }
+                        }
+                    }
+                    const signalDetected = nodes.length > oldSize;
+                    if (signalDetected) {
+                        if (signal.sideEffectInfo) {
+                            nodes.push(signal.sideEffectInfo.handler);
+                        }
+                        const deps = findDependencies(signal, visited);
+                        nodes.push(...deps);
+                        hasRef ||= deps.length > 0;
+                    }
+                }
+            }
+            node.forEachChild(child => visit(child, needToUse, ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node)));
+        }
+    }
+    function findSubscribers(refName, trackKinds, visited = new Set()) {
+        return (0, language_core_1.findBindingVars)(ts, refName, sourceFile)
+            .map(binding => findSubscribersWorker(binding, trackKinds, visited))
+            .flat();
+    }
+    function findSubscribersWorker(refName, trackKinds, visited = new Set()) {
+        if (visited.has(refName.start)) {
+            return [];
+        }
+        visited.add(refName.start);
+        const references = languageService.findReferences(fileName, refName.start);
+        if (!references) {
+            return [];
+        }
+        const result = [];
+        for (const reference of references) {
+            for (const reference2 of reference.references) {
+                if (reference2.fileName !== fileName) {
+                    continue;
+                }
+                const effect = findEffectByDepsHandlerPosition(reference2.textSpan.start);
+                if (effect?.trackInfo) {
+                    if (effect.trackInfo.needToUse) {
+                        let match = false;
+                        for (const trackKind of trackKinds) {
+                            if (trackKind === 1 /* TrackKind.AccessAnyValue */) {
+                                match = dotAnyAccesses.has(reference2.textSpan.start + reference2.textSpan.length);
+                            }
+                            else if (trackKind === 0 /* TrackKind.AccessDotValue */) {
+                                match = dotValueAccesses.has(reference2.textSpan.start + reference2.textSpan.length);
+                            }
+                            else if (trackKind === 2 /* TrackKind.Call */) {
+                                match = functionCalls.has(reference2.textSpan.start + reference2.textSpan.length);
+                            }
+                            if (match) {
+                                break;
+                            }
+                        }
+                        if (!match) {
+                            continue;
+                        }
+                    }
+                    let hasEffect = effect.sideEffectInfo?.isEffect;
+                    if (effect.bindingInfo) {
+                        const subs = findSubscribers(effect.bindingInfo.name, effect.bindingInfo.trackKinds, visited);
+                        result.push(...subs);
+                        hasEffect ||= subs.length > 0;
+                    }
+                    if (hasEffect) {
+                        result.push(effect);
+                    }
+                }
+            }
+        }
+        return result;
+    }
+    function findSignalByNamePosition(position) {
+        return signals.find(ref => ref.bindingInfo && ref.bindingInfo.name.getStart(sourceFile) <= position
+            && ref.bindingInfo.name.getEnd() >= position);
+    }
+    function findEffectByEffectHandlerPosition(position) {
+        return signals.filter(ref => ref.sideEffectInfo && ref.sideEffectInfo.handler.getStart(sourceFile) <= position
+            && ref.sideEffectInfo.handler.getEnd() >= position).sort((a, b) => a.sideEffectInfo.handler.getWidth(sourceFile) - b.sideEffectInfo.handler.getWidth(sourceFile))[0];
+    }
+    function findEffectByDepsHandlerPosition(position) {
+        return signals.filter(ref => ref.trackInfo && ref.trackInfo.depsHandler.getStart(sourceFile) <= position
+            && ref.trackInfo.depsHandler.getEnd() >= position).sort((a, b) => a.trackInfo.depsHandler.getWidth(sourceFile) - b.trackInfo.depsHandler.getWidth(sourceFile))[0];
+    }
+}
+function collect(ts, sourceFile) {
+    const signals = [];
+    const dotValueAccesses = new Set();
+    const dotAnyAccesses = new Set();
+    const functionCalls = new Set();
+    sourceFile.forEachChild(function visit(node) {
+        if (ts.isVariableDeclaration(node)) {
+            if (node.initializer && ts.isCallExpression(node.initializer)) {
+                const call = node.initializer;
+                if (ts.isIdentifier(call.expression)) {
+                    const callName = call.expression.escapedText;
+                    if (callName === 'ref' || callName === 'shallowRef' || callName === 'toRef' || callName === 'useTemplateRef'
+                        || callName === 'defineModel') {
+                        signals.push({
+                            bindingInfo: {
+                                isRef: true,
+                                name: node.name,
+                                trackKinds: [0 /* TrackKind.AccessDotValue */],
+                            },
+                        });
+                    }
+                    else if (callName === 'reactive' || callName === 'shallowReactive' || callName === 'defineProps'
+                        || callName === 'withDefaults') {
+                        signals.push({
+                            bindingInfo: {
+                                isRef: true,
+                                name: node.name,
+                                trackKinds: [1 /* TrackKind.AccessAnyValue */],
+                            },
+                        });
+                    }
+                    // TODO: toRefs
+                }
+            }
+        }
+        else if (ts.isFunctionDeclaration(node)) {
+            if (node.name && node.body) {
+                signals.push({
+                    bindingInfo: {
+                        isRef: false,
+                        name: node.name,
+                        trackKinds: [2 /* TrackKind.Call */],
+                    },
+                    trackInfo: {
+                        depsHandler: node.body,
+                        needToUse: true,
+                    },
+                    sideEffectInfo: {
+                        isEffect: false,
+                        handler: node.body,
+                    },
+                });
+            }
+        }
+        else if (ts.isVariableStatement(node)) {
+            for (const declaration of node.declarationList.declarations) {
+                const name = declaration.name;
+                const callback = declaration.initializer;
+                if (callback && ts.isIdentifier(name) && (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback))) {
+                    signals.push({
+                        bindingInfo: {
+                            isRef: false,
+                            name: name,
+                            trackKinds: [2 /* TrackKind.Call */],
+                        },
+                        trackInfo: {
+                            depsHandler: callback,
+                            needToUse: true,
+                        },
+                        sideEffectInfo: {
+                            isEffect: false,
+                            handler: callback,
+                        },
+                    });
+                }
+            }
+        }
+        else if (ts.isParameter(node)) {
+            if (node.type && ts.isTypeReferenceNode(node.type)) {
+                const typeName = node.type.typeName.getText(sourceFile);
+                if (typeName.endsWith('Ref')) {
+                    signals.push({
+                        bindingInfo: {
+                            isRef: true,
+                            name: node.name,
+                            trackKinds: [0 /* TrackKind.AccessDotValue */],
+                        },
+                    });
+                }
+            }
+        }
+        else if (ts.isCallExpression(node) && ts.isIdentifier(node.expression)) {
+            const call = node;
+            const callName = node.expression.escapedText;
+            if ((callName === 'effect' || callName === 'watchEffect') && call.arguments.length) {
+                const callback = call.arguments[0];
+                if (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) {
+                    signals.push({
+                        trackInfo: {
+                            depsHandler: callback.body,
+                            needToUse: true,
+                        },
+                        sideEffectInfo: {
+                            isEffect: true,
+                            handler: callback.body,
+                        },
+                    });
+                }
+            }
+            if (callName === 'watch' && call.arguments.length >= 2) {
+                const depsCallback = call.arguments[0];
+                const effectCallback = call.arguments[1];
+                if (ts.isArrowFunction(effectCallback) || ts.isFunctionExpression(effectCallback)) {
+                    if (ts.isArrowFunction(depsCallback) || ts.isFunctionExpression(depsCallback)) {
+                        signals.push({
+                            trackInfo: {
+                                depsHandler: depsCallback.body,
+                                needToUse: true,
+                            },
+                            sideEffectInfo: {
+                                isEffect: true,
+                                handler: effectCallback.body,
+                            },
+                        });
+                    }
+                    else {
+                        signals.push({
+                            trackInfo: {
+                                depsHandler: depsCallback,
+                                needToUse: false,
+                            },
+                            sideEffectInfo: {
+                                isEffect: true,
+                                handler: effectCallback.body,
+                            },
+                        });
+                    }
+                }
+            }
+            else if ((0, language_core_1.hyphenateAttr)(callName).startsWith('use-')) {
+                signals.push({
+                    bindingInfo: ts.isVariableDeclaration(call.parent)
+                        ? {
+                            isRef: true,
+                            name: call.parent.name,
+                            trackKinds: [1 /* TrackKind.AccessAnyValue */, 2 /* TrackKind.Call */],
+                        }
+                        : undefined,
+                    trackInfo: {
+                        depsHandler: call,
+                        needToUse: false,
+                    },
+                });
+            }
+            else if ((callName === 'computed' || (0, language_core_1.hyphenateAttr)(callName).endsWith('-computed')) && call.arguments.length) {
+                const arg = call.arguments[0];
+                if (ts.isArrowFunction(arg) || ts.isFunctionExpression(arg)) {
+                    signals.push({
+                        bindingInfo: ts.isVariableDeclaration(call.parent)
+                            ? {
+                                isRef: true,
+                                name: call.parent.name,
+                                trackKinds: [0 /* TrackKind.AccessDotValue */],
+                            }
+                            : undefined,
+                        trackInfo: {
+                            depsHandler: arg.body,
+                            needToUse: true,
+                        },
+                        sideEffectInfo: {
+                            isEffect: true,
+                            handler: arg.body,
+                        },
+                    });
+                }
+                else if (ts.isIdentifier(arg)) {
+                    signals.push({
+                        bindingInfo: ts.isVariableDeclaration(call.parent)
+                            ? {
+                                isRef: true,
+                                name: call.parent.name,
+                                trackKinds: [0 /* TrackKind.AccessDotValue */],
+                            }
+                            : undefined,
+                        trackInfo: {
+                            depsHandler: arg,
+                            needToUse: false,
+                        },
+                    });
+                }
+                else if (ts.isObjectLiteralExpression(arg)) {
+                    for (const prop of arg.properties) {
+                        if (prop.name?.getText(sourceFile) === 'get') {
+                            if (ts.isPropertyAssignment(prop)) {
+                                const callback = prop.initializer;
+                                if (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) {
+                                    signals.push({
+                                        bindingInfo: ts.isVariableDeclaration(call.parent)
+                                            ? {
+                                                isRef: true,
+                                                name: call.parent.name,
+                                                trackKinds: [0 /* TrackKind.AccessDotValue */],
+                                            }
+                                            : undefined,
+                                        trackInfo: {
+                                            depsHandler: callback.body,
+                                            needToUse: true,
+                                        },
+                                        sideEffectInfo: {
+                                            isEffect: true,
+                                            handler: callback.body,
+                                        },
+                                    });
+                                }
+                            }
+                            else if (ts.isMethodDeclaration(prop) && prop.body) {
+                                signals.push({
+                                    bindingInfo: ts.isVariableDeclaration(call.parent)
+                                        ? {
+                                            isRef: true,
+                                            name: call.parent.name,
+                                            trackKinds: [0 /* TrackKind.AccessDotValue */],
+                                        }
+                                        : undefined,
+                                    trackInfo: {
+                                        depsHandler: prop.body,
+                                        needToUse: true,
+                                    },
+                                    sideEffectInfo: {
+                                        isEffect: true,
+                                        handler: prop.body,
+                                    },
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        node.forEachChild(visit);
+    });
+    sourceFile.forEachChild(function visit(node) {
+        if (ts.isPropertyAccessExpression(node)) {
+            if (node.name.text === 'value') {
+                dotValueAccesses.add(node.expression.getEnd());
+                dotAnyAccesses.add(node.expression.getEnd());
+            }
+            else if (node.name.text !== '') {
+                dotAnyAccesses.add(node.expression.getEnd());
+            }
+        }
+        else if (ts.isElementAccessExpression(node)) {
+            dotAnyAccesses.add(node.expression.getEnd());
+        }
+        else if (ts.isCallExpression(node)) {
+            functionCalls.add(node.expression.getEnd());
+        }
+        node.forEachChild(visit);
+    });
+    return {
+        signals,
+        dotValueAccesses,
+        dotAnyAccesses,
+        functionCalls,
+    };
+}
+//# sourceMappingURL=reactivityAnalyze.js.map

package/lib/reactivityAnalyzeLS.d.ts

@@ -0,0 +1,5 @@
+import type * as ts from 'typescript';
+export declare function getLanguageService(ts: typeof import('typescript'), snapshot: ts.IScriptSnapshot, languageId: string): {
+    languageService: ts.LanguageService;
+    fileName: string;
+};

package/lib/reactivityAnalyzeLS.js

@@ -0,0 +1,40 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getLanguageService = getLanguageService;
+let currentProjectVersion = -1;
+let currentFileName = '';
+let currentSnapshot;
+let languageService;
+const host = {
+    getProjectVersion: () => currentProjectVersion.toString(),
+    getScriptFileNames: () => [currentFileName],
+    getScriptVersion: () => currentProjectVersion.toString(),
+    getScriptSnapshot: fileName => fileName === currentFileName ? currentSnapshot : undefined,
+    getCompilationSettings: () => ({
+        allowJs: true,
+    }),
+    getCurrentDirectory: () => '',
+    getDefaultLibFileName: () => '',
+    readFile: () => undefined,
+    fileExists: fileName => fileName === currentFileName,
+};
+// TODO: share with volar-service-typescript
+function getLanguageService(ts, snapshot, languageId) {
+    if (currentSnapshot !== snapshot) {
+        currentSnapshot = snapshot;
+        currentFileName = '/tmp.' + (languageId === 'javascript'
+            ? 'js'
+            : languageId === 'typescriptreact'
+                ? 'tsx'
+                : languageId === 'javascriptreact'
+                    ? 'jsx'
+                    : 'ts');
+        currentProjectVersion++;
+    }
+    languageService ??= ts.createLanguageService(host);
+    return {
+        languageService,
+        fileName: currentFileName,
+    };
+}
+//# sourceMappingURL=reactivityAnalyzeLS.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@vue/language-server",
-	"version": "3.0.1",
+	"version": "3.0.2",
 	"license": "MIT",
 	"files": [
 		"**/*.js",
@@ -16,10 +16,10 @@
 		"directory": "packages/language-server"
 	},
 	"dependencies": {
-		"@volar/language-server": "2.4.17",
-		"@vue/language-core": "3.0.1",
-		"@vue/language-service": "3.0.1",
-		"@vue/typescript-plugin": "3.0.1",
+		"@volar/language-server": "2.4.19",
+		"@vue/language-core": "3.0.2",
+		"@vue/language-service": "3.0.2",
+		"@vue/typescript-plugin": "3.0.2",
 		"vscode-uri": "^3.0.8"
 	},
 	"peerDependencies": {
@@ -27,7 +27,7 @@
 	},
 	"devDependencies": {
 		"@typescript/server-harness": "latest",
-		"@volar/test-utils": "2.4.17"
+		"@volar/test-utils": "2.4.19"
 	},
-	"gitHead": "43884409838dfdce44de51f6622926ac6ddd7318"
+	"gitHead": "7343119e9ca4f6a54f63b57f448f15df4b592a9a"
 }