It is primarily a Java modeling language, but it also has a Java implementation.
JML consists of four core language elements, which are presented in this order:
A few primitive annotations that are useful for capturing assumptions about the semantics of a JML model.
An utterance specification, used to define the behavior of models.
Logical operators, used to denote relational queries.
A general purpose programming language for constructing Java programs.
The core of 50e0806ae