{ "name": "souffle-lang-server", "displayName": "Soufflé Datalog Language Server", "description": "Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin", "version": "0.3.5", "engines": { "vscode": "^1.65.0" }, "publisher": "i-daridis", "icon": "souffle_logo.png", "keywords": ["LSP", "Datalog", "Soufflé"], "activationEvents": [ "onLanguage:souffle", "workspaceContains:**.dl" ], "main": "./dist/extension", "categories": [ "Programming Languages" ], "contributes": { "languages": [ { "id": "souffle", "aliases": [ "Souffle", "souffle" ], "extensions": [ ".dl" ], "configuration": "./language-configuration.json" } ], "configuration": { "title": "souffle-lang-server", "properties": { "JAVA_HOME": { "type": "string", "description": "To start the LSP service, please set the JAVA_HOME variable.", "default": "" }, "PATH_LSP": { "type": "string", "description": "This parameter defaults to the server in the plugin folder, but it can also be customized. If you are unsure what you need to set, leave this variable empty. The variable PATH_LSP represents the folder path that contains the Souffle_Ide_Plugin-1.0-SNAPSHOT.jar file.", "default": "" } } } }, "repository": { "type": "git", "url": "https://github.com/jdaridis/souffle-lsp-plugin.git" }, "scripts": { "webpack": "webpack --mode development", "webpack-dev": "webpack --mode development --watch", "package": "webpack --mode production --devtool hidden-source-map", "vscode:prepublish": "npm run package", "compile": "tsc -p ./", "watch": "tsc -watch -p ./", "pretest": "npm run compile && npm run lint", "lint": "eslint src --ext ts", "test": "node ./out/test/runTest.js" }, "devDependencies": { "@types/glob": "^7.1.4", "@types/mocha": "^9.0.0", "@types/node": "14.x", "@types/vscode": "^1.62.0", "@typescript-eslint/eslint-plugin": "^5.1.0", "@typescript-eslint/parser": "^5.1.0", "@vscode/test-electron": "^1.6.2", "eslint": "^8.1.0", "glob": "^7.1.7", "mocha": "^9.1.3", "ts-loader": "^9.4.1", "typescript": "^4.4.4", "webpack": "^5.76.0", "webpack-cli": "^4.10.0" }, "dependencies": { "vscode-languageclient": "^7.0.0" } }