Autocomplete for Refinements

The VS Code extension provides context-aware autocomplete for LiquidJava refinements, using suggestions specific to the refinement language and the current context.

Autocomplete suggestions only appear when the cursor is inside a string literal that belongs to a LiquidJava annotation. These suggestions include variables in scope, fields, ghosts, states, aliases, and keywords like this, old, and return.