Java Modelling Language

Java Modelling Language (JML) è un linguaggio di specifica che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di un metodo e sul suo valore di ritorno. È disponibile solamente per Java 1.4.2.

Le specifiche vengono aggiunte come annotazioni Java all'interno del codice sorgente Java. Il codice JML si scrive come un commento speciale che precede il metodo, che non viene letto dal compilatore Java, ma solo dagli strumenti di JML.

Le specifiche JML sono precedute dalla sequenza

//@

oppure sono incluse in blocchi delimitati da:

 /*@ ... @*/