Select Git revision
build.gradle
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
package.json 2.91 KiB
{
"name": "b-language-extension",
"displayName": "B/ProB Language Support",
"description": "Compiler and language support for B and via ProB",
"version": "0.5.1",
"publisher": "SeeBasTStick",
"icon": "media/prob2-ui.png",
"author": "Sebastian Stock",
"license": "MIT",
"repository": {
"type": "git",
"url": "https://github.com/hhu-stups/b-language-extension"
},
"engines": {
"vscode": "^1.45.0"
},
"categories": [
"Programming Languages"
],
"keywords": [
"classical B",
"B",
"ProB"
],
"activationEvents": [
"onLanguage:classicalb"
],
"main": "./client/out/extension",
"contributes": {
"configuration": {
"type": "object",
"title": "Configuration",
"properties": {
"languageServer.maxNumberOfProblems": {
"scope": "resource",
"type": "number",
"default": 100,
"description": "Controls the maximum number of problems produced by the server."
},
"languageServer.trace.server": {
"scope": "window",
"type": "string",
"enum": [
"off",
"messages",
"verbose"
],
"default": "off",
"description": "Traces the communication between VS Code and the language server."
},
"languageServer.probHome": {
"scope": "window",
"type": "string",
"default": "~/prob_prolog/probcli.sh",
"description": "Path to ProB executable"
},
"languageServer.wdChecks": {
"scope": "window",
"type": "boolean",
"default": true,
"description": "Option for WD Checks"
},
"languageServer.strictChecks": {
"scope": "window",
"type": "boolean",
"default": false,
"description": "Option for stricter Checks"
},
"languageServer.performanceHints": {
"scope": "window",
"type": "boolean",
"default": true,
"description": "Option for performance-related Hints"
}
}
},
"languages": [
{
"id": "classicalb",
"extensions": [
".mch",
".def",
".imp",
".ref"
],
"aliases": [
"B",
"classical B"
]
}
],
"grammars": [
{
"language": "classicalb",
"scopeName": "source.classicalb",
"path": "./syntaxes/classicalb.tmLanguage.json"
}
]
},
"scripts": {
"vscode:prepublish": "npm run compile",
"compile": "tsc -b",
"watch": "tsc -b -w",
"postinstall": "cd client && npm install && cd ../server && npm install && cd ..",
"test": "sh ./scripts/e2e.sh"
},
"devDependencies": {
"@types/mocha": "^7.0.2",
"@types/node": "^14.0.4",
"@typescript-eslint/parser": "^2.34.0",
"eslint": "^7.0.0",
"mocha": "^7.1.2",
"typescript": "^3.9.3",
"vscode": "^1.1.37"
},
"dependencies": {
"@types/ndjson": "^1.5.0",
"@types/stream-to-array": "^2.3.0",
"@types/vscode": "^1.45.1",
"error": "^10.3.0",
"mkdirp": "^1.0.4",
"ndjson": "^1.5.0",
"path": "^0.12.7",
"stream-to-array": "^2.3.0",
"ts-xor": "^1.0.8",
"vscode-api": "0.0.0",
"vscode-uri": "^2.1.1",
"without": "^1.2.3"
}
}