Changes in / [73530d9:057298e]

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.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": [
@@ -39 +43 @@
                                 "path": "./syntaxes/cfa.tmLanguage.json"
                         }
-                ]
+                ],
+                "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."
+                                }
+                        }
+                }
+        },
+        "dependencies": {
+                "vscode-languageclient": "^4.1.4"
+        },
+        "devDependencies": {
+                "vscode-languageclient": "^4.1.4"
         }
 }