Skip to content

Latest commit

 

History

History
54 lines (34 loc) · 1.5 KB

README.md

File metadata and controls

54 lines (34 loc) · 1.5 KB
Raw

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