Changeset e276be6 for tools/vscode/uwaterloo.cforall-0.1.0/package.json

Timestamp:

Apr 6, 2020, 8:50:45 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

9d5d01f

Parents:

23ecea4 (diff), f1b6671 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tools/vscode/uwaterloo.cforall-0.1.0/package.json (modified) (2 diffs)

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"
         }
 }