|
| 1 | +import { CodeQLCliServer } from "./cli"; |
| 2 | +import { Uri, window } from "vscode"; |
| 3 | +import { isQueryLanguage, QueryLanguage } from "../common/query-language"; |
| 4 | +import { getOnDiskWorkspaceFolders } from "../common/vscode/workspace-folders"; |
| 5 | +import { extLogger } from "../common"; |
| 6 | +import { UserCancellationException } from "../common/vscode/progress"; |
| 7 | +import { showAndLogErrorMessage } from "../common/vscode/log"; |
| 8 | + |
| 9 | +/** |
| 10 | + * Finds the language that a query targets. |
| 11 | + * If it can't be autodetected, prompt the user to specify the language manually. |
| 12 | + */ |
| 13 | +export async function findLanguage( |
| 14 | + cliServer: CodeQLCliServer, |
| 15 | + queryUri: Uri | undefined, |
| 16 | +): Promise<QueryLanguage | undefined> { |
| 17 | + const uri = queryUri || window.activeTextEditor?.document.uri; |
| 18 | + if (uri !== undefined) { |
| 19 | + try { |
| 20 | + const queryInfo = await cliServer.resolveQueryByLanguage( |
| 21 | + getOnDiskWorkspaceFolders(), |
| 22 | + uri, |
| 23 | + ); |
| 24 | + const language = Object.keys(queryInfo.byLanguage)[0]; |
| 25 | + void extLogger.log(`Detected query language: ${language}`); |
| 26 | + |
| 27 | + if (isQueryLanguage(language)) { |
| 28 | + return language; |
| 29 | + } |
| 30 | + |
| 31 | + void extLogger.log( |
| 32 | + "Query language is unsupported. Select language manually.", |
| 33 | + ); |
| 34 | + } catch (e) { |
| 35 | + void extLogger.log( |
| 36 | + "Could not autodetect query language. Select language manually.", |
| 37 | + ); |
| 38 | + } |
| 39 | + } |
| 40 | + |
| 41 | + // will be undefined if user cancels the quick pick. |
| 42 | + return await askForLanguage(cliServer, false); |
| 43 | +} |
| 44 | + |
| 45 | +export async function askForLanguage( |
| 46 | + cliServer: CodeQLCliServer, |
| 47 | + throwOnEmpty = true, |
| 48 | +): Promise<QueryLanguage | undefined> { |
| 49 | + const language = await window.showQuickPick( |
| 50 | + await cliServer.getSupportedLanguages(), |
| 51 | + { |
| 52 | + placeHolder: "Select target language for your query", |
| 53 | + ignoreFocusOut: true, |
| 54 | + }, |
| 55 | + ); |
| 56 | + if (!language) { |
| 57 | + // This only happens if the user cancels the quick pick. |
| 58 | + if (throwOnEmpty) { |
| 59 | + throw new UserCancellationException("Cancelled."); |
| 60 | + } else { |
| 61 | + void showAndLogErrorMessage( |
| 62 | + "Language not found. Language must be specified manually.", |
| 63 | + ); |
| 64 | + } |
| 65 | + return undefined; |
| 66 | + } |
| 67 | + |
| 68 | + if (!isQueryLanguage(language)) { |
| 69 | + void showAndLogErrorMessage( |
| 70 | + `Language '${language}' is not supported. Only languages ${Object.values( |
| 71 | + QueryLanguage, |
| 72 | + ).join(", ")} are supported.`, |
| 73 | + ); |
| 74 | + return undefined; |
| 75 | + } |
| 76 | + |
| 77 | + return language; |
| 78 | +} |
0 commit comments