VS Code Extension

The LiquidJava VS Code extension integrates the verifier into the editor, with real-time diagnostic reporting, syntax highlighting, autocomplete for refinements, and more. It is built as a VS Code client and a language server that communicate through the Language Server Protocol (LSP).

To start using the extension, you can follow the setup guide here.

Real-Time Diagnostic Feedback

Find out about real-time diagnostic reporting directly in the editor.

Syntax Highlighting for Refinements

Learn about syntax highlighting for refinements in the VS Code extension.

Autocomplete for Refinements

Explore context-aware auto-completion support for refinement predicates.

Webview

Delve into the VS Code webview with interactive diagnostic explorer, context debugger, and state machine visualizer.

Status Bar Indicator

Check out the indicator that shows the current state of LiquidJava.

Commands

Explore the commands provided by the extension for various interactions.

Output Channel

Discover the output channel for LiquidJava logs.