2019-07-23 13:38:21 +00:00
|
|
|
import * as vscode from 'vscode';
|
2019-07-24 14:15:12 +00:00
|
|
|
import { Range, TextDocumentChangeEvent, TextDocumentContentChangeEvent, 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 {
|
|
|
|
range: Range,
|
|
|
|
kind: string,
|
|
|
|
label: string,
|
|
|
|
}
|
|
|
|
|
|
|
|
const typeHintDecorationType = vscode.window.createTextEditorDecorationType({
|
|
|
|
after: {
|
|
|
|
color: new vscode.ThemeColor('ralsp.inlayHint'),
|
|
|
|
},
|
|
|
|
});
|
|
|
|
|
|
|
|
export class HintsUpdater {
|
|
|
|
private displayHints = true;
|
|
|
|
|
|
|
|
public async loadHints(editor: vscode.TextEditor | undefined): Promise<void> {
|
|
|
|
if (this.displayHints && editor !== undefined) {
|
|
|
|
await this.updateDecorationsFromServer(editor.document.uri.toString(), editor);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public async toggleHintsDisplay(displayHints: boolean): Promise<void> {
|
|
|
|
if (this.displayHints !== displayHints) {
|
|
|
|
this.displayHints = displayHints;
|
|
|
|
|
|
|
|
if (displayHints) {
|
|
|
|
return this.updateHints();
|
|
|
|
} else {
|
|
|
|
const editor = vscode.window.activeTextEditor;
|
|
|
|
if (editor != null) {
|
|
|
|
return editor.setDecorations(typeHintDecorationType, [])
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
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;
|
|
|
|
if (document.languageId !== 'rust') {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-07-24 14:15:12 +00:00
|
|
|
// If the dbg! macro is used in the lsp-server, an endless stream of events with `cause.contentChanges` with the dbg messages.
|
|
|
|
// Should not be a real situation, but better to filter such things out.
|
|
|
|
if (cause !== undefined && cause.contentChanges.filter(changeEvent => this.isEventInFile(document.lineCount, changeEvent)).length === 0) {
|
|
|
|
return;
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
2019-07-24 14:15:12 +00:00
|
|
|
return await this.updateDecorationsFromServer(document.uri.toString(), editor);
|
2019-07-23 13:38:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private isEventInFile(documentLineCount: number, event: TextDocumentContentChangeEvent): boolean {
|
|
|
|
const eventText = event.text;
|
|
|
|
if (eventText.length === 0) {
|
|
|
|
return event.range.start.line <= documentLineCount || event.range.end.line <= documentLineCount;
|
|
|
|
} else {
|
|
|
|
return event.range.start.line <= documentLineCount && event.range.end.line <= documentLineCount;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private async updateDecorationsFromServer(documentUri: string, editor: TextEditor): Promise<void> {
|
|
|
|
const newHints = await this.queryHints(documentUri) || [];
|
|
|
|
const newDecorations = newHints.map(hint => (
|
|
|
|
{
|
|
|
|
range: hint.range,
|
|
|
|
renderOptions: { after: { contentText: `: ${hint.label}` } },
|
|
|
|
}
|
|
|
|
));
|
|
|
|
return editor.setDecorations(typeHintDecorationType, newDecorations);
|
|
|
|
}
|
|
|
|
|
|
|
|
private async queryHints(documentUri: string): Promise<InlayHint[] | null> {
|
|
|
|
const request: InlayHintsParams = { textDocument: { uri: documentUri } };
|
|
|
|
const client = Server.client;
|
|
|
|
return client.onReady().then(() => client.sendRequest<InlayHint[] | null>(
|
|
|
|
'rust-analyzer/inlayHints',
|
|
|
|
request
|
|
|
|
));
|
|
|
|
}
|
|
|
|
}
|