Changeset b52abe0

Timestamp:

Apr 3, 2020, 2:26:38 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:

ebe0f0d

Parents:

0f3d844

Message:

Implemented basic language server with no capabilities

Location:

tools

Files:

• langserver/cfa-ls (added)
• langserver/src/json.hpp (added)
• langserver/src/log.cpp (added)
• langserver/src/log.hpp (added)
• langserver/src/main.cpp (added)
• langserver/src/server.hpp (added)
• vscode/uwaterloo.cforall-0.1.0/client/main.js (added)
• vscode/uwaterloo.cforall-0.1.0/package.json (modified) (2 diffs)
• vscode/uwaterloo.cforall-0.1.0/server/out/server (added)

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

@@ -15 +15 @@
                 "Other"
         ],
+        "activationEvents": [
+                "onLanguage:cforall"
+        ],
+        "main": "./client/main.js",
         "contributes": {
                 "languages": [
@@ -40 +44 @@
                         }
                 ]
+        },
+        "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."
+                        }
+                }
+        },
+        "dependencies": {
+                "vscode-languageclient": "^4.1.4"
+        },
+        "devDependencies": {
+                "vscode-languageclient": "^4.1.4"
         }
 }