The Java Modeling Language (JML) is a specification language that is used to specify intended behavior of Java programs. This project aims to be an easy-to-use plugin for IntelliJ IDEA that provides support for modern Java versions. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are provided to aid users in writing JML specifications in a convenient manner.
The installable plugin file (a .jar file) can be found in the releases section.
An installation guide can be found here
-
Import the source code into IntelliJ IDEA.
-
Open the Gradle tab and reload the Gradle project.
-
Then go to the Gradle tasks > build > jar
-
The generated .jar file can then be found in the directory build/libs
Note that gradle must be run with JDK 11 for a successful build
A guide for the plugin architecture can be found here
A guide for running tests can be found here in chapter 8.