Java Modelling Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 3:
Le specifiche vengono aggiunte come [[Annotazione (Java)|annotazioni Java]] all'interno del [[codice sorgente]] [[Java (linguaggio)|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.
==Sintassi==
Le specifiche JML sono
<source lang=java>
//@ <Specifica JML>
</source>
oppure
<source lang=java>
/*@
</source>
| |||