language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-08-31 07:37:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

use lsp WorkspaceEdit instead of custom source_file_edits and file_system_edits

Browse source
This commit is contained in:
Bernardo 2019-01-03 14:14:36 +01:00
parent aea2183799
commit 3ab328b49a
3 changed files with 47 additions and 69 deletions
Download patch file Download diff file Expand all files Collapse all files

43
editors/code/src/commands/apply_source_change.ts
View file

@ -3,46 +3,23 @@ import * as lc from 'vscode-languageclient';
import { Server } from '../server';
interface FileSystemEdit {
type: string;
uri?: string;
src?: string;
dst?: string;
}
export interface SourceChange {
label: string;
sourceFileEdits: lc.TextDocumentEdit[];
fileSystemEdits: FileSystemEdit[];
workspaceEdit: lc.WorkspaceEdit;
cursorPosition?: lc.TextDocumentPositionParams;
}
export async function handle(change: SourceChange) {
const wsEdit = new vscode.WorkspaceEdit();
for (const sourceEdit of change.sourceFileEdits) {
const uri = Server.client.protocol2CodeConverter.asUri(
sourceEdit.textDocument.uri
);
const edits = Server.client.protocol2CodeConverter.asTextEdits(
sourceEdit.edits
);
wsEdit.set(uri, edits);
}
const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(change.workspaceEdit);
let created;
let moved;
for (const fsEdit of change.fileSystemEdits) {
switch (fsEdit.type) {
case 'createFile':
const uri = vscode.Uri.parse(fsEdit.uri!);
wsEdit.createFile(uri);
created = uri;
break;
case 'moveFile':
const src = vscode.Uri.parse(fsEdit.src!);
const dst = vscode.Uri.parse(fsEdit.dst!);
wsEdit.renameFile(src, dst);
moved = dst;
break;
if (change.workspaceEdit.documentChanges) {
for (const docChange of change.workspaceEdit.documentChanges) {
if (lc.CreateFile.is(docChange)) {
created = docChange.uri;
} else if (lc.RenameFile.is(docChange)) {
moved = docChange.newUri;
}
}
}
const toOpen = created || moved;
@ -65,6 +42,6 @@ export async function handle(change: SourceChange) {
if (!editor.selection.isEmpty) {
return;
}
editor!.selection = new vscode.Selection(position, position);
editor.selection = new vscode.Selection(position, position);
}
}