rust-analyzer/editors/code/src/snippets.ts

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

92 lines
3.6 KiB
TypeScript
Raw Normal View History

2020-05-25 08:59:54 +00:00
import * as vscode from "vscode";
import { assert } from "./util";
import { unwrapUndefinable } from "./undefinable";
2020-05-25 08:59:54 +00:00
export async function applySnippetWorkspaceEdit(edit: vscode.WorkspaceEdit) {
2020-11-04 13:50:44 +00:00
if (edit.entries().length === 1) {
const [uri, edits] = unwrapUndefinable(edit.entries()[0]);
2020-11-04 13:50:44 +00:00
const editor = await editorFromUri(uri);
if (editor) await applySnippetTextEdits(editor, edits);
return;
}
for (const [uri, edits] of edit.entries()) {
const editor = await editorFromUri(uri);
if (editor) {
2020-11-04 13:50:44 +00:00
await editor.edit((builder) => {
for (const indel of edits) {
assert(
!parseSnippet(indel.newText),
2023-07-11 13:35:10 +00:00
`bad ws edit: snippet received with multiple edits: ${JSON.stringify(
edit,
)}`,
2020-11-04 13:50:44 +00:00
);
builder.replace(indel.range, indel.newText);
}
});
}
2020-11-04 13:50:44 +00:00
}
}
2020-05-25 08:59:54 +00:00
2020-11-04 13:50:44 +00:00
async function editorFromUri(uri: vscode.Uri): Promise<vscode.TextEditor | undefined> {
if (vscode.window.activeTextEditor?.document.uri !== uri) {
// `vscode.window.visibleTextEditors` only contains editors whose contents are being displayed
await vscode.window.showTextDocument(uri, {});
}
2020-11-04 13:50:44 +00:00
return vscode.window.visibleTextEditors.find(
2023-07-11 13:35:10 +00:00
(it) => it.document.uri.toString() === uri.toString(),
2020-11-04 13:50:44 +00:00
);
2020-05-25 12:12:53 +00:00
}
2020-05-25 08:59:54 +00:00
2020-05-25 12:12:53 +00:00
export async function applySnippetTextEdits(editor: vscode.TextEditor, edits: vscode.TextEdit[]) {
2021-03-27 18:02:08 +00:00
const selections: vscode.Selection[] = [];
2020-05-25 08:59:54 +00:00
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;
selections.push(
new vscode.Selection(
2020-05-25 08:59:54 +00:00
new vscode.Position(startLine, startColumn),
2023-07-11 13:35:10 +00:00
new vscode.Position(startLine, endColumn),
),
);
2020-05-25 08:59:54 +00:00
builder.replace(indel.range, newText);
} else {
builder.replace(indel.range, indel.newText);
}
lineDelta +=
countLines(indel.newText) - (indel.range.end.line - indel.range.start.line);
2020-05-25 08:59:54 +00:00
}
});
if (selections.length > 0) editor.selections = selections;
2021-05-23 20:32:24 +00:00
if (selections.length === 1) {
const selection = unwrapUndefinable(selections[0]);
editor.revealRange(selection, vscode.TextEditorRevealType.InCenterIfOutsideViewport);
2021-05-23 20:32:24 +00:00
}
2020-05-25 08:59:54 +00:00
}
function parseSnippet(snip: string): [string, [number, number]] | undefined {
const m = snip.match(/\$(0|\{0:([^}]*)\})/);
if (!m) return undefined;
const placeholder = m[2] ?? "";
2021-02-07 18:36:16 +00:00
if (m.index == null) return undefined;
2021-02-07 17:45:13 +00:00
const range: [number, number] = [m.index, placeholder.length];
2020-05-25 08:59:54 +00:00
const insert = snip.replace(m[0], placeholder);
return [insert, range];
}
function countLines(text: string): number {
return (text.match(/\n/g) || []).length;
}