1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
'use strict';
import * as vscode from 'vscode';
import {
LanguageClient,
LanguageClientOptions,
ServerOptions,
TransportKind,
Executable,
TextDocumentIdentifier
} from 'vscode-languageclient';
let client: LanguageClient;
let uris = {
syntaxTree: vscode.Uri.parse('libsyntax-rust://syntaxtree')
}
export function activate(context: vscode.ExtensionContext) {
let dispose = (disposable) => {
context.subscriptions.push(disposable);
}
let registerCommand = (name, f) => {
dispose(vscode.commands.registerCommand(name, f))
}
registerCommand('libsyntax-rust.syntaxTree', () => openDoc(uris.syntaxTree))
dispose(vscode.workspace.registerTextDocumentContentProvider(
'libsyntax-rust',
new TextDocumentContentProvider()
))
startServer()
}
export function deactivate(): Thenable<void> {
if (!client) {
return undefined;
}
return client.stop();
}
function startServer() {
let run: Executable = {
command: "cargo",
args: ["run", "--package", "m"],
options: { cwd: "." }
}
let serverOptions: ServerOptions = {
run,
debug: run
};
let clientOptions: LanguageClientOptions = {
documentSelector: [{ scheme: 'file', language: 'rust' }],
};
client = new LanguageClient(
'm',
'm languge server',
serverOptions,
clientOptions,
);
client.start();
}
async function openDoc(uri: vscode.Uri) {
let document = await vscode.workspace.openTextDocument(uri)
return vscode.window.showTextDocument(document, vscode.ViewColumn.Two, true)
}
class TextDocumentContentProvider implements vscode.TextDocumentContentProvider {
public eventEmitter = new vscode.EventEmitter<vscode.Uri>()
public syntaxTree: string = "Not available"
public provideTextDocumentContent(uri: vscode.Uri): vscode.ProviderResult<string> {
let editor = vscode.window.activeTextEditor;
if (editor == null) return ""
let textDocument: TextDocumentIdentifier = { uri: editor.document.uri.toString() };
return client.sendRequest("m/syntaxTree", { textDocument })
}
get onDidChange(): vscode.Event<vscode.Uri> {
return this.eventEmitter.event
}
}
|