GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing liquid-java.github.io — VS Code Extension VS Code ExtensionThe 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).
Real-Time Diagnostic FeedbackFind out about real-time diagnostic reporting directly in the editor. Syntax Highlighting for RefinementsLearn about syntax highlighting for refinements in the VS Code extension. Autocomplete for RefinementsExplore context-aware auto-completion support for refinement predicates. WebviewDelve into the VS Code webview with interactive diagnostic explorer, context debugger, and state machine visualizer. Status Bar IndicatorCheck out the indicator that shows the current state of LiquidJava. CommandsExplore the commands provided by the extension for various interactions. Output ChannelDiscover the output channel for LiquidJava logs. |
| You are visitor 01402520 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |