package.json

{
	"name": "tchecker-vscode",
	"displayName": "TChecker VSCode",
	"description": "Visual Studio Code extension for TChecker",
	"version": "0.1.0",
	"publisher": "ticktac-project",
	"repository": {
		"type": "git",
		"url" : "https://github.com/ticktac-project/tchecker-vscode"
	},
	"icon": "logo.png",
	"engines": {
		"vscode": "^1.78.0"
	},
	"categories": [
		"Programming Languages"
	],
	"contributes": {
		"languages": [
			{
				"id": "tchecker",
				"aliases": [
					"TChecker",
					"tchecker"
				],
				"extensions": [
					".tck"
				],
				"configuration": "./language-configuration.json"
			}
		],
		"grammars": [
			{
				"language": "tchecker",
				"scopeName": "source.tck",
				"path": "./syntaxes/tchecker.tmLanguage.json"
			}
		],
		"configuration": {
			"title": "TChecker",
			"properties": {
				"tchecker-vscode.path": {
					"type": "string",
					"default": "",
					"description": "Specifies the path to TChecker binaries."
				},
				"tchecker-vscode.tck-syntax": {
					"type": "string",
					"default": "tck-syntax -c",
					"description": "Specifies the command for performing syntax checking."
				},
				"tchecker-vscode.tck-simulate": {
					"type": "string",
					"default": "tck-simulate -i",
					"description": "Specifies the command for using tck-simulate tool."
				}
			}
		},
		"commands": [
			{
				"command": "tchecker-vscode.tckSyntax",
				"title": "TChecker: Syntax check"
			},
			{
				"command": "tchecker-vscode.tckSimulate",
				"title": "TChecker: tck-simulate"
			},
			{
				"command": "tchecker-vscode.tckSimulateInput",
				"title": "TChecker: show input box (tck-simulate)"
			}
		]
	},
	"main": "./out/extension.js",
	"scripts": {
		"vscode:prepublish": "npm run compile",
		"compile": "tsc -p ./",
		"lint": "eslint \"src/**/*.ts\"",
		"watch": "tsc -watch -p ./"
	},
	"devDependencies": {
		"@types/node": "^16.18.34",
		"@types/vscode": "^1.73.0",
		"@typescript-eslint/eslint-plugin": "^5.42.0",
		"@typescript-eslint/parser": "^5.42.0",
		"eslint": "^8.26.0",
		"typescript": "^5.1.3"
	}
}