{
	"name": "b-language-extension",
	"displayName": "B/ProB Language Support",
	"description": "Compiler and language support for B and via ProB",
	"version": "0.6.4",
	"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"
			}
		],
		"snippets": [
			{
				"language": "classicalb",
				"path": "./snippets/classicalb_snippets.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.5",
		"@typescript-eslint/parser": "^2.34.0",
		"eslint": "^7.1.0",
		"mocha": "^7.2.0",
		"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.4.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.2",
		"without": "^1.2.3"
	}
}