Language server development notes

The integration with our language server is developed on the wip/lsp branch (you may also be interested in the wip/lsp-server-highlighting branch).

To run the extension, use a launch.json like this:

{
	"version": "0.2.0",
	"configurations": [
		{
			"type": "extensionHost",
			"request": "launch",
			"name": "Launch Client",
			"runtimeExecutable": "${execPath}",
			"args": ["--extensionDevelopmentPath=${workspaceRoot}"],
			"outFiles": [
				"${workspaceRoot}/out/**/*.js"
			],
			"autoAttachChildProcesses": true
		}
	]
}

This will launch a new VSCode window which will automatically connect to the language server when a .vadl file is opened. Currently the communication between client and server is done via local port 10999.

The server can be found in our main openvadl repo, in the wip/vadl-lsp branch.

The server must be started manually (e.g. via ./gradlew :vadl-lsp:run).