Skip to content
Snippets Groups Projects
Select Git revision
  • main
  • gentus-public
2 results

setup.cfg

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    package.json 4.26 KiB 
    {
	"name": "b-language-extension",
	"displayName": "B/ProB Language Support",
	"description": "Compiler and language support for B via ProB",
	"version": "1.1.0",
	"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",
		"onLanguage:rmchAddOn"
	],
	"main": "./out/extension",
	"contributes": {
		"configuration": {
			"type": "object",
			"title": "Configuration",
			"properties": {
				"languageServer.probHome": {
					"id": "1",
					"title": "ProBHome",
					"scope": "application",
					"type": "string",
					"default": "~/prob_prolog/probcli.sh",
					"description": "Path to ProB executable"
				},
				"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"
				},
				"languageServer.maxNumberOfProblems": {
					"id": "6",
					"title": "max. number of problems",
					"scope": "application",
					"type": "number",
					"default": 100,
					"description": "Controls the maximum number of problems produced by the server."
				},
				"common.javaHome": {
					"id": "7",
					"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 ./",
		"install:nix": "./node_modules/b-language-server/gradlew shadowjar -p ./node_modules/b-language-server",
		"install:windows": "./node_modules/b-language-server/gradlew.bat shadowjar -p ./node_modules/b-language-server",
		"tslint": "gulp tslint"
	},
	"devDependencies": {
		"@types/mocha": "^7.0.2",
		"@types/node": "^14.6.0",
		"@typescript-eslint/parser": "^2.34.0",
		"eslint": "^7.7.0",
		"mocha": "^7.2.0",
		"typescript": "^3.9.7"
	},
	"dependencies": {
		"@types/ndjson": "^1.5.0",
		"@types/stream-to-array": "^2.3.0",
		"@types/vscode": "^1.48.0",
		"b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.4.0.tar.gz",
		"clean": "^4.0.2",
		"error": "^10.4.0",
		"fs": "0.0.1-security",
		"mkdirp": "^1.0.4",
		"ndjson": "^1.5.0",
		"path": "^0.12.7",
		"run-script-os": "^1.1.1",
		"stream-to-array": "^2.3.0",
		"ts-xor": "^1.0.8",
		"vscode-api": "0.0.0",
		"vscode-languageclient": "^6.1.3",
		"vscode-read-manifest": "^0.5.1",
		"vscode-test": "^1.4.0",
		"vscode-uri": "^2.1.2",
		"without": "^1.2.3"
	}
}