package.json

{
	"name": "vscode-proverif",
	"displayName": "ProVerif Language",
	"description": "Language support for ProVerif",
	"author": "ProVerif",
	"icon": "img/icon.png",
	"license": "MIT",
	"version": "1.8.4",
	"repository": {
		"type": "git",
		"url": "https://github.com/ProVerif/vscode-proverif-language-service"
	},
	"publisher": "ProVerif",
	"engines": {
		"vscode": "^1.75.0"
	},
	"activationEvents": [
		"onCommand:workbench.action.tasks.runTask"
	],
	"main": "./client/out/extension",
	"contributes": {
		"languages": [
			{
				"id": "pv",
				"aliases": [
					"ProVerif",
					"pv"
				],
				"extensions": [
					".pv",
					".pvl",
					".pcv"
				],
				"configuration": "./language-configuration.json"
			},
			{
				"id": "pv.log",
				"aliases": [
					"ProVerif Log",
					"pv.log"
				],
				"extensions": [
					".pv.log"
				],
				"configuration": "./language-configuration.log.json"
			}
		],
		"grammars": [
			{
				"language": "pv",
				"scopeName": "source.pv",
				"path": "./syntaxes/pv.tmLanguage.json"
			},
			{
				"language": "pv.log",
				"scopeName": "source.pv.log",
				"path": "./syntaxes/pv.log.tmLanguage.json"
			}
        ],
		"configuration": {
			"title": "ProVerif",
			"properties": {
				"proverif.proverifPath": {
					"type": "string",
					"default": null,
					"description": "Custom path to the proverif binary. Empty string will use proverif in PATH."
				},
				"proverif.parentFolderDiscoveryLimit": {
					"type": "number",
					"default": 1,
					"description": "Parent folders to read until discovery stops (e.g. to find references). Enter -1 for no limit. Sibling folders and folders outside of the workspace are ignored."
				}
			}
		},
		"taskDefinitions": [
			{
				"type": "ProVerif"
			}
		],
		"semanticTokenModifiers": [
			{
				"id": "dataConverter",
				"description": "Annotates a symbol that represents a data converter"
			},
			{
				"id": "typeConverter",
				"description": "Annotates a symbol that represents a type converter"
			}
		],
		"semanticTokenScopes": [
			{
				"scopes": {
					"function.dataConverter": ["entity.name.function.dataconverter"],
					"function.typeConverter": ["entity.name.function.preprocessor.typeconverter"]
				}
			}
		]
	},
	"scripts": {
		"vscode:prepublish": "esbuild ./client/src/extension.ts --bundle --outfile=client/out/extension.js --external:vscode --format=cjs --platform=node --minify && esbuild ./server/src/server.ts --bundle --outfile=server/out/server.js --external:vscode --format=cjs --platform=node --minify ",
		"compile": "tsc -b",
		"watch": "tsc -b -w",
		"lint": "eslint ./client/src ./server/src --ext .ts,.tsx",
		"lint-fix": "eslint ./client/src ./server/src --ext .ts,.tsx --fix",
		"postinstall": "cd client && npm install && cd ../server && npm install && cd ..",
		"test": "sh ./scripts/e2e.sh",
		"deploy": "vsce publish && ovsx publish"
	},
	"devDependencies": {
		"@types/mocha": "^9.1.0",
		"@types/node": "^16.18.34",
		"@typescript-eslint/eslint-plugin": "^5.54.0",
		"@typescript-eslint/parser": "^5.54.0",
		"@vscode/vsce": "^2.22.0",
		"esbuild": "^0.19.5",
		"eslint": "^8.35.0",
		"mocha": "^10",
		"ovsx": "^0.8.3",
		"typescript": "^5.1.3"
	}
}