2018-10-07 20:59:02 +00:00
|
|
|
import * as vscode from 'vscode';
|
2020-12-30 09:17:25 +00:00
|
|
|
import { Env } from './client';
|
2020-03-17 11:44:31 +00:00
|
|
|
import { log } from "./util";
|
2019-01-18 10:59:08 +00:00
|
|
|
|
2020-03-17 11:44:31 +00:00
|
|
|
export type UpdatesChannel = "stable" | "nightly";
|
2020-03-09 17:57:13 +00:00
|
|
|
|
|
|
|
export const NIGHTLY_TAG = "nightly";
|
2020-03-23 23:00:57 +00:00
|
|
|
|
2020-07-02 19:08:33 +00:00
|
|
|
export type RunnableEnvCfg = undefined | Record<string, string> | { mask?: string; env: Record<string, string> }[];
|
2020-07-02 16:47:40 +00:00
|
|
|
|
2018-10-07 20:59:02 +00:00
|
|
|
export class Config {
|
2020-03-09 17:57:13 +00:00
|
|
|
readonly extensionId = "matklad.rust-analyzer";
|
|
|
|
|
2020-05-25 00:47:33 +00:00
|
|
|
readonly rootSection = "rust-analyzer";
|
2020-03-09 17:57:13 +00:00
|
|
|
private readonly requiresReloadOpts = [
|
2020-03-14 00:00:34 +00:00
|
|
|
"serverPath",
|
2020-12-30 09:17:25 +00:00
|
|
|
"server",
|
2020-04-02 10:47:58 +00:00
|
|
|
"cargo",
|
2020-04-12 16:05:33 +00:00
|
|
|
"procMacro",
|
2020-04-02 10:47:58 +00:00
|
|
|
"files",
|
2020-03-19 21:56:32 +00:00
|
|
|
"highlighting",
|
2020-03-17 11:44:31 +00:00
|
|
|
"updates.channel",
|
2020-06-03 11:15:54 +00:00
|
|
|
"lens", // works as lens.*
|
|
|
|
"hoverActions", // works as hoverActions.*
|
2020-02-13 20:48:20 +00:00
|
|
|
]
|
2020-03-09 17:57:13 +00:00
|
|
|
.map(opt => `${this.rootSection}.${opt}`);
|
2020-02-13 20:48:20 +00:00
|
|
|
|
2020-03-24 08:31:42 +00:00
|
|
|
readonly package: {
|
|
|
|
version: string;
|
2020-03-25 18:56:48 +00:00
|
|
|
releaseTag: string | null;
|
2020-03-24 08:31:42 +00:00
|
|
|
enableProposedApi: boolean | undefined;
|
|
|
|
} = vscode.extensions.getExtension(this.extensionId)!.packageJSON;
|
2020-02-16 01:08:36 +00:00
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
readonly globalStoragePath: string;
|
2020-02-13 20:48:20 +00:00
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
constructor(ctx: vscode.ExtensionContext) {
|
|
|
|
this.globalStoragePath = ctx.globalStoragePath;
|
|
|
|
vscode.workspace.onDidChangeConfiguration(this.onDidChangeConfiguration, this, ctx.subscriptions);
|
|
|
|
this.refreshLogging();
|
2020-02-13 21:05:32 +00:00
|
|
|
}
|
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
private refreshLogging() {
|
|
|
|
log.setEnabled(this.traceExtension);
|
2020-07-05 14:42:52 +00:00
|
|
|
log.info("Extension version:", this.package.version);
|
|
|
|
|
|
|
|
const cfg = Object.entries(this.cfg).filter(([_, val]) => !(val instanceof Function));
|
|
|
|
log.info("Using configuration", Object.fromEntries(cfg));
|
2020-02-13 20:48:20 +00:00
|
|
|
}
|
2020-02-08 02:22:44 +00:00
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
private async onDidChangeConfiguration(event: vscode.ConfigurationChangeEvent) {
|
|
|
|
this.refreshLogging();
|
2020-02-13 20:48:20 +00:00
|
|
|
|
2020-03-09 17:57:13 +00:00
|
|
|
const requiresReloadOpt = this.requiresReloadOpts.find(
|
2020-02-13 20:48:20 +00:00
|
|
|
opt => event.affectsConfiguration(opt)
|
|
|
|
);
|
2018-10-07 20:59:02 +00:00
|
|
|
|
2020-02-13 20:48:20 +00:00
|
|
|
if (!requiresReloadOpt) return;
|
2019-02-07 10:37:36 +00:00
|
|
|
|
2020-02-13 20:48:20 +00:00
|
|
|
const userResponse = await vscode.window.showInformationMessage(
|
|
|
|
`Changing "${requiresReloadOpt}" requires a reload`,
|
|
|
|
"Reload now"
|
|
|
|
);
|
|
|
|
|
|
|
|
if (userResponse === "Reload now") {
|
2020-03-17 11:44:31 +00:00
|
|
|
await vscode.commands.executeCommand("workbench.action.reloadWindow");
|
2020-02-08 22:27:04 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-13 20:48:20 +00:00
|
|
|
// We don't do runtime config validation here for simplicity. More on stackoverflow:
|
|
|
|
// https://stackoverflow.com/questions/60135780/what-is-the-best-way-to-type-check-the-configuration-for-vscode-extension
|
2020-02-08 22:27:04 +00:00
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
private get cfg(): vscode.WorkspaceConfiguration {
|
|
|
|
return vscode.workspace.getConfiguration(this.rootSection);
|
|
|
|
}
|
|
|
|
|
2020-04-11 12:23:07 +00:00
|
|
|
/**
|
|
|
|
* Beware that postfix `!` operator erases both `null` and `undefined`.
|
|
|
|
* This is why the following doesn't work as expected:
|
|
|
|
*
|
|
|
|
* ```ts
|
|
|
|
* const nullableNum = vscode
|
|
|
|
* .workspace
|
|
|
|
* .getConfiguration
|
|
|
|
* .getConfiguration("rust-analyer")
|
|
|
|
* .get<number | null>(path)!;
|
|
|
|
*
|
|
|
|
* // What happens is that type of `nullableNum` is `number` but not `null | number`:
|
|
|
|
* const fullFledgedNum: number = nullableNum;
|
|
|
|
* ```
|
|
|
|
* So this getter handles this quirk by not requiring the caller to use postfix `!`
|
|
|
|
*/
|
|
|
|
private get<T>(path: string): T {
|
|
|
|
return this.cfg.get<T>(path)!;
|
|
|
|
}
|
|
|
|
|
2021-01-04 15:39:15 +00:00
|
|
|
get serverPath() {
|
|
|
|
return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath");
|
|
|
|
}
|
2020-12-30 09:17:25 +00:00
|
|
|
get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; }
|
2020-04-11 12:23:07 +00:00
|
|
|
get channel() { return this.get<UpdatesChannel>("updates.channel"); }
|
|
|
|
get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); }
|
|
|
|
get traceExtension() { return this.get<boolean>("trace.extension"); }
|
2021-03-07 09:55:43 +00:00
|
|
|
get httpProxy() {
|
|
|
|
const httpProxy = vscode
|
|
|
|
.workspace
|
|
|
|
.getConfiguration('http')
|
|
|
|
.get<null | string>("proxy")!;
|
|
|
|
|
|
|
|
return httpProxy || process.env["https_proxy"] || process.env["HTTPS_PROXY"];
|
|
|
|
}
|
2020-04-11 12:23:07 +00:00
|
|
|
|
2020-03-23 23:00:57 +00:00
|
|
|
get inlayHints() {
|
2020-03-10 07:55:46 +00:00
|
|
|
return {
|
2020-05-08 07:28:15 +00:00
|
|
|
enable: this.get<boolean>("inlayHints.enable"),
|
2020-04-11 12:23:07 +00:00
|
|
|
typeHints: this.get<boolean>("inlayHints.typeHints"),
|
|
|
|
parameterHints: this.get<boolean>("inlayHints.parameterHints"),
|
|
|
|
chainingHints: this.get<boolean>("inlayHints.chainingHints"),
|
|
|
|
maxLength: this.get<null | number>("inlayHints.maxLength"),
|
2020-03-10 07:55:46 +00:00
|
|
|
};
|
|
|
|
}
|
2020-02-17 22:42:25 +00:00
|
|
|
|
2020-04-02 10:47:58 +00:00
|
|
|
get checkOnSave() {
|
2020-02-13 20:48:20 +00:00
|
|
|
return {
|
2020-04-11 12:23:07 +00:00
|
|
|
command: this.get<string>("checkOnSave.command"),
|
2020-02-13 20:48:20 +00:00
|
|
|
};
|
2018-10-07 20:59:02 +00:00
|
|
|
}
|
2020-04-29 10:10:42 +00:00
|
|
|
|
2020-06-18 19:20:13 +00:00
|
|
|
get cargoRunner() {
|
|
|
|
return this.get<string | undefined>("cargoRunner");
|
|
|
|
}
|
|
|
|
|
2020-07-02 16:47:40 +00:00
|
|
|
get runnableEnv() {
|
2020-07-02 18:33:26 +00:00
|
|
|
return this.get<RunnableEnvCfg>("runnableEnv");
|
2020-07-02 16:47:40 +00:00
|
|
|
}
|
|
|
|
|
2020-04-29 10:10:42 +00:00
|
|
|
get debug() {
|
2020-05-06 13:01:35 +00:00
|
|
|
// "/rustc/<id>" used by suggestions only.
|
|
|
|
const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap");
|
|
|
|
|
2020-04-29 10:10:42 +00:00
|
|
|
return {
|
2020-04-29 11:13:57 +00:00
|
|
|
engine: this.get<string>("debug.engine"),
|
2020-05-07 14:07:58 +00:00
|
|
|
engineSettings: this.get<object>("debug.engineSettings"),
|
2020-06-10 13:15:28 +00:00
|
|
|
openDebugPane: this.get<boolean>("debug.openDebugPane"),
|
2020-05-14 08:12:10 +00:00
|
|
|
sourceFileMap: sourceFileMap
|
2020-04-29 10:10:42 +00:00
|
|
|
};
|
|
|
|
}
|
2020-05-17 16:51:44 +00:00
|
|
|
|
|
|
|
get lens() {
|
|
|
|
return {
|
2020-05-18 07:27:00 +00:00
|
|
|
enable: this.get<boolean>("lens.enable"),
|
2020-05-17 16:51:44 +00:00
|
|
|
run: this.get<boolean>("lens.run"),
|
|
|
|
debug: this.get<boolean>("lens.debug"),
|
|
|
|
implementations: this.get<boolean>("lens.implementations"),
|
2020-09-01 13:33:02 +00:00
|
|
|
methodReferences: this.get<boolean>("lens.methodReferences"),
|
2021-01-23 13:56:20 +00:00
|
|
|
references: this.get<boolean>("lens.references"),
|
2020-05-17 16:51:44 +00:00
|
|
|
};
|
|
|
|
}
|
2020-06-03 11:15:54 +00:00
|
|
|
|
|
|
|
get hoverActions() {
|
|
|
|
return {
|
|
|
|
enable: this.get<boolean>("hoverActions.enable"),
|
|
|
|
implementations: this.get<boolean>("hoverActions.implementations"),
|
2020-06-10 20:01:19 +00:00
|
|
|
run: this.get<boolean>("hoverActions.run"),
|
|
|
|
debug: this.get<boolean>("hoverActions.debug"),
|
|
|
|
gotoTypeDef: this.get<boolean>("hoverActions.gotoTypeDef"),
|
2020-06-03 11:15:54 +00:00
|
|
|
};
|
|
|
|
}
|
2018-10-07 20:59:02 +00:00
|
|
|
}
|