package.json

{
	"name": "safepkt-verifier",
	"displayName": "SafePKT verifier",
	"description": "Static analysis of rust-based smart contracts",
	"version": "0.2.15",
	"publisher": "CJDNS",
	"private": true,
	"icon": "img/safepkt-logo.png",
	"galleryBanner": {
		"color": "#ffffff",
		"theme": "light"
	},
	"licenses": [
		{
			"type": "MIT",
			"url": "https://github.com/LedgerProject/safepkt_frontend/blob/main/LICENSE-MIT"
		},
		{
			"type": "Apache-2.0",
			"url": "https://github.com/LedgerProject/safepkt_frontend/blob/main/LICENSE-APACHE"
		}
	],
	"repository": {
		"type": "git",
		"url": "https://github.com/LedgerProject/safepkt_vscode-plugin.git"
	},
	"engines": {
		"vscode": "^1.61.0"
	},
	"categories": [
		"Testing"
	],
	"activationEvents": [
		"onCommand:workbench.action.tasks.runTask",
		"onCommand:SmartContractVerifier.verifySmartContract",
		"workspaceContains:src/*.rs"
	],
	"main": "./out/extension.js",
	"contributes": {
		"grammars": [
			{
				"language": "rust",
				"scopeName": "source.rust",
				"path": "./src/rust.tmLanguage.json"
			}
		],
		"taskDefinitions": [
			{
				"type": "verify-smart-contract",
				"required": [
					"smartContractPath",
					"smartContractPath"
				],
				"properties": {
					"smartContractPath": {
						"type": "string",
						"default": "${workspaceRoot}/src/lib.rs",
						"description": "Path to a Rust-based smart-contract based on ink! v2.1.0"
					}
				}
			}
		],
		"configuration": {
			"title": "SafePKT verifier",
			"properties": {
				"SmartContractVerifier.backend": {
					"type": "array",
					"default": [
						"http://vinny.cjdns.fr"
					],
					"description": "Verification backend base URL (scheme, host and port when different from 80 and 443).",
					"items": {
						"type": "string"
					},
					"scope": "window"
				}
			}
		}
	},
	"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.4",
		"@types/got": "^9.6.12",
		"@types/mocha": "^9.0.0",
		"@types/node": "16.x",
		"@types/vscode": "^1.61.0",
		"@typescript-eslint/eslint-plugin": "^4.31.1",
		"@typescript-eslint/parser": "^4.31.1",
		"@vscode/test-electron": "^1.6.2",
		"esbuild": "^0.13.10",
		"eslint": "^7.32.0",
		"glob": "^7.1.7",
		"mocha": "^9.1.1",
		"tree-sitter-cli": "^0.20.0",
		"tree-sitter-rust": "^0.19.1",
		"typescript": "^4.4.3"
	},
	"dependencies": {
		"got": "^11.8.2",
		"js-base64": "^3.7.2",
		"tree-sitter": "^0.20.0",
		"web-tree-sitter": "^0.19.4"
	}
}