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);