Files
rust/editors/code/src/commands/inlay_hints.ts

136 lines
3.9 KiB
TypeScript
Raw Normal View History

2019-07-23 16:38:21 +03:00
import * as vscode from 'vscode';
2019-07-25 15:17:37 +03:00
import { Range, TextDocumentChangeEvent, TextEditor } from 'vscode';
2019-07-23 16:38:21 +03:00
import { TextDocumentIdentifier } from 'vscode-languageclient';
import { Server } from '../server';
interface InlayHintsParams {
textDocument: TextDocumentIdentifier;
}
interface InlayHint {
2019-07-24 19:52:26 +03:00
range: Range;
kind: string;
label: string;
2019-07-23 16:38:21 +03:00
}
const maxHintLength = 20;
2019-07-23 16:38:21 +03:00
const typeHintDecorationType = vscode.window.createTextEditorDecorationType({
after: {
2019-07-24 19:52:26 +03:00
color: new vscode.ThemeColor('ralsp.inlayHint')
}
2019-07-23 16:38:21 +03:00
});
export class HintsUpdater {
private displayHints = true;
public async toggleHintsDisplay(displayHints: boolean): Promise<void> {
if (this.displayHints !== displayHints) {
this.displayHints = displayHints;
2019-08-05 22:31:12 +03:00
return this.refreshVisibleEditorsHints(
displayHints ? undefined : []
);
2019-07-23 16:38:21 +03:00
}
}
2019-08-05 22:31:12 +03:00
public async refreshHintsForVisibleEditors(
cause?: TextDocumentChangeEvent
): Promise<void> {
2019-07-23 16:38:21 +03:00
if (!this.displayHints) {
return;
}
2019-08-05 22:31:12 +03:00
if (
cause !== undefined &&
(cause.contentChanges.length === 0 ||
!this.isRustDocument(cause.document))
) {
2019-07-23 16:38:21 +03:00
return;
}
2019-08-05 22:31:12 +03:00
return this.refreshVisibleEditorsHints();
}
private async refreshVisibleEditorsHints(
newDecorations?: vscode.DecorationOptions[]
) {
const promises: Array<Promise<void>> = [];
for (const rustEditor of vscode.window.visibleTextEditors.filter(
editor => this.isRustDocument(editor.document)
)) {
if (newDecorations !== undefined) {
promises.push(
Promise.resolve(
rustEditor.setDecorations(
typeHintDecorationType,
newDecorations
)
)
);
} else {
promises.push(this.updateDecorationsFromServer(rustEditor));
}
2019-07-23 16:38:21 +03:00
}
2019-08-05 22:31:12 +03:00
for (const promise of promises) {
await promise;
}
2019-07-23 16:38:21 +03:00
}
2019-07-25 15:17:37 +03:00
private isRustDocument(document: vscode.TextDocument): boolean {
return document && document.languageId === 'rust';
}
2019-07-24 19:52:26 +03:00
private async updateDecorationsFromServer(
editor: TextEditor
): Promise<void> {
2019-08-05 22:31:12 +03:00
const newHints = await this.queryHints(editor.document.uri.toString());
if (newHints !== null) {
const newDecorations = newHints.map(hint => {
let label = hint.label.substring(0, maxHintLength);
if (hint.label.length > maxHintLength) {
label += '…';
}
return {
range: this.truncateHint(hint.range),
renderOptions: {
after: {
contentText: `: ${label}`
}
}
};
});
return editor.setDecorations(
typeHintDecorationType,
newDecorations
);
2019-07-29 10:19:35 +03:00
}
2019-07-23 16:38:21 +03:00
}
private truncateHint(range: Range): Range {
if (!range.isSingleLine) {
return range;
}
const maxEnd = new vscode.Position(
range.start.line,
range.start.character + maxHintLength
);
const end = range.end.isAfter(maxEnd) ? maxEnd : range.end;
return new Range(range.start, end);
}
2019-07-23 16:38:21 +03:00
private async queryHints(documentUri: string): Promise<InlayHint[] | null> {
2019-07-24 19:52:26 +03:00
const request: InlayHintsParams = {
textDocument: { uri: documentUri }
};
2019-07-23 16:38:21 +03:00
const client = Server.client;
2019-07-24 19:52:26 +03:00
return client
.onReady()
.then(() =>
client.sendRequest<InlayHint[] | null>(
'rust-analyzer/inlayHints',
request
)
);
2019-07-23 16:38:21 +03:00
}
}