2019-07-23 13:38:21 +00:00
|
|
|
import * as vscode from 'vscode';
|
2019-12-30 19:00:46 +00:00
|
|
|
import * as lc from 'vscode-languageclient';
|
2019-12-30 19:10:40 +00:00
|
|
|
import { Server } from './server';
|
2019-12-30 19:21:25 +00:00
|
|
|
import { Ctx } from './ctx';
|
|
|
|
|
|
|
|
export function activateInlayHints(ctx: Ctx) {
|
|
|
|
const hintsUpdater = new HintsUpdater();
|
|
|
|
hintsUpdater.refreshHintsForVisibleEditors().then(() => {
|
|
|
|
// vscode may ignore top level hintsUpdater.refreshHintsForVisibleEditors()
|
|
|
|
// so update the hints once when the focus changes to guarantee their presence
|
|
|
|
let editorChangeDisposable: vscode.Disposable | null = null;
|
|
|
|
editorChangeDisposable = vscode.window.onDidChangeActiveTextEditor(
|
|
|
|
_ => {
|
|
|
|
if (editorChangeDisposable !== null) {
|
|
|
|
editorChangeDisposable.dispose();
|
|
|
|
}
|
|
|
|
return hintsUpdater.refreshHintsForVisibleEditors();
|
|
|
|
},
|
|
|
|
);
|
|
|
|
|
|
|
|
ctx.pushCleanup(
|
|
|
|
vscode.window.onDidChangeVisibleTextEditors(_ =>
|
|
|
|
hintsUpdater.refreshHintsForVisibleEditors(),
|
|
|
|
),
|
|
|
|
);
|
|
|
|
ctx.pushCleanup(
|
|
|
|
vscode.workspace.onDidChangeTextDocument(e =>
|
|
|
|
hintsUpdater.refreshHintsForVisibleEditors(e),
|
|
|
|
),
|
|
|
|
);
|
|
|
|
ctx.pushCleanup(
|
|
|
|
vscode.workspace.onDidChangeConfiguration(_ =>
|
2019-12-30 19:46:14 +00:00
|
|
|
hintsUpdater.toggleHintsDisplay(ctx.config.displayInlayHints),
|
2019-12-30 19:21:25 +00:00
|
|
|
),
|
|
|
|
);
|
|
|
|
});
|
|
|
|
}
|
2019-07-23 13:38:21 +00:00
|
|
|
|
|
|
|
interface InlayHintsParams {
|
2019-12-30 19:00:46 +00:00
|
|
|
textDocument: lc.TextDocumentIdentifier;
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
interface InlayHint {
|
2019-12-30 19:00:46 +00:00
|
|
|
range: vscode.Range;
|
2019-07-24 16:52:26 +00:00
|
|
|
kind: string;
|
|
|
|
label: string;
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
const typeHintDecorationType = vscode.window.createTextEditorDecorationType({
|
|
|
|
after: {
|
2019-12-09 18:57:55 +00:00
|
|
|
color: new vscode.ThemeColor('ralsp.inlayHint'),
|
|
|
|
},
|
2019-07-23 13:38:21 +00:00
|
|
|
});
|
|
|
|
|
2019-12-30 19:21:25 +00:00
|
|
|
class HintsUpdater {
|
2019-07-23 13:38:21 +00:00
|
|
|
private displayHints = true;
|
|
|
|
|
|
|
|
public async toggleHintsDisplay(displayHints: boolean): Promise<void> {
|
|
|
|
if (this.displayHints !== displayHints) {
|
|
|
|
this.displayHints = displayHints;
|
2019-08-05 19:31:12 +00:00
|
|
|
return this.refreshVisibleEditorsHints(
|
2019-12-09 18:57:55 +00:00
|
|
|
displayHints ? undefined : [],
|
2019-08-05 19:31:12 +00:00
|
|
|
);
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-05 19:31:12 +00:00
|
|
|
public async refreshHintsForVisibleEditors(
|
2019-12-30 19:00:46 +00:00
|
|
|
cause?: vscode.TextDocumentChangeEvent,
|
2019-08-05 19:31:12 +00:00
|
|
|
): Promise<void> {
|
2019-12-30 19:00:46 +00:00
|
|
|
if (!this.displayHints) return;
|
|
|
|
|
2019-08-05 19:31:12 +00:00
|
|
|
if (
|
|
|
|
cause !== undefined &&
|
|
|
|
(cause.contentChanges.length === 0 ||
|
|
|
|
!this.isRustDocument(cause.document))
|
|
|
|
) {
|
2019-07-23 13:38:21 +00:00
|
|
|
return;
|
|
|
|
}
|
2019-08-05 19:31:12 +00:00
|
|
|
return this.refreshVisibleEditorsHints();
|
|
|
|
}
|
|
|
|
|
|
|
|
private async refreshVisibleEditorsHints(
|
2019-12-09 18:57:55 +00:00
|
|
|
newDecorations?: vscode.DecorationOptions[],
|
2019-08-05 19:31:12 +00:00
|
|
|
) {
|
|
|
|
const promises: Array<Promise<void>> = [];
|
|
|
|
|
|
|
|
for (const rustEditor of vscode.window.visibleTextEditors.filter(
|
2019-12-09 18:57:55 +00:00
|
|
|
editor => this.isRustDocument(editor.document),
|
2019-08-05 19:31:12 +00:00
|
|
|
)) {
|
|
|
|
if (newDecorations !== undefined) {
|
|
|
|
promises.push(
|
|
|
|
Promise.resolve(
|
|
|
|
rustEditor.setDecorations(
|
|
|
|
typeHintDecorationType,
|
2019-12-09 18:57:55 +00:00
|
|
|
newDecorations,
|
|
|
|
),
|
|
|
|
),
|
2019-08-05 19:31:12 +00:00
|
|
|
);
|
|
|
|
} else {
|
|
|
|
promises.push(this.updateDecorationsFromServer(rustEditor));
|
|
|
|
}
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
|
2019-08-05 19:31:12 +00:00
|
|
|
for (const promise of promises) {
|
|
|
|
await promise;
|
|
|
|
}
|
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-12-30 19:00:46 +00:00
|
|
|
editor: vscode.TextEditor,
|
2019-07-24 16:52:26 +00:00
|
|
|
): Promise<void> {
|
2019-08-05 19:31:12 +00:00
|
|
|
const newHints = await this.queryHints(editor.document.uri.toString());
|
|
|
|
if (newHints !== null) {
|
2019-10-23 11:11:40 +00:00
|
|
|
const newDecorations = newHints.map(hint => ({
|
|
|
|
range: hint.range,
|
|
|
|
renderOptions: {
|
|
|
|
after: {
|
2019-12-09 18:57:55 +00:00
|
|
|
contentText: `: ${hint.label}`,
|
|
|
|
},
|
|
|
|
},
|
2019-10-23 11:11:40 +00:00
|
|
|
}));
|
2019-08-05 10:31:00 +00:00
|
|
|
return editor.setDecorations(
|
|
|
|
typeHintDecorationType,
|
2019-12-09 18:57:55 +00:00
|
|
|
newDecorations,
|
2019-08-05 10:31:00 +00:00
|
|
|
);
|
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 = {
|
2019-12-09 18:57:55 +00:00
|
|
|
textDocument: { uri: documentUri },
|
2019-07-24 16:52:26 +00:00
|
|
|
};
|
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',
|
2019-12-09 18:57:55 +00:00
|
|
|
request,
|
|
|
|
),
|
2019-07-24 16:52:26 +00:00
|
|
|
);
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
}
|