package.json

{
	"name": "liquid-java",
	"displayName": "LiquidJava",
	"description": "Extending Java with Liquid Types",
	"version": "0.0.96",
	"publisher": "AlcidesFonseca",
	"repository": {
		"type": "git",
		"url": "https://github.com/liquid-java/vscode-liquidjava"
	},
	"homepage": "https://liquid-java.github.io",
	"engines": {
		"node": ">=22",
		"vscode": "^1.82.0"
	},
	"languages": [
		{
			"id": "java"
		}
	],
	"categories": [
		"Programming Languages",
		"Debuggers",
		"Testing"
	],
	"icon": "media/lj-icon.png",
	"license": "MIT",
	"keywords": [
		"java",
		"liquidjava",
		"liquid java",
		"liquid-java",
		"liquid types",
		"refinement types",
		"static analysis",
		"type checking",
		"software verification"
	],
	"activationEvents": [
		"onLanguage:java"
	],
	"main": "./dist/extension.js",
	"contributes": {
		"configuration": {
			"type": "object",
			"title": "Liquid Java configuration",
			"properties": {
				"liquidJavaServer.maxNumberOfProblems": {
					"type": "number",
					"default": 100,
					"description": "Controls the maximum number of problems produced by the server."
				},
				"liquidJavaServer.trace.server": {
					"type": "string",
					"enum": [
						"off",
						"messages",
						"verbose"
					],
					"default": "off",
					"description": "Traces the communication between VSCode and the liquidJavaServer service."
				},
				"liquidjava.applyItalicOverlay": {
					"type": "boolean",
					"default": true,
					"description": "Apply italic style to LiquidJava injected tokens on top of any active theme"
				}
			}
		},
		"viewsContainers": {
			"activitybar": [
				{
					"id": "liquidJavaContainer",
					"title": "LiquidJava",
					"icon": "media/java-icon.svg"
				}
			]
		},
		"views": {
			"liquidJavaContainer": [
				{
					"id": "liquidJavaView",
					"name": "LiquidJava",
					"type": "webview",
					"icon": "media/java-icon.svg"
				}
			]
		},
		"commands": [
			{
				"command": "liquidjava.showCommands",
				"title": "Show Commands",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.showWalkthrough",
				"title": "Show Walkthrough",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.showLogs",
				"title": "Show Logs",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.showView",
				"title": "Show View",
				"category": "LiquidJava",
				"icon": {
					"light": "media/java-icon.svg",
					"dark": "media/java-icon-white.svg"
				}
			},
			{
				"command": "liquidjava.start",
				"title": "Start",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.stop",
				"title": "Stop",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.restart",
				"title": "Restart",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.verify",
				"title": "Verify",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.copyMavenDependency",
				"title": "Copy Maven Dependency",
				"category": "LiquidJava"
			},
			{
				"command": "liquidjava.copyGradleDependency",
				"title": "Copy Gradle Dependency",
				"category": "LiquidJava"
			}
		],
		"menus": {
			"editor/title": [
				{
					"command": "liquidjava.showView",
					"group": "navigation",
					"when": "editorLangId == java"
				}
			]
		},
		"grammars": [
			{
				"path": "./syntaxes/liquidjava.json",
				"scopeName": "source.liquidjava",
				"injectTo": [
					"source.java"
				]
			}
		],
		"configurationDefaults": {
			"[java]": {
				"editor.autoClosingBrackets": "always"
			}
		},
		"walkthroughs": [
			{
				"id": "getStarted",
				"title": "Get Started with LiquidJava",
				"description": "Learn LiquidJava, add annotations, and discover verification, views, commands, and logs.",
				"steps": [
					{
						"id": "tutorial",
						"title": "Learn LiquidJava",
						"description": "LiquidJava is an additional type checker for Java, based on **liquid types** and **typestates**, which provides stronger safety guarantees to Java programs at compile-time.\nLearn refinements, method contracts, object states, and ghost variables with short examples in the interactive tutorial.\n[Open interactive tutorial](https://liquid-java.github.io/liquidjava-interactive-tutorial/)",
						"media": {
							"markdown": "media/walkthrough/tutorial.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "annotations",
						"title": "Add the annotation API",
						"description": "Add ``liquidjava-api`` to your project to use annotations such as ``@Refinement``.\n**Maven — pom.xml**\n``<dependency>``\n``    <groupId>io.github.liquid-java</groupId>``\n``    <artifactId>liquidjava-api</artifactId>``\n``    <version>0.0.7</version>``\n``</dependency>``\n[Copy Maven dependency](command:liquidjava.copyMavenDependency)\n**Gradle — build.gradle**\n``repositories {``\n``    mavenCentral()``\n``}``\n``dependencies {``\n``    implementation 'io.github.liquid-java:liquidjava-api:0.0.7'``\n``}``\n[Copy Gradle dependency](command:liquidjava.copyGradleDependency)\nReload the Java project after changing dependencies. Import annotations from ``liquidjava.specification``.",
						"media": {
							"markdown": "media/walkthrough/annotations.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "verification",
						"title": "Verification and status",
						"description": "Open or save a Java file to verify it. Watch the **LiquidJava** indicator in the bottom status bar.\nA spinner means checking; a check mark means passed; a cross means failed or crashed; a slashed circle means stopped. Hover for details or click for LiquidJava commands.",
						"media": {
							"markdown": "media/walkthrough/verification.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "commands",
						"title": "Find LiquidJava commands",
						"description": "Use the status indicator or **Show LiquidJava commands** below to list only LiquidJava actions.\nChoose **Start**, **Stop**, or **Restart** to control the verifier. Use **Verify** after returning to a Java editor. You can also press **F1** and search for LiquidJava in the Command Palette.\n[Show LiquidJava commands](command:liquidjava.showCommands)",
						"media": {
							"markdown": "media/walkthrough/commands.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "diagnostics",
						"title": "Understand diagnostics",
						"description": "The **Verification** tab compares **Found** with **Expected**. Click a location or variable to jump to its source.\nWhen a simplification history is available, use **Previous simplification** and **Next simplification** to inspect highlighted changes. Inspect a **Hint** or **Counterexample** when available.\nSwitch between **Current file** and **Workspace**, or use **View related context** and **Show in state machine** to investigate an error.\n[Open LiquidJava view](command:liquidjava.showView)",
						"media": {
							"markdown": "media/walkthrough/diagnostics.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "stateMachine",
						"title": "Explore state machines",
						"description": "The **State Machine** tab shows object states and method transitions declared with ``@StateSet`` and ``@StateRefinement``.\nPan the diagram; use **Zoom In**, **Zoom Out**, **Reset Zoom**, and **Toggle Orientation** to inspect it.\nUse **Expand Conditions** or **Collapse Conditions** to show or hide preconditions and postconditions. **Copy Mermaid Source** copies the diagram definition.\nFrom a state error, choose **Show in state machine** to see the related states and call. The tab opens on the first state error of the file, keeps the one you choose, and follows the error at the cursor; step through several with the arrows, and use **View error** to go back to it.\n[Open LiquidJava view](command:liquidjava.showView)",
						"media": {
							"markdown": "media/walkthrough/state-machine.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "context",
						"title": "Inspect context",
						"description": "The **Context** tab shows **Variables**, **Aliases**, and **Ghosts** after verification. Expand or collapse each section.\nLocal variables are filtered by the cursor: only declarations before it and in enclosing scopes appear. Select a range to inspect declarations that overlap it; global variables are also included.\nClick a variable to reveal its source. Variables relevant to a nearby error are highlighted alongside the failing refinement.\n[Open LiquidJava view](command:liquidjava.showView)",
						"media": {
							"markdown": "media/walkthrough/context.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					},
					{
						"id": "logs",
						"title": "Check the logs",
						"description": "The **LiquidJava** output channel records extension and verifier activity. Use it to investigate startup or verification problems.\nEach entry includes a timestamp, **CLIENT** or **SERVER** source, and **INFO** or **ERROR** level.\n[Show LiquidJava logs](command:liquidjava.showLogs)",
						"media": {
							"markdown": "media/walkthrough/logs.md"
						},
						"completionEvents": [
							"onStepSelected"
						]
					}
				]
			}
		]
	},
	"scripts": {
		"vscode:prepublish": "npm run package",
		"compile": "webpack",
		"watch": "webpack --watch",
		"package": "webpack --mode production --devtool hidden-source-map",
		"build:server": "cd ../server && mvn clean package && mkdir -p ../client/server && cp target/language-server-liquidjava.jar ../client/server/",
		"lint": "eslint src",
		"pretest": "npm run package && tsc -p tsconfig.integration.json",
		"test": "vscode-test",
		"test:typecheck": "tsc --noEmit -p tsconfig.test.json",
		"test:unit": "vitest run"
	},
	"extensionDependencies": [],
	"dependencies": {
		"@vscode/codicons": "^0.0.45"
	},
	"devDependencies": {
		"@eslint/js": "^9.39.0",
		"@types/jsdom": "^30.0.0",
		"@types/mocha": "^10.0.10",
		"@types/node": "^24.7.2",
		"@types/vscode": "~1.82.0",
		"@vscode/test-cli": "^0.0.15",
		"@vscode/test-electron": "^3.1.0",
		"@vscode/vsce": "^3.0.0",
		"eslint": "^9.39.0",
		"jsdom": "^30.1.1",
		"jsonc-parser": "^0.4.2",
		"minimist": "^1.2.7",
		"semver": "^7.7.4",
		"ts-loader": "^9.5.4",
		"typescript": "~5.3.0",
		"typescript-eslint": "^8.0.0",
		"vitest": "^5.0.3",
		"vscode-languageclient": "^9.0.1",
		"webpack": "^5.102.1",
		"webpack-cli": "^5.1.4"
	}
}