{ "name": "modestextension", "displayName": "ModestExtension", "description": "Adding language support for the Modest Toolset", "version": "0.0.1", "publisher": "ModestExtension developers", "license": "SEE LICENSE IN LICENSE", "engines": { "vscode": "^1.52.0" }, "categories": [ "Programming Languages", "Snippets", "Linters", "Formatters" ], "keywords": [ "modest", "toolset", "checker", "jani", "automata" ], "qna": false, "contributes": { "commands": [ { "command": "modest.simulate", "title": "Simulate Model" }, { "command": "modest.add-parameters", "title": "Add parameters" }, { "command": "analysisResults.copyValue", "title": "Copy value", "icon": { "light": "media/light/copy.svg", "dark": "media/dark/copy.svg" } }, { "command": "analysisResults.copyItem", "title": "Copy item" }, { "command": "analysisResults.load", "title": "Load analysis results" }, { "command": "analysisResults.export", "title": "Export to JSON file" }, { "command": "analysisResults.openInEditor", "title": "Open in editor" } ], "menus": { "view/title": [ { "command": "analysisResults.load", "when": "view == analysisResults" }, { "command": "analysisResults.export", "when": "view == analysisResults" } ], "view/item/context": [ { "command": "analysisResults.copyValue", "when": "view == analysisResults", "group": "inline" }, { "command": "analysisResults.copyValue", "when": "view == analysisResults" }, { "command": "analysisResults.copyItem", "when": "view == analysisResults" }, { "command": "analysisResults.openInEditor", "when": "view == analysisResults" } ] }, "commandPalette": [ { "command": "modest.simulate", "when": "editorLangId == modest" }, { "command": "modest.add-parameters" } ], "keybindings": [ { "command": "modest.simulate", "key": "alt+shift+s", "mac": "alt+shift+s", "when": "editorLangId == modest" } ], "languages": [ { "id": "modest", "extensions": [ ".modest", ".Modest" ], "aliases": [ "Modest", "modest" ], "configuration": "./language-configuration.json" } ], "grammars": [ { "language": "modest", "scopeName": "source.modest", "path": "./syntaxes/modest.tmLanguage.json" } ], "configuration": [ { "title": "Modest", "properties": { "modest.executableLocation": { "type": "string", "description": "Location of the Modest toolset executable" } } } ], "viewsContainers": { "activitybar": [ { "id": "modest-sidebar", "title": "Modest", "icon": "media/modest-icon-simple.svg" } ], "panel": [ { "id": "modest-panel", "title": "Modest", "icon": "media/modest-icon-simple.svg" } ] }, "views": { "modest-sidebar": [ { "id": "modest.modestSidebar", "type": "webview", "name": "Modest", "icon": "media/modest-icon-simple.svg", "contextualTitle": "Modest" } ], "modest-panel": [ { "id": "analysisResults", "name": "Analysis Results" } ] }, "viewsWelcome": [ { "view": "analysisResults", "contents": "Model analysis results will be shown here." } ], "snippets": [ { "language": "modest", "path": "./snippets.json" } ] }, "activationEvents": [ "onCommand:modest.simulate", "onLanguage:modest", "onView:modestSidebar", "onView:analysisResults" ], "main": "./out/extension.js", "scripts": { "vscode:prepublish": "npm run compile", "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.3", "@types/mocha": "^8.0.4", "@types/node": "^12.19.16", "@types/vscode": "^1.52.0", "@typescript-eslint/eslint-plugin": "^4.14.1", "@typescript-eslint/parser": "^4.14.1", "eslint": "^7.19.0", "glob": "^7.1.6", "mocha": "^8.2.1", "typescript": "^4.1.3", "vscode-test": "^1.5.0" }, "dependencies": { "vscode-codicons": "0.0.15", "vscode-languageclient": "^7.0.0" } }