@@ -2,32 +2,32 @@ import type { TextEditor } from "vscode";
22import { ProgressLocation , window } from "vscode" ;
33import type { StreamInfo } from "vscode-languageclient/node" ;
44import { LanguageClient , NotificationType } from "vscode-languageclient/node" ;
5- import { shouldDebugIdeServer , spawnServer } from "../codeql-cli/cli" ;
5+ import { shouldDebugLanguageServer , spawnServer } from "../codeql-cli/cli" ;
66import type { QueryServerConfig } from "../config" ;
7- import { ideServerLogger } from "../common/logging/vscode" ;
7+ import { languageServerLogger } from "../common/logging/vscode" ;
88
99/**
10- * Managing the language server for CodeQL.
10+ * Managing the language client and corresponding server process for CodeQL.
1111 */
1212
1313/**
14- * Create a new CodeQL language server.
14+ * Create a new CodeQL language client connected to a language server.
1515 */
16- export function createIDEServer (
16+ export function createLanguageClient (
1717 config : QueryServerConfig ,
1818) : CodeQLLanguageClient {
1919 return new CodeQLLanguageClient ( config ) ;
2020}
2121
2222/**
23- * CodeQL language server .
23+ * CodeQL language client .
2424 */
2525export class CodeQLLanguageClient extends LanguageClient {
2626 constructor ( config : QueryServerConfig ) {
2727 super (
2828 "codeQL.lsp" ,
2929 "CodeQL Language Server" ,
30- ( ) => spawnIdeServer ( config ) ,
30+ ( ) => spawnLanguageServer ( config ) ,
3131 {
3232 documentSelector : [
3333 { language : "ql" , scheme : "file" } ,
@@ -38,7 +38,7 @@ export class CodeQLLanguageClient extends LanguageClient {
3838 configurationSection : "codeQL" ,
3939 } ,
4040 // Ensure that language server exceptions are logged to the same channel as its output.
41- outputChannel : ideServerLogger . outputChannel ,
41+ outputChannel : languageServerLogger . outputChannel ,
4242 } ,
4343 true ,
4444 ) ;
@@ -55,12 +55,14 @@ export class CodeQLLanguageClient extends LanguageClient {
5555}
5656
5757/** Starts a new CodeQL language server process, sending progress messages to the status bar. */
58- async function spawnIdeServer ( config : QueryServerConfig ) : Promise < StreamInfo > {
58+ async function spawnLanguageServer (
59+ config : QueryServerConfig ,
60+ ) : Promise < StreamInfo > {
5961 return window . withProgress (
6062 { title : "CodeQL language server" , location : ProgressLocation . Window } ,
6163 async ( progressReporter , _ ) => {
6264 const args = [ "--check-errors" , "ON_CHANGE" ] ;
63- if ( shouldDebugIdeServer ( ) ) {
65+ if ( shouldDebugLanguageServer ( ) ) {
6466 args . push (
6567 "-J=-agentlib:jdwp=transport=dt_socket,address=localhost:9009,server=y,suspend=n,quiet=y" ,
6668 ) ;
@@ -70,11 +72,11 @@ async function spawnIdeServer(config: QueryServerConfig): Promise<StreamInfo> {
7072 "CodeQL language server" ,
7173 [ "execute" , "language-server" ] ,
7274 args ,
73- ideServerLogger ,
75+ languageServerLogger ,
7476 ( data ) =>
75- ideServerLogger . log ( data . toString ( ) , { trailingNewline : false } ) ,
77+ languageServerLogger . log ( data . toString ( ) , { trailingNewline : false } ) ,
7678 ( data ) =>
77- ideServerLogger . log ( data . toString ( ) , { trailingNewline : false } ) ,
79+ languageServerLogger . log ( data . toString ( ) , { trailingNewline : false } ) ,
7880 progressReporter ,
7981 ) ;
8082 return { writer : child . stdin ! , reader : child . stdout ! } ;
0 commit comments