Lines Matching refs:serverSettingName
40 let serverSettingName: string; variable
42 serverSettingName = 'server_path';
44 serverSettingName = 'pdll_server_path';
46 serverSettingName = 'tablegen_server_path';
67 workspaceFolder, serverSettingName, document.languageId,
159 serverSettingName: string, languageName: string,
179 workspaceFolder, outputChannel, serverSettingName, languageName,
181 configsToWatch.push(serverSettingName);
197 serverSettingName: string, languageName: string,
205 await this.resolveServerPath(serverSettingName, workspaceFolder);
218 serverSettingName}', please ensure the path is correct`,
224 {openToSide : false, query : `mlir.${serverSettingName}`});
291 static getDefaultServerFilename(serverSettingName: string): string {
292 if (serverSettingName === 'pdll_server_path') {
295 if (serverSettingName === 'server_path') {
298 if (serverSettingName === 'tablegen_server_path') {
347 async resolveServerPath(serverSettingName: string,
350 const serverPath = config.get<string>(serverSettingName, workspaceFolder);
351 const defaultPath = MLIRContext.getDefaultServerFilename(serverSettingName);