From 8f900b84ca36ec0689b29c7059d8278a7fab416b Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 25 May 2020 15:02:18 +0200
Subject: [PATCH] added back language recognition
---
client/src/extension.ts | 2 +-
package.json | 21 ++++++++++++++++-----
server/src/server.ts | 4 ++++
3 files changed, 21 insertions(+), 6 deletions(-)
diff --git a/client/src/extension.ts b/client/src/extension.ts
index 9caacc1..984be11 100644
--- a/client/src/extension.ts
+++ b/client/src/extension.ts
@@ -39,7 +39,7 @@ export function activate(context: ExtensionContext) {
// Options to control the language client
let clientOptions: LanguageClientOptions = {
// Register the server for B, EventB documents
- documentSelector: [{ scheme: 'file', language: 'plaintext' }],
+ documentSelector: [{ scheme: 'file', language: 'classicalB' }, { scheme: 'file', language: 'eventB' }],
synchronize: {
// Notify the server about file changes to '.clientrc files contained in the workspace
fileEvents: workspace.createFileSystemWatcher('**/.clientrc')
diff --git a/package.json b/package.json
index c0af141..9e5fd97 100644
--- a/package.json
+++ b/package.json
@@ -18,13 +18,14 @@
"Programming Languages"
],
"keywords": [
- "multi-root ready",
+ "classical B",
"B",
- "eventB",
- "proB"
+ "Event-B",
+ "ProB"
],
"activationEvents": [
- "onLanguage:plaintext"
+ "onLanguage:classicalB",
+ "onLanguage:eventB"
],
"main": "./client/out/extension",
"contributes": {
@@ -74,7 +75,17 @@
"description": "Option for performance-related Hints"
}
}
- }
+ },
+ "languages": [{
+ "id": "classicalB",
+ "extensions": [".mch", ".def", ".imp", ".ref"],
+ "aliases": ["B", "classical B"]
+ },
+ {
+ "id": "eventB",
+ "extensions": [".sys"],
+ "aliases": ["Event-B"]
+ }]
},
"scripts": {
"vscode:prepublish": "npm run compile",
diff --git a/server/src/server.ts b/server/src/server.ts
index deaf0ce..e21538d 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -9,6 +9,7 @@ import {
TextDocumentPositionParams,
TextDocumentSyncKind,
InitializeResult,
+ TextDocumentItem,
} from 'vscode-languageserver';
import {
@@ -220,6 +221,9 @@ connection.onCompletion(
);
+
+
+
//Can be used to enrich completion with more infos
connection.onCompletionResolve(
(item : CompletionItem) => {return item})
--
GitLab