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

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

https://utwente.nl/vercors

Mozilla Public License 2.0

55 stars 26 forks source link

Closed pandasansgains closed 7 months ago

pandasansgains commented 7 months ago

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