JML Editing

JML Editing extends the Java development tools (JDT) with support for JML to make writing JML specifications as convenient as writing Java source code.

The following screenshot shows for instance the extended syntax highlighting of the Java Editor:\ JML Editing

Prerequisites

JML Editing is compatible with Eclipse Luna (4.4) or newer.

Required update-sites and installation instructions are available in the download area.

Current Functionality

Future Work