Skip to content
Snippets Groups Projects
Select Git revision
  • 83b763007c1223dba7fd55b4a163d86d13ded4ee
  • develop default
  • release protected
  • v0.x
  • v2.2.0
  • v2.1.0
6 results

package.json

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    This project manages its dependencies using npm. 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"
    	}
    }