package.json

{
	"name": "souffle-langserver",
	"description": "A language server for Soufflé",
	"author": "Julien Henry",
	"license": "MIT",
	"version": "1.0.6",
	"repository": {
		"type": "git",
		"url": "https://github.com/julienhenry/vscode-souffle-langserver.git"
	},
	"icon": "images/logo.png",
	"publisher": "jhenry",
	"categories": [],
	"keywords": [],
	"engines": {
		"vscode": "^1.55.0"
	},
	"activationEvents": [
		"onLanguage:souffle"
	],
	"main": "./client/out/extension",
	"contributes": {
		"languages": [
			{
				"id": "souffle",
				"extensions": [
					".project",
					".dl"
				],
				"aliases": [
					"Soufflé"
				],
				"configuration": "./language-configuration.json"
			},
			{
				"id": "souffle-ram",
				"extensions": [
					".ram"
				],
				"aliases": [
					"Soufflé-ram"
				],
				"configuration": "./language-configuration.json"
			}
		],
		"configuration": {
			"type": "object",
			"title": "Soufflé Language Server",
			"properties": {
				"souffleLanguageServer.rootProjectFile": {
					"scope": "resource",
					"type": "string",
					"default": "master.project",
					"description": "name of the master file passed to the Soufflé compiler"
				},
				"souffleLanguageServer.transformedRam": {
					"scope": "resource",
					"type": "string",
					"default": "",
					"description": "name of the transformed-ram file"
				},
				"souffleLanguageServer.transformedDatalog": {
					"scope": "resource",
					"type": "string",
					"default": "",
					"description": "name of the transformed datalog file"
				},
				"souffleLanguageServer.souffleInvocationDir": {
					"scope": "resource",
					"type": "string",
					"default": "",
					"description": "path from where the souffle compilation is executed"
				}
			}
		},
		"grammars": [
			{
				"language": "souffle",
				"scopeName": "source.souffle",
				"path": "./syntaxes/souffle.tmLanguage.json"
			},
			{
				"language": "souffle-ram",
				"scopeName": "source.souffle-ram",
				"path": "./syntaxes/souffle-ram.tmLanguage.json"
			}
		]
	},
	"scripts": {
		"vscode:prepublish": "npm run webpack && cp ./server/node_modules/web-tree-sitter/tree-sitter.wasm ./server/out/",
		"webpack": "npm run clean && webpack --mode production --config ./client/webpack.config.js && webpack --mode production --config ./server/webpack.config.js",
		"webpack:dev": "npm run clean && webpack --mode none --config ./client/webpack.config.js && webpack --mode none --config ./server/webpack.config.js",
		"compile": "tsc -b",
		"compile:client": "tsc -b ./client/tsconfig.json",
		"compile:server": "tsc -b ./server/tsconfig.json",
		"watch": "tsc -b -w",
		"lint": "npm run lint:client && npm run lint:server",
		"lint:client": "eslint --config ./client/.eslintrc.json ./client/src/*.ts",
		"lint:server": "eslint --config ./server/.eslintrc.json ./server/src/*.ts",
		"clean": "rimraf client/out && rimraf server/out",
		"postinstall": "cd client && npm install && cd ../server && npm install && cd .."
	},
	"devDependencies": {
		"@types/mocha": "^5.2.7",
		"@types/node": "^12.12.0",
		"@typescript-eslint/parser": "^2.3.0",
		"eslint": "^6.4.0",
		"merge-options": "^2.0.0",
		"mocha": "^6.2.2",
		"ts-loader": "^7.0.1",
		"typescript": "^3.8.3",
		"webpack": "^4.43.0",
		"webpack-cli": "^3.3.11"
	},
	"dependencies": {
		"vsce": "^2.6.7"
	}
}