Java Modelling Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Sostituzione automatica (-. E' +. È ) |
Nessun oggetto della modifica |
||
Riga 2:
Il '''Java Modelling Language''' (JML) è un linguaggio che permette di definire [[astrazioni procedurali]] su un modello di [[Design by Contract|programmazione per contratto]], effettuando dei controlli sui [[Parametro (programmazione)|parametri d'ingresso]] di una [[Funzione (informatica)|funzione]] e sul suo valore di ritorno. È disponibile solamente per [[Java (linguaggio)|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 /*@...@*/
{{categoria: ingegneria del software}}
| |||