vscode-jml/package.json at master · jmltoolkit/vscode-jml · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
{
    "name": "vscode-jml",
    "displayName": "vscode-jml",
    "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/jmltoolkit/vscode-jml",
        "type": "git"
    },
    "categories": [
        "Programming Languages",
        "Snippets"
    ],
    "contributes": {
        "configuration": {
            "title": "Java Modelling Language Toolkit (JMLtk)",
            "properties": {
                "jmltk.serverScript": {
                    "type": [
                        "string",
                        "null"
                    ],
                    "default": null,
                    "description": "The path to the language server shell script. If not set, the lookup and download mechanism is triggered."
                },
                "jmltk.githubOwner": {
                    "type": "string",
                    "default": "jmltoolkit",
                    "description": "GitHub repository owner for downloading the LSP server."
                },
                "jmltk.githubRepo": {
                    "type": "string",
                    "default": "jmltk",
                    "description": "GitHub repository name for downloading the LSP server."
                },
                "jmltk.assetPattern": {
                    "type": "string",
                    "default": "jmltk-.*\\.zip$",
                    "description": "Regex pattern for matching the language server distribution asset in GitHub releases."
                }
            }
        },
        "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"
            }
        ],
        "semanticTokenTypes": [
            {
                "id": "jmlmodifier",
                "description": "JML Modifier"
            }
        ],
        "semanticTokenScopes": [
            {
                "language": "java",
                "scopes": {
                    "jmlmodifier": [
                        "storage.modifier.java"
                    ]
                }
            }
        ],
        "configurationDefaults": {
            "[java]": {
                "editor.semanticHighlighting.enabled": true
            }
        }
    },
    "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",
        "pretest": "npm run compile && npm run lint",
        "lint": "eslint src --ext ts",
        "test": "node ./out/test/runTest.js"
    },
    "dependencies": {
        "globby": "^16.2.4",
        "got": "^16.0.0"
    },
    "devDependencies": {
        "@types/mocha": "^10.0.10",
        "@types/node": "^26.6.1",
        "@types/vscode": "^1.138.0",
        "@vscode/test-cli": "^0.0.15",
        "@vscode/test-electron": "^3.1.0",
        "@vscode/vsce": "^4.0.0",
        "esbuild": "^0.28.2",
        "eslint": "^10.10.0",
        "mocha": "^12.0.2",
        "typescript": "^7.0.2",
        "vscode-languageclient": "^10.1.1"
    }
}