Java Modelling Language

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

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

      – Ogni riga di JML è preceduta dalla sequenza //@, oppure è inclusa in un commento /*@...@*/