rust-analyzer/editors/code/src/commands/inlay_hints.ts

139 lines
4.2 KiB
TypeScript
Raw Normal View History

2019-07-23 13:38:21 +00:00
import * as vscode from 'vscode';
2019-07-25 12:17:37 +00:00
import { Range, TextDocumentChangeEvent, TextEditor } from 'vscode';
2019-07-23 13:38:21 +00:00
import { TextDocumentIdentifier } from 'vscode-languageclient';
import { Server } from '../server';
interface InlayHintsParams {
textDocument: TextDocumentIdentifier;
}
interface InlayHint {
2019-07-24 16:52:26 +00:00
range: Range;
kind: string;
label: string;
2019-07-23 13:38:21 +00:00
}
const typeHintDecorationType = vscode.window.createTextEditorDecorationType({
after: {
2019-07-24 16:52:26 +00:00
color: new vscode.ThemeColor('ralsp.inlayHint')
}
2019-07-23 13:38:21 +00:00
});
export class HintsUpdater {
private displayHints = true;
2019-08-05 08:07:27 +00:00
private drawnDecorations = new WeakMap<
vscode.Uri,
vscode.DecorationOptions[]
>();
2019-07-23 13:38:21 +00:00
2019-08-04 21:23:58 +00:00
public async loadHints(editor?: vscode.TextEditor): Promise<void> {
if (this.displayHints) {
const documentUri = this.getEditorDocumentUri(editor);
if (documentUri !== null) {
2019-08-04 21:47:14 +00:00
const latestDecorations = this.drawnDecorations.get(
documentUri
);
2019-08-04 21:23:58 +00:00
if (latestDecorations === undefined) {
await this.updateDecorationsFromServer(
documentUri,
editor!
);
} else {
2019-08-04 21:47:14 +00:00
await editor!.setDecorations(
typeHintDecorationType,
latestDecorations
);
2019-08-04 21:23:58 +00:00
}
}
2019-07-23 13:38:21 +00:00
}
}
public async toggleHintsDisplay(displayHints: boolean): Promise<void> {
if (this.displayHints !== displayHints) {
this.displayHints = displayHints;
2019-08-05 08:07:27 +00:00
this.drawnDecorations = new WeakMap();
2019-07-23 13:38:21 +00:00
if (displayHints) {
return this.updateHints();
} else {
2019-08-04 21:47:14 +00:00
const currentEditor = vscode.window.activeTextEditor;
if (this.getEditorDocumentUri(currentEditor) !== null) {
return currentEditor!.setDecorations(
typeHintDecorationType,
[]
);
2019-07-23 13:38:21 +00:00
}
}
}
}
public async updateHints(cause?: TextDocumentChangeEvent): Promise<void> {
if (!this.displayHints) {
return;
}
const editor = vscode.window.activeTextEditor;
if (editor == null) {
return;
}
const document = cause == null ? editor.document : cause.document;
2019-07-25 12:17:37 +00:00
if (!this.isRustDocument(document)) {
2019-07-23 13:38:21 +00:00
return;
}
2019-08-05 08:07:27 +00:00
return await this.updateDecorationsFromServer(document.uri, editor);
2019-07-23 13:38:21 +00:00
}
2019-07-25 12:17:37 +00:00
private isRustDocument(document: vscode.TextDocument): boolean {
return document && document.languageId === 'rust';
}
2019-07-24 16:52:26 +00:00
private async updateDecorationsFromServer(
2019-08-05 08:07:27 +00:00
documentUri: vscode.Uri,
2019-07-24 16:52:26 +00:00
editor: TextEditor
): Promise<void> {
2019-08-05 08:07:27 +00:00
const newHints = await this.queryHints(documentUri.toString());
2019-07-29 07:19:35 +00:00
if (newHints != null) {
const newDecorations = newHints.map(hint => ({
range: hint.range,
renderOptions: { after: { contentText: `: ${hint.label}` } }
}));
2019-08-04 21:23:58 +00:00
this.drawnDecorations.set(documentUri, newDecorations);
2019-08-04 21:47:14 +00:00
if (
this.getEditorDocumentUri(vscode.window.activeTextEditor) ===
documentUri
) {
2019-08-04 21:23:58 +00:00
return editor.setDecorations(
typeHintDecorationType,
newDecorations
);
}
2019-07-29 07:19:35 +00:00
}
2019-07-23 13:38:21 +00:00
}
private async queryHints(documentUri: string): Promise<InlayHint[] | null> {
2019-07-24 16:52:26 +00:00
const request: InlayHintsParams = {
textDocument: { uri: documentUri }
};
2019-07-23 13:38:21 +00:00
const client = Server.client;
2019-07-24 16:52:26 +00:00
return client
.onReady()
.then(() =>
client.sendRequest<InlayHint[] | null>(
'rust-analyzer/inlayHints',
request
)
);
2019-07-23 13:38:21 +00:00
}
2019-08-04 21:23:58 +00:00
2019-08-05 08:07:27 +00:00
private getEditorDocumentUri(
editor?: vscode.TextEditor
): vscode.Uri | null {
2019-08-04 21:23:58 +00:00
if (editor && this.isRustDocument(editor.document)) {
2019-08-05 08:07:27 +00:00
return editor.document.uri;
2019-08-04 21:23:58 +00:00
}
return null;
}
2019-07-23 13:38:21 +00:00
}