{
	"name": "b-language-extension",
	"displayName": "B/ProB Language Support",
	"description": "Compiler and language support for B via ProB",
	"version": "2.1.0",
	"publisher": "SeeBasTStick",
	"icon": "media/prob2-ui.png",
	"author": "Sebastian Stock",
	"license": "EPL-2.0",
	"repository": {
		"type": "git",
		"url": "https://github.com/hhu-stups/b-language-extension"
	},
	"engines": {
		"vscode": "^1.67.0"
	},
	"categories": [
		"Programming Languages"
	],
	"keywords": [
		"classical B",
		"B",
		"ProB"
	],
	"activationEvents": [
		"onLanguage:classicalb",
		"onLanguage:rmchAddOn"
	],
	"main": "./out/extension",
	"contributes": {
		"configuration": {
			"type": "object",
			"title": "Configuration",
			"properties": {
				"languageServer.proBHome": {
					"id": "1",
					"title": "ProB Home",
					"scope": "application",
					"type": "string",
					"default": "DEFAULT",
					"description": "Path to ProB directory. Use 'DEFAULT' to access the shipped version."
				},
				"languageServer.wdChecks": {
					"id": "2",
					"title": "WD Checks",
					"scope": "application",
					"type": "boolean",
					"default": true,
					"description": "Option for WD Checks"
				},
				"languageServer.strictChecks": {
					"id": "3",
					"title": "Strict Checks",
					"scope": "application",
					"type": "boolean",
					"default": true,
					"description": "Option for stricter Checks"
				},
				"languageServer.performanceHints": {
					"id": "4",
					"title": "Performance Hints",
					"scope": "application",
					"type": "boolean",
					"default": true,
					"description": "Option for performance-related Hints"
				},
				"languageServer.debugMode": {
					"id": "5",
					"title": "Debug Mode",
					"scope": "application",
					"type": "boolean",
					"default": false,
					"description": "Option for enabeling (extensiv) debug messages"
				},
				"common.javaHome": {
					"id": "6",
					"title": "Java Home",
					"scope": "application",
					"type": "string",
					"default": "java",
					"description": "points to the java sdk responsible for executing the server"
				}
			}
		},
		"languages": [
			{
				"id": "classicalb",
				"extensions": [
					".mch",
					".def",
					".imp",
					".ref"
				],
				"aliases": [
					"B",
					"classical B"
				]
			},
			{
				"id": "rmchAddOn",
				"extensions": [
					".rmch"
				],
				"aliases": [
					"B",
					"B DSL"
				]
			}
		],
		"grammars": [
			{
				"language": "classicalb",
				"scopeName": "source.classicalb",
				"path": "./syntaxes/classicalb.tmLanguage.json"
			},
			{
				"language": "rmchAddOn",
				"scopeName": "source.rmchAddOn",
				"path": "./syntaxes/rmchAddOn.tmLanguage.json"
			}
		],
		"snippets": [
			{
				"language": "classicalb",
				"path": "./snippets/classicalb_snippets.json"
			},
			{
				"language": "rmchAddOn",
				"path": "./snippets/rmchAddOn_snippets.json"
			}
		],
		"iconThemes": [
			{
				"id": "b",
				"label": "B",
				"path": "./themes/b-themes.json"
			}
		]
	},
	"scripts": {
		"vscode:prepublish": "tsc -p ./",
		"compile": "tsc -watch -p ./",
		"package": "vsce package",
		"postinstall:nix": "./node_modules/b-language-server/gradlew shadowjar -p ./node_modules/b-language-server",
		"postinstall:windows": "./node_modules/b-language-server/gradlew.bat shadowjar -p ./node_modules/b-language-server"
	},
	"devDependencies": {
		"@types/node": "^14.14.44",
		"@vscode/vsce": "^2.19.0",
		"run-script-os": "^1.1.6",
		"typescript": "^4.8.4"
	},
	"dependencies": {
		"@types/ndjson": "^1.5.0",
		"@types/stream-to-array": "^2.3.0",
		"@types/vscode": "^1.67.0",
		"b-language-server": "https://github.com/hhu-stups/b-language-server#master",
		"clean": "^4.0.2",
		"error": "^10.4.0",
		"fs": "0.0.1-security",
		"mkdirp": "^1.0.4",
		"ndjson": "^1.5.0",
		"net": "^1.0.2",
		"path": "^0.12.7",
		"portastic": "^1.0.1",
		"stream-to-array": "^2.3.0",
		"tcp-port-used": "^1.0.2",
		"ts-xor": "^1.0.8",
		"vscode-api": "0.0.0",
		"vscode-languageclient": "^8.1.0",
		"vscode-languageserver-protocol": "^3.16.0",
		"vscode-read-manifest": "^0.5.1",
		"vscode-test": "^1.5.2",
		"vscode-uri": "^2.1.2",
		"without": "^1.2.3"
	}
}