diff options
author | Adolfo OchagavĂa <[email protected]> | 2018-10-07 21:44:25 +0100 |
---|---|---|
committer | Adolfo OchagavĂa <[email protected]> | 2018-10-07 22:03:38 +0100 |
commit | 69de7e2fd71c3a808f0ac856d7b105eeb210f169 (patch) | |
tree | 62a163c43cb710cff18de6c7e8e47a81038ad1bb /editors/code/src | |
parent | e4fdfd15012c983e4555996aa466b57d787e4385 (diff) |
Refactor vscode extension
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/commands.ts | 17 | ||||
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 58 | ||||
-rw-r--r-- | editors/code/src/commands/extend_selection.ts | 29 | ||||
-rw-r--r-- | editors/code/src/commands/join_lines.ts | 21 | ||||
-rw-r--r-- | editors/code/src/commands/matching_brace.ts | 27 | ||||
-rw-r--r-- | editors/code/src/commands/parent_module.ts | 22 | ||||
-rw-r--r-- | editors/code/src/commands/runnables.ts | 88 | ||||
-rw-r--r-- | editors/code/src/commands/syntaxTree.ts | 38 | ||||
-rw-r--r-- | editors/code/src/events.ts | 7 | ||||
-rw-r--r-- | editors/code/src/events/change_active_text_editor.ts | 14 | ||||
-rw-r--r-- | editors/code/src/events/change_text_document.ts | 19 | ||||
-rw-r--r-- | editors/code/src/extension.ts | 441 | ||||
-rw-r--r-- | editors/code/src/highlighting.ts | 78 | ||||
-rw-r--r-- | editors/code/src/server.ts | 74 |
14 files changed, 518 insertions, 415 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts new file mode 100644 index 000000000..99cac3379 --- /dev/null +++ b/editors/code/src/commands.ts | |||
@@ -0,0 +1,17 @@ | |||
1 | import * as applySourceChange from './commands/apply_source_change'; | ||
2 | import * as extendSelection from './commands/extend_selection'; | ||
3 | import * as joinLines from './commands/join_lines'; | ||
4 | import * as matchingBrace from './commands/matching_brace'; | ||
5 | import * as parentModule from './commands/parent_module'; | ||
6 | import * as runnables from './commands/runnables'; | ||
7 | import * as syntaxTree from './commands/syntaxTree'; | ||
8 | |||
9 | export { | ||
10 | applySourceChange, | ||
11 | extendSelection, | ||
12 | joinLines, | ||
13 | matchingBrace, | ||
14 | parentModule, | ||
15 | runnables, | ||
16 | syntaxTree | ||
17 | } | ||
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts new file mode 100644 index 000000000..dcbbb2b09 --- /dev/null +++ b/editors/code/src/commands/apply_source_change.ts | |||
@@ -0,0 +1,58 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | import * as lc from 'vscode-languageclient' | ||
3 | |||
4 | import { Server } from '../server'; | ||
5 | |||
6 | interface FileSystemEdit { | ||
7 | type: string; | ||
8 | uri?: string; | ||
9 | src?: string; | ||
10 | dst?: string; | ||
11 | } | ||
12 | |||
13 | export interface SourceChange { | ||
14 | label: string, | ||
15 | sourceFileEdits: lc.TextDocumentEdit[], | ||
16 | fileSystemEdits: FileSystemEdit[], | ||
17 | cursorPosition?: lc.TextDocumentPositionParams, | ||
18 | } | ||
19 | |||
20 | export async function handle(change: SourceChange) { | ||
21 | console.log(`applySOurceChange ${JSON.stringify(change)}`) | ||
22 | let wsEdit = new vscode.WorkspaceEdit() | ||
23 | for (let sourceEdit of change.sourceFileEdits) { | ||
24 | let uri = Server.client.protocol2CodeConverter.asUri(sourceEdit.textDocument.uri) | ||
25 | let edits = Server.client.protocol2CodeConverter.asTextEdits(sourceEdit.edits) | ||
26 | wsEdit.set(uri, edits) | ||
27 | } | ||
28 | let created; | ||
29 | let moved; | ||
30 | for (let fsEdit of change.fileSystemEdits) { | ||
31 | if (fsEdit.type == "createFile") { | ||
32 | let uri = vscode.Uri.parse(fsEdit.uri!) | ||
33 | wsEdit.createFile(uri) | ||
34 | created = uri | ||
35 | } else if (fsEdit.type == "moveFile") { | ||
36 | let src = vscode.Uri.parse(fsEdit.src!) | ||
37 | let dst = vscode.Uri.parse(fsEdit.dst!) | ||
38 | wsEdit.renameFile(src, dst) | ||
39 | moved = dst | ||
40 | } else { | ||
41 | console.error(`unknown op: ${JSON.stringify(fsEdit)}`) | ||
42 | } | ||
43 | } | ||
44 | let toOpen = created || moved | ||
45 | let toReveal = change.cursorPosition | ||
46 | await vscode.workspace.applyEdit(wsEdit) | ||
47 | if (toOpen) { | ||
48 | let doc = await vscode.workspace.openTextDocument(toOpen) | ||
49 | await vscode.window.showTextDocument(doc) | ||
50 | } else if (toReveal) { | ||
51 | let uri = Server.client.protocol2CodeConverter.asUri(toReveal.textDocument.uri) | ||
52 | let position = Server.client.protocol2CodeConverter.asPosition(toReveal.position) | ||
53 | let editor = vscode.window.activeTextEditor; | ||
54 | if (!editor || editor.document.uri.toString() != uri.toString()) return | ||
55 | if (!editor.selection.isEmpty) return | ||
56 | editor!.selection = new vscode.Selection(position, position) | ||
57 | } | ||
58 | } | ||
diff --git a/editors/code/src/commands/extend_selection.ts b/editors/code/src/commands/extend_selection.ts new file mode 100644 index 000000000..b90828ba9 --- /dev/null +++ b/editors/code/src/commands/extend_selection.ts | |||
@@ -0,0 +1,29 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { TextDocumentIdentifier, Range } from "vscode-languageclient"; | ||
4 | import { Server } from '../server'; | ||
5 | |||
6 | interface ExtendSelectionParams { | ||
7 | textDocument: TextDocumentIdentifier; | ||
8 | selections: Range[]; | ||
9 | } | ||
10 | |||
11 | interface ExtendSelectionResult { | ||
12 | selections: Range[]; | ||
13 | } | ||
14 | |||
15 | export async function handle() { | ||
16 | let editor = vscode.window.activeTextEditor | ||
17 | if (editor == null || editor.document.languageId != "rust") return | ||
18 | let request: ExtendSelectionParams = { | ||
19 | textDocument: { uri: editor.document.uri.toString() }, | ||
20 | selections: editor.selections.map((s) => { | ||
21 | return Server.client.code2ProtocolConverter.asRange(s) | ||
22 | }) | ||
23 | } | ||
24 | let response = await Server.client.sendRequest<ExtendSelectionResult>("m/extendSelection", request) | ||
25 | editor.selections = response.selections.map((range: Range) => { | ||
26 | let r = Server.client.protocol2CodeConverter.asRange(range) | ||
27 | return new vscode.Selection(r.start, r.end) | ||
28 | }) | ||
29 | } | ||
diff --git a/editors/code/src/commands/join_lines.ts b/editors/code/src/commands/join_lines.ts new file mode 100644 index 000000000..7ae7b9d76 --- /dev/null +++ b/editors/code/src/commands/join_lines.ts | |||
@@ -0,0 +1,21 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { TextDocumentIdentifier, Range } from "vscode-languageclient"; | ||
4 | import { Server } from '../server'; | ||
5 | import { handle as applySourceChange, SourceChange } from './apply_source_change'; | ||
6 | |||
7 | interface JoinLinesParams { | ||
8 | textDocument: TextDocumentIdentifier; | ||
9 | range: Range; | ||
10 | } | ||
11 | |||
12 | export async function handle() { | ||
13 | let editor = vscode.window.activeTextEditor | ||
14 | if (editor == null || editor.document.languageId != "rust") return | ||
15 | let request: JoinLinesParams = { | ||
16 | textDocument: { uri: editor.document.uri.toString() }, | ||
17 | range: Server.client.code2ProtocolConverter.asRange(editor.selection), | ||
18 | } | ||
19 | let change = await Server.client.sendRequest<SourceChange>("m/joinLines", request) | ||
20 | await applySourceChange(change) | ||
21 | } | ||
diff --git a/editors/code/src/commands/matching_brace.ts b/editors/code/src/commands/matching_brace.ts new file mode 100644 index 000000000..572c15ce8 --- /dev/null +++ b/editors/code/src/commands/matching_brace.ts | |||
@@ -0,0 +1,27 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { TextDocumentIdentifier, Position } from "vscode-languageclient"; | ||
4 | import { Server } from '../server'; | ||
5 | |||
6 | interface FindMatchingBraceParams { | ||
7 | textDocument: TextDocumentIdentifier; | ||
8 | offsets: Position[]; | ||
9 | } | ||
10 | |||
11 | export async function handle() { | ||
12 | let editor = vscode.window.activeTextEditor | ||
13 | if (editor == null || editor.document.languageId != "rust") return | ||
14 | let request: FindMatchingBraceParams = { | ||
15 | textDocument: { uri: editor.document.uri.toString() }, | ||
16 | offsets: editor.selections.map((s) => { | ||
17 | return Server.client.code2ProtocolConverter.asPosition(s.active) | ||
18 | }) | ||
19 | } | ||
20 | let response = await Server.client.sendRequest<Position[]>("m/findMatchingBrace", request) | ||
21 | editor.selections = editor.selections.map((sel, idx) => { | ||
22 | let active = Server.client.protocol2CodeConverter.asPosition(response[idx]) | ||
23 | let anchor = sel.isEmpty ? active : sel.anchor | ||
24 | return new vscode.Selection(anchor, active) | ||
25 | }) | ||
26 | editor.revealRange(editor.selection) | ||
27 | }; | ||
diff --git a/editors/code/src/commands/parent_module.ts b/editors/code/src/commands/parent_module.ts new file mode 100644 index 000000000..dae60bfb4 --- /dev/null +++ b/editors/code/src/commands/parent_module.ts | |||
@@ -0,0 +1,22 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { TextDocumentIdentifier, Location } from "vscode-languageclient"; | ||
4 | import { Server } from '../server'; | ||
5 | |||
6 | export async function handle() { | ||
7 | let editor = vscode.window.activeTextEditor | ||
8 | if (editor == null || editor.document.languageId != "rust") return | ||
9 | let request: TextDocumentIdentifier = { | ||
10 | uri: editor.document.uri.toString() | ||
11 | } | ||
12 | let response = await Server.client.sendRequest<Location[]>("m/parentModule", request) | ||
13 | let loc = response[0] | ||
14 | if (loc == null) return | ||
15 | let uri = Server.client.protocol2CodeConverter.asUri(loc.uri) | ||
16 | let range = Server.client.protocol2CodeConverter.asRange(loc.range) | ||
17 | |||
18 | let doc = await vscode.workspace.openTextDocument(uri) | ||
19 | let e = await vscode.window.showTextDocument(doc) | ||
20 | e.selection = new vscode.Selection(range.start, range.start) | ||
21 | e.revealRange(range, vscode.TextEditorRevealType.InCenter) | ||
22 | } | ||
diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts new file mode 100644 index 000000000..45c16497d --- /dev/null +++ b/editors/code/src/commands/runnables.ts | |||
@@ -0,0 +1,88 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | import * as lc from 'vscode-languageclient' | ||
3 | import { Server } from '../server'; | ||
4 | |||
5 | interface RunnablesParams { | ||
6 | textDocument: lc.TextDocumentIdentifier, | ||
7 | position?: lc.Position, | ||
8 | } | ||
9 | |||
10 | interface Runnable { | ||
11 | range: lc.Range; | ||
12 | label: string; | ||
13 | bin: string; | ||
14 | args: string[]; | ||
15 | env: { [index: string]: string }, | ||
16 | } | ||
17 | |||
18 | class RunnableQuickPick implements vscode.QuickPickItem { | ||
19 | label: string; | ||
20 | description?: string | undefined; | ||
21 | detail?: string | undefined; | ||
22 | picked?: boolean | undefined; | ||
23 | |||
24 | constructor(public runnable: Runnable) { | ||
25 | this.label = runnable.label | ||
26 | } | ||
27 | } | ||
28 | |||
29 | interface CargoTaskDefinition extends vscode.TaskDefinition { | ||
30 | type: 'cargo'; | ||
31 | label: string; | ||
32 | command: string; | ||
33 | args: Array<string>; | ||
34 | env?: { [key: string]: string }; | ||
35 | } | ||
36 | |||
37 | function createTask(spec: Runnable): vscode.Task { | ||
38 | const TASK_SOURCE = 'Rust'; | ||
39 | let definition: CargoTaskDefinition = { | ||
40 | type: 'cargo', | ||
41 | label: 'cargo', | ||
42 | command: spec.bin, | ||
43 | args: spec.args, | ||
44 | env: spec.env | ||
45 | } | ||
46 | |||
47 | let execCmd = `${definition.command} ${definition.args.join(' ')}`; | ||
48 | let execOption: vscode.ShellExecutionOptions = { | ||
49 | cwd: '.', | ||
50 | env: definition.env, | ||
51 | }; | ||
52 | let exec = new vscode.ShellExecution(`clear; ${execCmd}`, execOption); | ||
53 | |||
54 | let f = vscode.workspace.workspaceFolders![0] | ||
55 | let t = new vscode.Task(definition, f, definition.label, TASK_SOURCE, exec, ['$rustc']); | ||
56 | return t; | ||
57 | } | ||
58 | |||
59 | let prevRunnable: RunnableQuickPick | undefined = undefined | ||
60 | export async function handle() { | ||
61 | let editor = vscode.window.activeTextEditor | ||
62 | if (editor == null || editor.document.languageId != "rust") return | ||
63 | let textDocument: lc.TextDocumentIdentifier = { | ||
64 | uri: editor.document.uri.toString() | ||
65 | } | ||
66 | let params: RunnablesParams = { | ||
67 | textDocument, | ||
68 | position: Server.client.code2ProtocolConverter.asPosition(editor.selection.active) | ||
69 | } | ||
70 | let runnables = await Server.client.sendRequest<Runnable[]>('m/runnables', params) | ||
71 | let items: RunnableQuickPick[] = [] | ||
72 | if (prevRunnable) { | ||
73 | items.push(prevRunnable) | ||
74 | } | ||
75 | for (let r of runnables) { | ||
76 | if (prevRunnable && JSON.stringify(prevRunnable.runnable) == JSON.stringify(r)) { | ||
77 | continue | ||
78 | } | ||
79 | items.push(new RunnableQuickPick(r)) | ||
80 | } | ||
81 | let item = await vscode.window.showQuickPick(items) | ||
82 | if (item) { | ||
83 | item.detail = "rerun" | ||
84 | prevRunnable = item | ||
85 | let task = createTask(item.runnable) | ||
86 | return await vscode.tasks.executeTask(task) | ||
87 | } | ||
88 | } | ||
diff --git a/editors/code/src/commands/syntaxTree.ts b/editors/code/src/commands/syntaxTree.ts new file mode 100644 index 000000000..d5daa9302 --- /dev/null +++ b/editors/code/src/commands/syntaxTree.ts | |||
@@ -0,0 +1,38 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | import { TextDocumentIdentifier } from 'vscode-languageclient'; | ||
3 | |||
4 | import { Server } from '../server'; | ||
5 | |||
6 | export const syntaxTreeUri = vscode.Uri.parse('ra-lsp://syntaxtree'); | ||
7 | |||
8 | export class TextDocumentContentProvider implements vscode.TextDocumentContentProvider { | ||
9 | public eventEmitter = new vscode.EventEmitter<vscode.Uri>() | ||
10 | public syntaxTree: string = "Not available" | ||
11 | |||
12 | public provideTextDocumentContent(uri: vscode.Uri): vscode.ProviderResult<string> { | ||
13 | let editor = vscode.window.activeTextEditor; | ||
14 | if (editor == null) return "" | ||
15 | let request: SyntaxTreeParams = { | ||
16 | textDocument: { uri: editor.document.uri.toString() } | ||
17 | }; | ||
18 | return Server.client.sendRequest<SyntaxTreeResult>("m/syntaxTree", request); | ||
19 | } | ||
20 | |||
21 | get onDidChange(): vscode.Event<vscode.Uri> { | ||
22 | return this.eventEmitter.event | ||
23 | } | ||
24 | } | ||
25 | |||
26 | interface SyntaxTreeParams { | ||
27 | textDocument: TextDocumentIdentifier; | ||
28 | } | ||
29 | |||
30 | type SyntaxTreeResult = string; | ||
31 | |||
32 | // Opens the virtual file that will show the syntax tree | ||
33 | // | ||
34 | // The contents of the file come from the `TextDocumentContentProvider` | ||
35 | export async function handle() { | ||
36 | let document = await vscode.workspace.openTextDocument(syntaxTreeUri) | ||
37 | return vscode.window.showTextDocument(document, vscode.ViewColumn.Two, true) | ||
38 | } | ||
diff --git a/editors/code/src/events.ts b/editors/code/src/events.ts new file mode 100644 index 000000000..b143bb256 --- /dev/null +++ b/editors/code/src/events.ts | |||
@@ -0,0 +1,7 @@ | |||
1 | import * as changeActiveTextEditor from './events/change_active_text_editor' | ||
2 | import * as changeTextDocument from './events/change_text_document'; | ||
3 | |||
4 | export { | ||
5 | changeActiveTextEditor, | ||
6 | changeTextDocument | ||
7 | } \ No newline at end of file | ||
diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts new file mode 100644 index 000000000..bbdd53098 --- /dev/null +++ b/editors/code/src/events/change_active_text_editor.ts | |||
@@ -0,0 +1,14 @@ | |||
1 | import { TextEditor } from "vscode"; | ||
2 | import { TextDocumentIdentifier } from "vscode-languageclient"; | ||
3 | |||
4 | import { Server } from "../server"; | ||
5 | import { Decoration } from "../highlighting"; | ||
6 | |||
7 | export async function handle(editor: TextEditor | undefined) { | ||
8 | if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') return | ||
9 | let params: TextDocumentIdentifier = { | ||
10 | uri: editor.document.uri.toString() | ||
11 | } | ||
12 | let decorations = await Server.client.sendRequest<Decoration[]>("m/decorationsRequest", params) | ||
13 | Server.highlighter.setHighlights(editor, decorations) | ||
14 | } \ No newline at end of file | ||
diff --git a/editors/code/src/events/change_text_document.ts b/editors/code/src/events/change_text_document.ts new file mode 100644 index 000000000..83ee6c9ee --- /dev/null +++ b/editors/code/src/events/change_text_document.ts | |||
@@ -0,0 +1,19 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { syntaxTreeUri, TextDocumentContentProvider } from '../commands/syntaxTree'; | ||
4 | |||
5 | export function createHandler(textDocumentContentProvider: TextDocumentContentProvider) { | ||
6 | return (event: vscode.TextDocumentChangeEvent) => { | ||
7 | let doc = event.document | ||
8 | if (doc.languageId != "rust") return | ||
9 | afterLs(() => { | ||
10 | textDocumentContentProvider.eventEmitter.fire(syntaxTreeUri); | ||
11 | }) | ||
12 | } | ||
13 | } | ||
14 | |||
15 | // We need to order this after LS updates, but there's no API for that. | ||
16 | // Hence, good old setTimeout. | ||
17 | function afterLs(f: () => any) { | ||
18 | setTimeout(f, 10) | ||
19 | } | ||
diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts index fde6a480d..595fb98fe 100644 --- a/editors/code/src/extension.ts +++ b/editors/code/src/extension.ts | |||
@@ -1,434 +1,45 @@ | |||
1 | 'use strict'; | ||
2 | import * as vscode from 'vscode'; | 1 | import * as vscode from 'vscode'; |
3 | import * as lc from 'vscode-languageclient' | ||
4 | 2 | ||
5 | let client: lc.LanguageClient; | 3 | import * as commands from './commands' |
6 | 4 | import * as events from './events' | |
7 | let uris = { | 5 | import { Server } from './server'; |
8 | syntaxTree: vscode.Uri.parse('ra-lsp://syntaxtree') | 6 | import { TextDocumentContentProvider } from './commands/syntaxTree'; |
9 | } | ||
10 | |||
11 | let highlightingOn = true; | ||
12 | 7 | ||
13 | export function activate(context: vscode.ExtensionContext) { | 8 | export function activate(context: vscode.ExtensionContext) { |
14 | let applyHighlightingOn = () => { | 9 | function disposeOnDeactivation(disposable: vscode.Disposable) { |
15 | let config = vscode.workspace.getConfiguration('ra-lsp'); | ||
16 | if (config.has('highlightingOn')) { | ||
17 | highlightingOn = config.get('highlightingOn') as boolean; | ||
18 | }; | ||
19 | |||
20 | if (!highlightingOn) { | ||
21 | removeHighlights(); | ||
22 | } | ||
23 | }; | ||
24 | |||
25 | // Apply the highlightingOn config now and whenever the config changes | ||
26 | applyHighlightingOn(); | ||
27 | vscode.workspace.onDidChangeConfiguration(_ => { | ||
28 | applyHighlightingOn(); | ||
29 | }); | ||
30 | |||
31 | let textDocumentContentProvider = new TextDocumentContentProvider() | ||
32 | let dispose = (disposable: vscode.Disposable) => { | ||
33 | context.subscriptions.push(disposable); | 10 | context.subscriptions.push(disposable); |
34 | } | 11 | } |
35 | let registerCommand = (name: string, f: any) => { | ||
36 | dispose(vscode.commands.registerCommand(name, f)) | ||
37 | } | ||
38 | |||
39 | registerCommand('ra-lsp.syntaxTree', () => openDoc(uris.syntaxTree)) | ||
40 | registerCommand('ra-lsp.extendSelection', async () => { | ||
41 | let editor = vscode.window.activeTextEditor | ||
42 | if (editor == null || editor.document.languageId != "rust") return | ||
43 | let request: ExtendSelectionParams = { | ||
44 | textDocument: { uri: editor.document.uri.toString() }, | ||
45 | selections: editor.selections.map((s) => { | ||
46 | return client.code2ProtocolConverter.asRange(s) | ||
47 | }) | ||
48 | } | ||
49 | let response = await client.sendRequest<ExtendSelectionResult>("m/extendSelection", request) | ||
50 | editor.selections = response.selections.map((range) => { | ||
51 | let r = client.protocol2CodeConverter.asRange(range) | ||
52 | return new vscode.Selection(r.start, r.end) | ||
53 | }) | ||
54 | }) | ||
55 | registerCommand('ra-lsp.matchingBrace', async () => { | ||
56 | let editor = vscode.window.activeTextEditor | ||
57 | if (editor == null || editor.document.languageId != "rust") return | ||
58 | let request: FindMatchingBraceParams = { | ||
59 | textDocument: { uri: editor.document.uri.toString() }, | ||
60 | offsets: editor.selections.map((s) => { | ||
61 | return client.code2ProtocolConverter.asPosition(s.active) | ||
62 | }) | ||
63 | } | ||
64 | let response = await client.sendRequest<lc.Position[]>("m/findMatchingBrace", request) | ||
65 | editor.selections = editor.selections.map((sel, idx) => { | ||
66 | let active = client.protocol2CodeConverter.asPosition(response[idx]) | ||
67 | let anchor = sel.isEmpty ? active : sel.anchor | ||
68 | return new vscode.Selection(anchor, active) | ||
69 | }) | ||
70 | editor.revealRange(editor.selection) | ||
71 | }) | ||
72 | registerCommand('ra-lsp.joinLines', async () => { | ||
73 | let editor = vscode.window.activeTextEditor | ||
74 | if (editor == null || editor.document.languageId != "rust") return | ||
75 | let request: JoinLinesParams = { | ||
76 | textDocument: { uri: editor.document.uri.toString() }, | ||
77 | range: client.code2ProtocolConverter.asRange(editor.selection), | ||
78 | } | ||
79 | let change = await client.sendRequest<SourceChange>("m/joinLines", request) | ||
80 | await applySourceChange(change) | ||
81 | }) | ||
82 | registerCommand('ra-lsp.parentModule', async () => { | ||
83 | let editor = vscode.window.activeTextEditor | ||
84 | if (editor == null || editor.document.languageId != "rust") return | ||
85 | let request: lc.TextDocumentIdentifier = { | ||
86 | uri: editor.document.uri.toString() | ||
87 | } | ||
88 | let response = await client.sendRequest<lc.Location[]>("m/parentModule", request) | ||
89 | let loc = response[0] | ||
90 | if (loc == null) return | ||
91 | let uri = client.protocol2CodeConverter.asUri(loc.uri) | ||
92 | let range = client.protocol2CodeConverter.asRange(loc.range) | ||
93 | 12 | ||
94 | let doc = await vscode.workspace.openTextDocument(uri) | 13 | function registerCommand(name: string, f: any) { |
95 | let e = await vscode.window.showTextDocument(doc) | 14 | disposeOnDeactivation(vscode.commands.registerCommand(name, f)) |
96 | e.selection = new vscode.Selection(range.start, range.start) | 15 | } |
97 | e.revealRange(range, vscode.TextEditorRevealType.InCenter) | ||
98 | }) | ||
99 | 16 | ||
100 | let prevRunnable: RunnableQuickPick | undefined = undefined | 17 | registerCommand('ra-lsp.syntaxTree', commands.syntaxTree.handle) |
101 | registerCommand('ra-lsp.run', async () => { | 18 | registerCommand('ra-lsp.extendSelection', commands.extendSelection.handle); |
102 | let editor = vscode.window.activeTextEditor | 19 | registerCommand('ra-lsp.matchingBrace', commands.matchingBrace.handle); |
103 | if (editor == null || editor.document.languageId != "rust") return | 20 | registerCommand('ra-lsp.joinLines', commands.joinLines.handle); |
104 | let textDocument: lc.TextDocumentIdentifier = { | 21 | registerCommand('ra-lsp.parentModule', commands.parentModule.handle); |
105 | uri: editor.document.uri.toString() | 22 | registerCommand('ra-lsp.run', commands.runnables.handle); |
106 | } | 23 | registerCommand('ra-lsp.applySourceChange', commands.applySourceChange.handle); |
107 | let params: RunnablesParams = { | ||
108 | textDocument, | ||
109 | position: client.code2ProtocolConverter.asPosition(editor.selection.active) | ||
110 | } | ||
111 | let runnables = await client.sendRequest<Runnable[]>('m/runnables', params) | ||
112 | let items: RunnableQuickPick[] = [] | ||
113 | if (prevRunnable) { | ||
114 | items.push(prevRunnable) | ||
115 | } | ||
116 | for (let r of runnables) { | ||
117 | if (prevRunnable && JSON.stringify(prevRunnable.runnable) == JSON.stringify(r)) { | ||
118 | continue | ||
119 | } | ||
120 | items.push(new RunnableQuickPick(r)) | ||
121 | } | ||
122 | let item = await vscode.window.showQuickPick(items) | ||
123 | if (item) { | ||
124 | item.detail = "rerun" | ||
125 | prevRunnable = item | ||
126 | let task = createTask(item.runnable) | ||
127 | return await vscode.tasks.executeTask(task) | ||
128 | } | ||
129 | }) | ||
130 | registerCommand('ra-lsp.applySourceChange', applySourceChange) | ||
131 | 24 | ||
132 | dispose(vscode.workspace.registerTextDocumentContentProvider( | 25 | let textDocumentContentProvider = new TextDocumentContentProvider() |
26 | disposeOnDeactivation(vscode.workspace.registerTextDocumentContentProvider( | ||
133 | 'ra-lsp', | 27 | 'ra-lsp', |
134 | textDocumentContentProvider | 28 | textDocumentContentProvider |
135 | )) | 29 | )) |
136 | startServer() | ||
137 | vscode.workspace.onDidChangeTextDocument((event: vscode.TextDocumentChangeEvent) => { | ||
138 | let doc = event.document | ||
139 | if (doc.languageId != "rust") return | ||
140 | afterLs(() => { | ||
141 | textDocumentContentProvider.eventEmitter.fire(uris.syntaxTree) | ||
142 | }) | ||
143 | }, null, context.subscriptions) | ||
144 | vscode.window.onDidChangeActiveTextEditor(async (editor) => { | ||
145 | if (!highlightingOn || !editor || editor.document.languageId != 'rust') return | ||
146 | let params: lc.TextDocumentIdentifier = { | ||
147 | uri: editor.document.uri.toString() | ||
148 | } | ||
149 | let decorations = await client.sendRequest<Decoration[]>("m/decorationsRequest", params) | ||
150 | setHighlights(editor, decorations) | ||
151 | }) | ||
152 | } | ||
153 | 30 | ||
154 | // We need to order this after LS updates, but there's no API for that. | 31 | Server.start() |
155 | // Hence, good old setTimeout. | 32 | |
156 | function afterLs(f: () => any) { | 33 | vscode.workspace.onDidChangeTextDocument( |
157 | setTimeout(f, 10) | 34 | events.changeTextDocument.createHandler(textDocumentContentProvider), |
35 | null, | ||
36 | context.subscriptions) | ||
37 | vscode.window.onDidChangeActiveTextEditor(events.changeActiveTextEditor.handle) | ||
158 | } | 38 | } |
159 | 39 | ||
160 | export function deactivate(): Thenable<void> { | 40 | export function deactivate(): Thenable<void> { |
161 | if (!client) { | 41 | if (!Server.client) { |
162 | return Promise.resolve(); | 42 | return Promise.resolve(); |
163 | } | 43 | } |
164 | return client.stop(); | 44 | return Server.client.stop(); |
165 | } | ||
166 | |||
167 | function startServer() { | ||
168 | let run: lc.Executable = { | ||
169 | command: "ra_lsp_server", | ||
170 | options: { cwd: "." } | ||
171 | } | ||
172 | let serverOptions: lc.ServerOptions = { | ||
173 | run, | ||
174 | debug: run | ||
175 | }; | ||
176 | |||
177 | let clientOptions: lc.LanguageClientOptions = { | ||
178 | documentSelector: [{ scheme: 'file', language: 'rust' }], | ||
179 | }; | ||
180 | |||
181 | client = new lc.LanguageClient( | ||
182 | 'ra-lsp', | ||
183 | 'rust-analyzer languge server', | ||
184 | serverOptions, | ||
185 | clientOptions, | ||
186 | ); | ||
187 | client.onReady().then(() => { | ||
188 | client.onNotification( | ||
189 | "m/publishDecorations", | ||
190 | (params: PublishDecorationsParams) => { | ||
191 | let editor = vscode.window.visibleTextEditors.find( | ||
192 | (editor) => editor.document.uri.toString() == params.uri | ||
193 | ) | ||
194 | if (!highlightingOn || !editor) return; | ||
195 | setHighlights( | ||
196 | editor, | ||
197 | params.decorations, | ||
198 | ) | ||
199 | } | ||
200 | ) | ||
201 | }) | ||
202 | client.start(); | ||
203 | } | ||
204 | |||
205 | async function openDoc(uri: vscode.Uri) { | ||
206 | let document = await vscode.workspace.openTextDocument(uri) | ||
207 | return vscode.window.showTextDocument(document, vscode.ViewColumn.Two, true) | ||
208 | } | ||
209 | |||
210 | class TextDocumentContentProvider implements vscode.TextDocumentContentProvider { | ||
211 | public eventEmitter = new vscode.EventEmitter<vscode.Uri>() | ||
212 | public syntaxTree: string = "Not available" | ||
213 | |||
214 | public provideTextDocumentContent(uri: vscode.Uri): vscode.ProviderResult<string> { | ||
215 | let editor = vscode.window.activeTextEditor; | ||
216 | if (editor == null) return "" | ||
217 | let request: SyntaxTreeParams = { | ||
218 | textDocument: { uri: editor.document.uri.toString() } | ||
219 | }; | ||
220 | return client.sendRequest<SyntaxTreeResult>("m/syntaxTree", request); | ||
221 | } | ||
222 | |||
223 | get onDidChange(): vscode.Event<vscode.Uri> { | ||
224 | return this.eventEmitter.event | ||
225 | } | ||
226 | } | ||
227 | |||
228 | let decorations: { [index: string]: vscode.TextEditorDecorationType } = {}; | ||
229 | |||
230 | function initDecorations() { | ||
231 | const decor = (obj: any) => vscode.window.createTextEditorDecorationType({ color: obj }) | ||
232 | decorations = { | ||
233 | background: decor("#3F3F3F"), | ||
234 | error: vscode.window.createTextEditorDecorationType({ | ||
235 | borderColor: "red", | ||
236 | borderStyle: "none none dashed none", | ||
237 | }), | ||
238 | comment: decor("#7F9F7F"), | ||
239 | string: decor("#CC9393"), | ||
240 | keyword: decor("#F0DFAF"), | ||
241 | function: decor("#93E0E3"), | ||
242 | parameter: decor("#94BFF3"), | ||
243 | builtin: decor("#DD6718"), | ||
244 | text: decor("#DCDCCC"), | ||
245 | attribute: decor("#BFEBBF"), | ||
246 | literal: decor("#DFAF8F"), | ||
247 | } | ||
248 | } | ||
249 | |||
250 | function removeHighlights() { | ||
251 | for (let tag in decorations) { | ||
252 | decorations[tag].dispose(); | ||
253 | } | ||
254 | |||
255 | decorations = {}; | ||
256 | } | ||
257 | |||
258 | function setHighlights( | ||
259 | editor: vscode.TextEditor, | ||
260 | highlights: Array<Decoration> | ||
261 | ) { | ||
262 | // Initialize decorations if necessary | ||
263 | // | ||
264 | // Note: decoration objects need to be kept around so we can dispose them | ||
265 | // if the user disables syntax highlighting | ||
266 | if (Object.keys(decorations).length === 0) { | ||
267 | initDecorations(); | ||
268 | } | ||
269 | |||
270 | let byTag: Map<string, vscode.Range[]> = new Map() | ||
271 | for (let tag in decorations) { | ||
272 | byTag.set(tag, []) | ||
273 | } | ||
274 | |||
275 | for (let d of highlights) { | ||
276 | if (!byTag.get(d.tag)) { | ||
277 | console.log(`unknown tag ${d.tag}`) | ||
278 | continue | ||
279 | } | ||
280 | byTag.get(d.tag)!.push( | ||
281 | client.protocol2CodeConverter.asRange(d.range) | ||
282 | ) | ||
283 | } | ||
284 | |||
285 | for (let tag of byTag.keys()) { | ||
286 | let dec: vscode.TextEditorDecorationType = decorations[tag] | ||
287 | let ranges = byTag.get(tag)! | ||
288 | editor.setDecorations(dec, ranges) | ||
289 | } | ||
290 | } | ||
291 | |||
292 | interface SyntaxTreeParams { | ||
293 | textDocument: lc.TextDocumentIdentifier; | ||
294 | } | ||
295 | |||
296 | type SyntaxTreeResult = string | ||
297 | |||
298 | interface ExtendSelectionParams { | ||
299 | textDocument: lc.TextDocumentIdentifier; | ||
300 | selections: lc.Range[]; | ||
301 | } | ||
302 | |||
303 | interface ExtendSelectionResult { | ||
304 | selections: lc.Range[]; | ||
305 | } | ||
306 | |||
307 | interface FindMatchingBraceParams { | ||
308 | textDocument: lc.TextDocumentIdentifier; | ||
309 | offsets: lc.Position[]; | ||
310 | } | ||
311 | |||
312 | interface JoinLinesParams { | ||
313 | textDocument: lc.TextDocumentIdentifier; | ||
314 | range: lc.Range; | ||
315 | } | ||
316 | |||
317 | interface PublishDecorationsParams { | ||
318 | uri: string, | ||
319 | decorations: Decoration[], | ||
320 | } | ||
321 | |||
322 | interface RunnablesParams { | ||
323 | textDocument: lc.TextDocumentIdentifier, | ||
324 | position?: lc.Position, | ||
325 | } | ||
326 | |||
327 | interface Runnable { | ||
328 | range: lc.Range; | ||
329 | label: string; | ||
330 | bin: string; | ||
331 | args: string[]; | ||
332 | env: { [index: string]: string }, | ||
333 | } | ||
334 | |||
335 | class RunnableQuickPick implements vscode.QuickPickItem { | ||
336 | label: string; | ||
337 | description?: string | undefined; | ||
338 | detail?: string | undefined; | ||
339 | picked?: boolean | undefined; | ||
340 | |||
341 | constructor(public runnable: Runnable) { | ||
342 | this.label = runnable.label | ||
343 | } | ||
344 | } | ||
345 | |||
346 | interface Decoration { | ||
347 | range: lc.Range, | ||
348 | tag: string, | ||
349 | } | ||
350 | |||
351 | |||
352 | interface CargoTaskDefinition extends vscode.TaskDefinition { | ||
353 | type: 'cargo'; | ||
354 | label: string; | ||
355 | command: string; | ||
356 | args: Array<string>; | ||
357 | env?: { [key: string]: string }; | ||
358 | } | ||
359 | |||
360 | function createTask(spec: Runnable): vscode.Task { | ||
361 | const TASK_SOURCE = 'Rust'; | ||
362 | let definition: CargoTaskDefinition = { | ||
363 | type: 'cargo', | ||
364 | label: 'cargo', | ||
365 | command: spec.bin, | ||
366 | args: spec.args, | ||
367 | env: spec.env | ||
368 | } | ||
369 | |||
370 | let execCmd = `${definition.command} ${definition.args.join(' ')}`; | ||
371 | let execOption: vscode.ShellExecutionOptions = { | ||
372 | cwd: '.', | ||
373 | env: definition.env, | ||
374 | }; | ||
375 | let exec = new vscode.ShellExecution(`clear; ${execCmd}`, execOption); | ||
376 | |||
377 | let f = vscode.workspace.workspaceFolders![0] | ||
378 | let t = new vscode.Task(definition, f, definition.label, TASK_SOURCE, exec, ['$rustc']); | ||
379 | return t; | ||
380 | } | ||
381 | |||
382 | interface FileSystemEdit { | ||
383 | type: string; | ||
384 | uri?: string; | ||
385 | src?: string; | ||
386 | dst?: string; | ||
387 | } | ||
388 | |||
389 | interface SourceChange { | ||
390 | label: string, | ||
391 | sourceFileEdits: lc.TextDocumentEdit[], | ||
392 | fileSystemEdits: FileSystemEdit[], | ||
393 | cursorPosition?: lc.TextDocumentPositionParams, | ||
394 | } | ||
395 | |||
396 | async function applySourceChange(change: SourceChange) { | ||
397 | console.log(`applySOurceChange ${JSON.stringify(change)}`) | ||
398 | let wsEdit = new vscode.WorkspaceEdit() | ||
399 | for (let sourceEdit of change.sourceFileEdits) { | ||
400 | let uri = client.protocol2CodeConverter.asUri(sourceEdit.textDocument.uri) | ||
401 | let edits = client.protocol2CodeConverter.asTextEdits(sourceEdit.edits) | ||
402 | wsEdit.set(uri, edits) | ||
403 | } | ||
404 | let created; | ||
405 | let moved; | ||
406 | for (let fsEdit of change.fileSystemEdits) { | ||
407 | if (fsEdit.type == "createFile") { | ||
408 | let uri = vscode.Uri.parse(fsEdit.uri!) | ||
409 | wsEdit.createFile(uri) | ||
410 | created = uri | ||
411 | } else if (fsEdit.type == "moveFile") { | ||
412 | let src = vscode.Uri.parse(fsEdit.src!) | ||
413 | let dst = vscode.Uri.parse(fsEdit.dst!) | ||
414 | wsEdit.renameFile(src, dst) | ||
415 | moved = dst | ||
416 | } else { | ||
417 | console.error(`unknown op: ${JSON.stringify(fsEdit)}`) | ||
418 | } | ||
419 | } | ||
420 | let toOpen = created || moved | ||
421 | let toReveal = change.cursorPosition | ||
422 | await vscode.workspace.applyEdit(wsEdit) | ||
423 | if (toOpen) { | ||
424 | let doc = await vscode.workspace.openTextDocument(toOpen) | ||
425 | await vscode.window.showTextDocument(doc) | ||
426 | } else if (toReveal) { | ||
427 | let uri = client.protocol2CodeConverter.asUri(toReveal.textDocument.uri) | ||
428 | let position = client.protocol2CodeConverter.asPosition(toReveal.position) | ||
429 | let editor = vscode.window.activeTextEditor; | ||
430 | if (!editor || editor.document.uri.toString() != uri.toString()) return | ||
431 | if (!editor.selection.isEmpty) return | ||
432 | editor!.selection = new vscode.Selection(position, position) | ||
433 | } | ||
434 | } | 45 | } |
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts new file mode 100644 index 000000000..169ddb0df --- /dev/null +++ b/editors/code/src/highlighting.ts | |||
@@ -0,0 +1,78 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | import * as lc from 'vscode-languageclient' | ||
3 | |||
4 | import { Server } from './server'; | ||
5 | |||
6 | export interface Decoration { | ||
7 | range: lc.Range, | ||
8 | tag: string, | ||
9 | } | ||
10 | |||
11 | export class Highlighter { | ||
12 | private decorations: { [index: string]: vscode.TextEditorDecorationType }; | ||
13 | constructor() { | ||
14 | this.decorations = {}; | ||
15 | } | ||
16 | |||
17 | removeHighlights() { | ||
18 | for (let tag in this.decorations) { | ||
19 | this.decorations[tag].dispose(); | ||
20 | } | ||
21 | |||
22 | this.decorations = {}; | ||
23 | } | ||
24 | |||
25 | setHighlights( | ||
26 | editor: vscode.TextEditor, | ||
27 | highlights: Array<Decoration> | ||
28 | ) { | ||
29 | // Initialize decorations if necessary | ||
30 | // | ||
31 | // Note: decoration objects need to be kept around so we can dispose them | ||
32 | // if the user disables syntax highlighting | ||
33 | if (Object.keys(this.decorations).length === 0) { | ||
34 | this.initDecorations(); | ||
35 | } | ||
36 | |||
37 | let byTag: Map<string, vscode.Range[]> = new Map() | ||
38 | for (let tag in this.decorations) { | ||
39 | byTag.set(tag, []) | ||
40 | } | ||
41 | |||
42 | for (let d of highlights) { | ||
43 | if (!byTag.get(d.tag)) { | ||
44 | console.log(`unknown tag ${d.tag}`) | ||
45 | continue | ||
46 | } | ||
47 | byTag.get(d.tag)!.push( | ||
48 | Server.client.protocol2CodeConverter.asRange(d.range) | ||
49 | ) | ||
50 | } | ||
51 | |||
52 | for (let tag of byTag.keys()) { | ||
53 | let dec: vscode.TextEditorDecorationType = this.decorations[tag] | ||
54 | let ranges = byTag.get(tag)! | ||
55 | editor.setDecorations(dec, ranges) | ||
56 | } | ||
57 | } | ||
58 | |||
59 | private initDecorations() { | ||
60 | const decor = (obj: any) => vscode.window.createTextEditorDecorationType({ color: obj }) | ||
61 | this.decorations = { | ||
62 | background: decor("#3F3F3F"), | ||
63 | error: vscode.window.createTextEditorDecorationType({ | ||
64 | borderColor: "red", | ||
65 | borderStyle: "none none dashed none", | ||
66 | }), | ||
67 | comment: decor("#7F9F7F"), | ||
68 | string: decor("#CC9393"), | ||
69 | keyword: decor("#F0DFAF"), | ||
70 | function: decor("#93E0E3"), | ||
71 | parameter: decor("#94BFF3"), | ||
72 | builtin: decor("#DD6718"), | ||
73 | text: decor("#DCDCCC"), | ||
74 | attribute: decor("#BFEBBF"), | ||
75 | literal: decor("#DFAF8F"), | ||
76 | } | ||
77 | } | ||
78 | } | ||
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts new file mode 100644 index 000000000..c1c95e008 --- /dev/null +++ b/editors/code/src/server.ts | |||
@@ -0,0 +1,74 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | import * as lc from 'vscode-languageclient' | ||
3 | |||
4 | import { Highlighter, Decoration } from './highlighting'; | ||
5 | |||
6 | export class Config { | ||
7 | highlightingOn = true; | ||
8 | |||
9 | constructor() { | ||
10 | vscode.workspace.onDidChangeConfiguration(_ => this.userConfigChanged()); | ||
11 | this.userConfigChanged(); | ||
12 | } | ||
13 | |||
14 | userConfigChanged() { | ||
15 | let config = vscode.workspace.getConfiguration('ra-lsp'); | ||
16 | if (config.has('highlightingOn')) { | ||
17 | this.highlightingOn = config.get('highlightingOn') as boolean; | ||
18 | }; | ||
19 | |||
20 | if (!this.highlightingOn) { | ||
21 | Server.highlighter.removeHighlights(); | ||
22 | } | ||
23 | } | ||
24 | } | ||
25 | |||
26 | export class Server { | ||
27 | static highlighter = new Highlighter(); | ||
28 | static config = new Config(); | ||
29 | static client: lc.LanguageClient; | ||
30 | |||
31 | |||
32 | static start() { | ||
33 | let run: lc.Executable = { | ||
34 | command: "ra_lsp_server", | ||
35 | options: { cwd: "." } | ||
36 | } | ||
37 | let serverOptions: lc.ServerOptions = { | ||
38 | run, | ||
39 | debug: run | ||
40 | }; | ||
41 | |||
42 | let clientOptions: lc.LanguageClientOptions = { | ||
43 | documentSelector: [{ scheme: 'file', language: 'rust' }], | ||
44 | }; | ||
45 | |||
46 | Server.client = new lc.LanguageClient( | ||
47 | 'ra-lsp', | ||
48 | 'rust-analyzer languge server', | ||
49 | serverOptions, | ||
50 | clientOptions, | ||
51 | ); | ||
52 | Server.client.onReady().then(() => { | ||
53 | Server.client.onNotification( | ||
54 | "m/publishDecorations", | ||
55 | (params: PublishDecorationsParams) => { | ||
56 | let editor = vscode.window.visibleTextEditors.find( | ||
57 | (editor) => editor.document.uri.toString() == params.uri | ||
58 | ) | ||
59 | if (!Server.config.highlightingOn || !editor) return; | ||
60 | Server.highlighter.setHighlights( | ||
61 | editor, | ||
62 | params.decorations, | ||
63 | ) | ||
64 | } | ||
65 | ) | ||
66 | }) | ||
67 | Server.client.start(); | ||
68 | } | ||
69 | } | ||
70 | |||
71 | interface PublishDecorationsParams { | ||
72 | uri: string, | ||
73 | decorations: Decoration[], | ||
74 | } | ||