2019-12-30 07:42:59 -06:00
|
|
|
import * as vscode from 'vscode';
|
|
|
|
import * as lc from 'vscode-languageclient';
|
2020-02-02 15:23:01 -06:00
|
|
|
|
2019-12-30 13:46:14 -06:00
|
|
|
import { Config } from './config';
|
2019-12-31 11:55:34 -06:00
|
|
|
import { createClient } from './client';
|
2020-03-07 06:07:44 -06:00
|
|
|
import { isRustEditor, RustEditor } from './util';
|
2019-12-30 07:42:59 -06:00
|
|
|
|
|
|
|
export class Ctx {
|
2020-02-17 07:21:50 -06:00
|
|
|
private constructor(
|
|
|
|
readonly config: Config,
|
|
|
|
private readonly extCtx: vscode.ExtensionContext,
|
|
|
|
readonly client: lc.LanguageClient
|
|
|
|
) {
|
|
|
|
|
|
|
|
}
|
2019-12-30 07:42:59 -06:00
|
|
|
|
2020-02-17 07:11:01 -06:00
|
|
|
static async create(config: Config, extCtx: vscode.ExtensionContext, serverPath: string): Promise<Ctx> {
|
|
|
|
const client = await createClient(config, serverPath);
|
|
|
|
const res = new Ctx(config, extCtx, client);
|
|
|
|
res.pushCleanup(client.start());
|
2019-12-31 11:14:00 -06:00
|
|
|
await client.onReady();
|
2020-02-17 07:11:01 -06:00
|
|
|
return res;
|
|
|
|
}
|
2019-12-31 11:14:00 -06:00
|
|
|
|
2020-03-07 06:07:44 -06:00
|
|
|
get activeRustEditor(): RustEditor | undefined {
|
2019-12-30 08:20:13 -06:00
|
|
|
const editor = vscode.window.activeTextEditor;
|
2020-03-07 06:07:44 -06:00
|
|
|
return editor && isRustEditor(editor)
|
2019-12-30 08:20:13 -06:00
|
|
|
? editor
|
|
|
|
: undefined;
|
|
|
|
}
|
|
|
|
|
2020-03-07 06:07:44 -06:00
|
|
|
get visibleRustEditors(): RustEditor[] {
|
|
|
|
return vscode.window.visibleTextEditors.filter(isRustEditor);
|
2020-03-02 15:54:29 -06:00
|
|
|
}
|
|
|
|
|
2019-12-30 08:11:30 -06:00
|
|
|
registerCommand(name: string, factory: (ctx: Ctx) => Cmd) {
|
|
|
|
const fullName = `rust-analyzer.${name}`;
|
2019-12-30 07:42:59 -06:00
|
|
|
const cmd = factory(this);
|
|
|
|
const d = vscode.commands.registerCommand(fullName, cmd);
|
|
|
|
this.pushCleanup(d);
|
|
|
|
}
|
|
|
|
|
2020-02-15 19:08:36 -06:00
|
|
|
get globalState(): vscode.Memento {
|
|
|
|
return this.extCtx.globalState;
|
|
|
|
}
|
|
|
|
|
2020-02-02 15:23:01 -06:00
|
|
|
get subscriptions(): Disposable[] {
|
2019-12-30 12:05:41 -06:00
|
|
|
return this.extCtx.subscriptions;
|
|
|
|
}
|
|
|
|
|
2020-02-02 15:23:01 -06:00
|
|
|
pushCleanup(d: Disposable) {
|
2019-12-30 08:11:30 -06:00
|
|
|
this.extCtx.subscriptions.push(d);
|
2019-12-30 07:42:59 -06:00
|
|
|
}
|
|
|
|
}
|
2019-12-30 07:53:43 -06:00
|
|
|
|
2020-02-02 15:23:01 -06:00
|
|
|
export interface Disposable {
|
|
|
|
dispose(): void;
|
|
|
|
}
|
2020-02-02 14:36:12 -06:00
|
|
|
export type Cmd = (...args: any[]) => unknown;
|