package.json

{
	"name": "eventb",
	"displayName": "Event-B Language Support",
	"icon": "icon.jpg",
	"publisher": "GlgCorp",
	"description": "Event-B compiler, autocompletion, syntax highlighting, and snippets",
	"version": "3.1.2",
	"repository": {
		"type": "git",
		"url": "https://github.com/glg-corp/eventb-vscode-extension"
	},
	"engines": {
		"vscode": "^1.33.0"
	},
	"categories": [
		"Programming Languages"
	],
	"activationEvents": [
		"onLanguage:eventb-machine",
		"onLanguage:eventb-context",
		"onCommand:eventb.initProject"
	],
	"main": "./client/src/extension",
	"contributes": {
		"languages": [
			{
				"id": "eventb-context",
				"aliases": [
					"Event-B Context File"
				],
				"extensions": [
					".bc"
				],
				"configuration": "./language-configuration.json"
			},
			{
				"id": "eventb-machine",
				"aliases": [
					"Event-B Machine file"
				],
				"extensions": [
					".bm"
				],
				"configuration": "./language-configuration.json"
			}
		],
		"grammars": [
			{
				"language": "eventb-machine",
				"scopeName": "source.eventb.machine",
				"path": "./syntaxes/eventb-machine.tmLanguage.json"
			},
			{
				"language": "eventb-context",
				"scopeName": "source.eventb.context",
				"path": "./syntaxes/eventb-context.tmLanguage.json"
			}
		],
		"snippets": [
			{
				"language": "eventb-machine",
				"path": "./snippets/eventb-machine.json"
			},
			{
				"language": "eventb-context",
				"path": "./snippets/eventb-context.json"
			}
		],
		"commands": [
			{
				"command": "eventb.compileCurrentFile",
				"title": "Compile current file to XML",
				"category": "Event-B"
			},
			{
				"command": "eventb.initProject",
				"title": "New Project",
				"category": "Event-B"
			},
			{
				"command": "eventb.openInRodin",
				"title": "Open in Rodin Platform",
				"category": "Event-B"
			}
		],
		"keybindings": [
			{
				"command": "eventb.compileCurrentFile",
				"when": "editorLangId == eventb-machine || editorLangId == eventb-context",
				"key": "f5"
			}
		],
		"menus": {
			"commandPalette": [
				{
					"command": "eventb.compileCurrentFile",
					"when": "editorLangId == eventb-machine || editorLangId == eventb-context"
				},
				{
					"command": "eventb.openInRodin",
					"when": "eventb:project_loaded"
				}
			]
		},
		"configuration": {
			"type": "object",
			"title": "Event-B",
			"properties": {
				"eventb.pathToRodinExecutable": {
					"type": "string",
					"default": "rodin",
					"description": "Path to the rodin executable.",
					"scope": "window"
				}
			}
		}
	},
	"__metadata": {
		"id": "2973ccc1-039d-45e5-8984-3e5c6cac9c66",
		"publisherDisplayName": "GlgCorp",
		"publisherId": "582ccdb4-052f-4ad2-b2a1-774d495b25e8"
	},
	"dependencies": {
		"xmlbuilder": "^14.0.0"
	}
}