Webview

The extension includes a dedicated webview with three different panels: the diagnostic explorer, the context debugger, and the state machine visualizer.

You can open this webview in various ways:

  • Click the activity bar icon for LiquidJava on the left or right side of the editor
  • Run the LiquidJava: Show View command from the command palette
  • Click the status bar indicator and then select Show View
  • Click the title bar icon in the top right corner of the editor when a Java file is open
  • Hover a LiquidJava diagnostic and click the Open LiquidJava view action in the tooltip

Diagnostic Explorer

Explore how you can use the diagnostic explorer to understand failures interactively.

Context Debugger

See how you can use the context debugger to debug failed refinements.

State Machine Visualizer

Find out about the state machine visualizer for classes with state refinements.