package.json

{
    "name": "jml-vscode",
    "displayName": "jml-vscode",
    "description": "VS Code support for Java Modelling Language",
    "license": "GPL-3.0-only",
    "version": "0.3.0",
    "publisher": "wadoon",
    "engines": {
        "vscode": ">=1.69.0"
    },
    "repository": {
        "url": "http://github.com/wadoon/jml-vscode",
        "type": "git"
    },
    "categories": [
        "Programming Languages",
        "Snippets"
    ],
    "contributes": {
        "configuration": {
            "title": "Java Modelling Language (JML)",
            "properties": {
                "jml.lspDisabled": {
                    "type": "boolean",
                    "default": false,
                    "description": "If set to true, the language server is activated and downloaded."
                },
                "jml.javaPath": {
                    "type": "string",
                    "default": "java",
                    "description": "The path to Java executable for running the language server."
                },
                "jml.jarFile": {
                    "type": ["string","null"],
                    "default": null,
                    "description": "The path to Jar of the language server. If not set, the lookup and download mechanism is triggered."
                }
            }
        },
        "languages": [
            {
                "id": "key",
                "extensions": [
                    ".key"
                ],
                "aliases": [
                    "KeY"
                ],
                "filenames": [],
                "configuration": "./key-language-configuration.json",
                "icon": {
                    "light": "./icons/key-light.png",
                    "dark": "./icons/key-dark.png"
                }
            }
        ],
        "snippets": [
            {
                "language": "java",
                "path": "./snippets/jml-snippets.json"
            },
            {
                "language": "key",
                "path": "./snippets/key-snippets.json"
            }
        ],
        "semanticTokenScopes": [
            {
                "id": "jmlmodifier",
                "superType": "other",
                "description": "JML Modifier",
                "scopes": {}
            },
            {
                "scopes": {
                    "jmlmodifier": [
                        "storage.modifier.java"
                    ]
                }
            }
        ]
    },
    "main": "./dist/extension.js",
    "activationEvents": [
        "onLanguage:java",
        "onLanguage:key"
    ],
    "scripts": {
        "vscode:prepublish": "npm run esbuild-base -- --minify",
        "esbuild-base": "esbuild ./src/extension.ts --bundle --outfile=dist/extension.js --external:vscode --format=cjs --platform=node",
        "esbuild": "npm run esbuild-base -- --sourcemap",
        "esbuild-watch": "npm run esbuild-base -- --sourcemap --watch",
        "compile": "tsc -p ./",
        "watch": "tsc -watch -p ./",
        "package": "vsce package",
        "antlr4ts": "antlr4ts src/JML.g4 src/Key.g4 src/KeYJava.g4",
        "pretest": "npm run compile && npm run lint",
        "lint": "eslint src --ext ts",
        "test": "node ./out/test/runTest.js"
    },
    "devDependencies": {
        "@types/mocha": "9.1.1",
        "@types/node": "18.0.6",
        "@types/vscode": "^1.69.0",
        "@typescript-eslint/eslint-plugin": "5.30.7",
        "@typescript-eslint/parser": "5.30.7",
        "antlr4ts-cli": "0.5.0-alpha.4",
        "esbuild": "^0.14.49",
        "eslint": "8.20.0",
        "mocha": "10.0.0",
        "typescript": "4.7.4",
        "vsce": "2.9.3",
        "vscode-languageclient": "^8.0.2"
    },
    "dependencies": {
        "antlr4ts": "^0.5.0-alpha.4",
        "globby": "^13.1.2",
        "got": "^12.5.3"
    }
}