utwente-fmt/vercors

[VS Code] As a user, I want keywords to be highlighted with different colours in Java when adding JML.

Closed this issue · 0 comments

Within the VS Code IDE when activating the extension and having a JAVA file open with valid JML annotations

Goal:

Keywords are highlighted in JAVA in all code (Including comments)
Keywords in JML can be found in this article