Skip to content

VS Code Extension for Support of Java Modelling Language

License

GPL-3.0, GPL-3.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-3.0
LICENSE.txt
Notifications You must be signed in to change notification settings

jmltoolkit/vscode-jml

Repository files navigation

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

About

VS Code Extension for Support of Java Modelling Language

Resources

License

GPL-3.0, GPL-3.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-3.0
LICENSE.txt

Stars

Watchers

Forks

Packages

No packages published