ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since 09ee131 was
ebe0f0d,
checked in by Thierry Delisle <tdelisle@…>, 5 years ago
|
Added basic language server which now properly communicates with the client
|
-
Property mode set to
100644
|
File size:
1.5 KB
|
Line | |
---|
1 | { |
---|
2 | "name": "cforall", |
---|
3 | "version": "0.1.0", |
---|
4 | "displayName": "C∀ (C-for-all) Language Support", |
---|
5 | "description": "Cforall - colorizer, grammar and snippets.", |
---|
6 | "publisher": "uwaterloo", |
---|
7 | "license": "MIT", |
---|
8 | "engines": { |
---|
9 | "vscode": "^1.5.0" |
---|
10 | }, |
---|
11 | "icon": "images/icon.png", |
---|
12 | "categories": [ |
---|
13 | "Programming Languages", |
---|
14 | "Linters", |
---|
15 | "Other" |
---|
16 | ], |
---|
17 | "activationEvents": [ |
---|
18 | "onLanguage:cforall" |
---|
19 | ], |
---|
20 | "main": "./client/main.js", |
---|
21 | "contributes": { |
---|
22 | "languages": [ |
---|
23 | { |
---|
24 | "id": "cforall", |
---|
25 | "aliases": [ |
---|
26 | "C∀", |
---|
27 | "CForAll", |
---|
28 | "Cforall", |
---|
29 | "cforall" |
---|
30 | ], |
---|
31 | "extensions": [ |
---|
32 | ".cfa", |
---|
33 | ".hfa", |
---|
34 | ".ifa" |
---|
35 | ], |
---|
36 | "configuration": "./cforall.configuration.json" |
---|
37 | } |
---|
38 | ], |
---|
39 | "grammars": [ |
---|
40 | { |
---|
41 | "language": "cforall", |
---|
42 | "scopeName": "source.cfa", |
---|
43 | "path": "./syntaxes/cfa.tmLanguage.json" |
---|
44 | } |
---|
45 | ], |
---|
46 | "configuration": { |
---|
47 | "type": "object", |
---|
48 | "title": "Example configuration", |
---|
49 | "properties": { |
---|
50 | "cforall.maxNumberOfProblems": { |
---|
51 | "scope": "resource", |
---|
52 | "type": "number", |
---|
53 | "default": 100, |
---|
54 | "description": "Controls the maximum number of problems produced by the server." |
---|
55 | }, |
---|
56 | "cforall.trace.server": { |
---|
57 | "scope": "window", |
---|
58 | "type": "string", |
---|
59 | "enum": [ |
---|
60 | "off", |
---|
61 | "messages", |
---|
62 | "verbose" |
---|
63 | ], |
---|
64 | "default": "off", |
---|
65 | "description": "Traces the communication between VS Code and the language server." |
---|
66 | } |
---|
67 | } |
---|
68 | } |
---|
69 | }, |
---|
70 | "dependencies": { |
---|
71 | "vscode-languageclient": "^4.1.4" |
---|
72 | }, |
---|
73 | "devDependencies": { |
---|
74 | "vscode-languageclient": "^4.1.4" |
---|
75 | } |
---|
76 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.