vscode-jml

VS Code extension for supporting the Java Modeling Language.

Available at Visual Studio Marketplace and open-vsx.org

Features

Syntax highlighting of JML specification

This extensions enables syntax highlighting of JML annotation texts inside Java files. A JML annotation text is encapsulate into comments, that starts with an at-sign @. Additionally before the @, you can also add a list of conditions (identifiers prefixed with + or -) to activate or deactivate a JML annotation for a specific tool.

The highlighting is sensitive to the JML conditions. You set the current active keys by a comment //-*- jml-keys: ....

Language Server for JML

This project provides a language server on top of the jmlparser project. The language server supports following requests:

• Code Outline (documentSymbols)

• Error reporting (``)

• Code Actions

  • Check well-definedness (requires z3)
  • Normalise formula
  • ...

• Code Lenses

  • Prove refinment of contracts
  • [ ]

• Snippets

• Support for KeY files

  Syntax highlighting and snippets.

Authors

• @csicar
• @wadoon