2019-12-30 20:07:04 +01:00
|
|
|
import * as vscode from 'vscode';
|
|
|
|
|
import * as lc from 'vscode-languageclient';
|
2020-02-25 00:50:57 +02:00
|
|
|
import * as ra from '../rust-analyzer-api';
|
2019-12-30 20:07:04 +01:00
|
|
|
|
2019-12-30 18:31:08 +01:00
|
|
|
import { Ctx, Cmd } from '../ctx';
|
2019-12-30 23:45:50 +01:00
|
|
|
import * as sourceChange from '../source_change';
|
2020-05-18 01:53:55 +02:00
|
|
|
import { assert } from '../util';
|
2019-12-30 14:53:43 +01:00
|
|
|
|
2020-02-02 21:37:22 +02:00
|
|
|
export * from './analyzer_status';
|
|
|
|
|
export * from './matching_brace';
|
|
|
|
|
export * from './join_lines';
|
|
|
|
|
export * from './on_enter';
|
|
|
|
|
export * from './parent_module';
|
|
|
|
|
export * from './syntax_tree';
|
|
|
|
|
export * from './expand_macro';
|
|
|
|
|
export * from './runnables';
|
2020-02-10 22:45:38 +00:00
|
|
|
export * from './ssr';
|
2020-02-21 10:04:03 +08:00
|
|
|
export * from './server_version';
|
2020-02-02 21:37:22 +02:00
|
|
|
|
|
|
|
|
export function collectGarbage(ctx: Ctx): Cmd {
|
2020-02-25 00:50:57 +02:00
|
|
|
return async () => ctx.client.sendRequest(ra.collectGarbage, null);
|
2019-12-30 14:53:43 +01:00
|
|
|
}
|
|
|
|
|
|
2020-02-02 21:37:22 +02:00
|
|
|
export function showReferences(ctx: Ctx): Cmd {
|
2019-12-30 20:07:04 +01:00
|
|
|
return (uri: string, position: lc.Position, locations: lc.Location[]) => {
|
2020-02-02 21:12:59 +02:00
|
|
|
const client = ctx.client;
|
2019-12-31 18:14:00 +01:00
|
|
|
if (client) {
|
|
|
|
|
vscode.commands.executeCommand(
|
|
|
|
|
'editor.action.showReferences',
|
|
|
|
|
vscode.Uri.parse(uri),
|
|
|
|
|
client.protocol2CodeConverter.asPosition(position),
|
|
|
|
|
locations.map(client.protocol2CodeConverter.asLocation),
|
|
|
|
|
);
|
|
|
|
|
}
|
2019-12-30 20:07:04 +01:00
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
2020-02-02 21:37:22 +02:00
|
|
|
export function applySourceChange(ctx: Ctx): Cmd {
|
2020-02-25 00:50:57 +02:00
|
|
|
return async (change: ra.SourceChange) => {
|
2020-02-05 22:39:47 +02:00
|
|
|
await sourceChange.applySourceChange(ctx, change);
|
2020-01-12 00:40:36 +02:00
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
2020-02-02 21:37:22 +02:00
|
|
|
export function selectAndApplySourceChange(ctx: Ctx): Cmd {
|
2020-02-25 00:50:57 +02:00
|
|
|
return async (changes: ra.SourceChange[]) => {
|
2020-01-12 00:40:36 +02:00
|
|
|
if (changes.length === 1) {
|
|
|
|
|
await sourceChange.applySourceChange(ctx, changes[0]);
|
|
|
|
|
} else if (changes.length > 0) {
|
|
|
|
|
const selectedChange = await vscode.window.showQuickPick(changes);
|
|
|
|
|
if (!selectedChange) return;
|
|
|
|
|
await sourceChange.applySourceChange(ctx, selectedChange);
|
|
|
|
|
}
|
2019-12-31 18:55:34 +01:00
|
|
|
};
|
2019-12-30 23:45:50 +01:00
|
|
|
}
|
2020-05-18 01:53:55 +02:00
|
|
|
|
2020-05-21 14:26:44 +02:00
|
|
|
export function applySnippetWorkspaceEditCommand(_ctx: Ctx): Cmd {
|
2020-05-18 01:53:55 +02:00
|
|
|
return async (edit: vscode.WorkspaceEdit) => {
|
2020-05-21 14:26:44 +02:00
|
|
|
await applySnippetWorkspaceEdit(edit);
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export async function applySnippetWorkspaceEdit(edit: vscode.WorkspaceEdit) {
|
|
|
|
|
assert(edit.entries().length === 1, `bad ws edit: ${JSON.stringify(edit)}`);
|
|
|
|
|
const [uri, edits] = edit.entries()[0];
|
2020-05-18 01:53:55 +02:00
|
|
|
|
2020-05-21 14:26:44 +02:00
|
|
|
const editor = vscode.window.visibleTextEditors.find((it) => it.document.uri.toString() === uri.toString());
|
|
|
|
|
if (!editor) return;
|
2020-05-18 01:53:55 +02:00
|
|
|
|
2020-05-21 14:26:44 +02:00
|
|
|
let selection: vscode.Selection | undefined = undefined;
|
|
|
|
|
let lineDelta = 0;
|
|
|
|
|
await editor.edit((builder) => {
|
|
|
|
|
for (const indel of edits) {
|
|
|
|
|
const parsed = parseSnippet(indel.newText);
|
|
|
|
|
if (parsed) {
|
|
|
|
|
const [newText, [placeholderStart, placeholderLength]] = parsed;
|
|
|
|
|
const prefix = newText.substr(0, placeholderStart);
|
|
|
|
|
const lastNewline = prefix.lastIndexOf('\n');
|
|
|
|
|
|
|
|
|
|
const startLine = indel.range.start.line + lineDelta + countLines(prefix);
|
|
|
|
|
const startColumn = lastNewline === -1 ?
|
|
|
|
|
indel.range.start.character + placeholderStart
|
|
|
|
|
: prefix.length - lastNewline - 1;
|
|
|
|
|
const endColumn = startColumn + placeholderLength;
|
|
|
|
|
selection = new vscode.Selection(
|
|
|
|
|
new vscode.Position(startLine, startColumn),
|
|
|
|
|
new vscode.Position(startLine, endColumn),
|
|
|
|
|
);
|
|
|
|
|
builder.replace(indel.range, newText);
|
|
|
|
|
} else {
|
|
|
|
|
lineDelta = countLines(indel.newText) - (indel.range.end.line - indel.range.start.line);
|
|
|
|
|
builder.replace(indel.range, indel.newText);
|
2020-05-18 01:53:55 +02:00
|
|
|
}
|
|
|
|
|
}
|
2020-05-21 14:26:44 +02:00
|
|
|
});
|
|
|
|
|
if (selection) editor.selection = selection;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function parseSnippet(snip: string): [string, [number, number]] | undefined {
|
|
|
|
|
const m = snip.match(/\$(0|\{0:([^}]*)\})/);
|
|
|
|
|
if (!m) return undefined;
|
|
|
|
|
const placeholder = m[2] ?? "";
|
|
|
|
|
const range: [number, number] = [m.index!!, placeholder.length];
|
|
|
|
|
const insert = snip.replace(m[0], placeholder);
|
|
|
|
|
return [insert, range];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function countLines(text: string): number {
|
|
|
|
|
return (text.match(/\n/g) || []).length;
|
2020-05-18 01:53:55 +02:00
|
|
|
}
|