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)
Support for KeY files

Syntax highlighting and snippets.

Changelog

0.3.0 (upcoming-2022)
- Changing to SemanticTokenProvider interface to highlight JML annotation texts inside Java files. There is no text mate grammar anymore.
- Language Server added on the basis of the jmlparser project.
- Simple support for KeY files
  
  Syntax highlighting and snippets.
0.2.0 (04.04.2019)
- Fixes by @csicar
0.1.0 (14.02.2019)
- First release
0.0.0 (unpublished)
- Start with the java language definition of VS Code.

Authors

@csicar
@wadoon