Changeset ebe0f0d for tools/vscode/uwaterloo.cforall-0.1.0

Timestamp:

Apr 6, 2020, 1:28:00 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

057298e

Parents:

b52abe0

Message:

Added basic language server which now properly communicates with the client

Location:

tools/vscode/uwaterloo.cforall-0.1.0

Files:

• client/main.js (modified) (2 diffs)
• package.json (modified) (1 diff)

tools/vscode/uwaterloo.cforall-0.1.0/client/main.js

@@ -23 +23 @@
         // Otherwise the run options are used
         let serverOptions = {
-                run: { command: 'cfa-ls', transport: vscode_lc.TransportKind.ipc },
+                run: { command: 'cfa-ls', transport: vscode_lc.TransportKind.stdio },
                 debug: {
                         command: 'cfa-ls',
-                        transport: vscode_lc.TransportKind.ipc,
+                        transport: vscode_lc.TransportKind.stdio,
                         options: debugOptions
                 }
@@ -32 +32 @@
 
         // Options to control the language client
+        let selector = [{ scheme: 'file', language: 'cforall' }];
         let clientOptions = {
-                // Register the server for plain text documents
-                documentSelector: [{ scheme: 'file', language: 'cforall' }]
+                // Register the server for cforall documents
+                documentSelector: selector
         };
 
         // Create the language client and start the client.
         client = new vscode_lc.LanguageClient(
-                'CforallServer',
+                'cforall',
                 'Cforall Language Server',
                 serverOptions,

tools/vscode/uwaterloo.cforall-0.1.0/package.json

@@ -43 +43 @@
                                 "path": "./syntaxes/cfa.tmLanguage.json"
                         }
-                ]
-        },
-        "configuration": {
-                "type": "object",
-                "title": "Example configuration",
-                "properties": {
-                        "languageServerExample.maxNumberOfProblems": {
-                                "scope": "resource",
-                                "type": "number",
-                                "default": 100,
-                                "description": "Controls the maximum number of problems produced by the server."
+                ],
+                "configuration": {
+                        "type": "object",
+                        "title": "Example configuration",
+                        "properties": {
+                                "cforall.maxNumberOfProblems": {
+                                        "scope": "resource",
+                                        "type": "number",
+                                        "default": 100,
+                                        "description": "Controls the maximum number of problems produced by the server."
+                                },
+                                "cforall.trace.server": {
+                                        "scope": "window",
+                                        "type": "string",
+                                        "enum": [
+                                                "off",
+                                                "messages",
+                                                "verbose"
+                                        ],
+                                        "default": "off",
+                                        "description": "Traces the communication between VS Code and the language server."
+                                }
                         }
                 }