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 10:31:00 +00:00
|
|
|
private decorationsSinceLastChange = new Map<
|
|
|
|
string,
|
2019-08-05 08:07:27 +00:00
|
|
|
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-05 10:31:00 +00:00
|
|
|
const latestDecorations = this.decorationsSinceLastChange.get(
|
|
|
|
documentUri.toString()
|
2019-08-04 21:47:14 +00:00
|
|
|
);
|
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 10:31:00 +00:00
|
|
|
this.decorationsSinceLastChange.clear();
|
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;
|
2019-08-05 10:31:00 +00:00
|
|
|
if (editor === undefined) {
|
2019-07-23 13:38:21 +00:00
|
|
|
return;
|
|
|
|
}
|
2019-08-05 10:31:00 +00:00
|
|
|
const document = cause === undefined ? 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 10:31:00 +00:00
|
|
|
this.decorationsSinceLastChange.clear();
|
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-08-05 10:31:00 +00:00
|
|
|
if (
|
|
|
|
newHints !== null &&
|
|
|
|
this.getEditorDocumentUri(vscode.window.activeTextEditor) ===
|
|
|
|
documentUri
|
|
|
|
) {
|
2019-07-29 07:19:35 +00:00
|
|
|
const newDecorations = newHints.map(hint => ({
|
|
|
|
range: hint.range,
|
|
|
|
renderOptions: { after: { contentText: `: ${hint.label}` } }
|
|
|
|
}));
|
2019-08-05 10:31:00 +00:00
|
|
|
this.decorationsSinceLastChange.set(
|
|
|
|
documentUri.toString(),
|
|
|
|
newDecorations
|
|
|
|
);
|
|
|
|
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
|
|
|
}
|