Java Modelling Language: differenze tra le versioni

Versione delle 22:34, 15 apr 2011

Versione delle 20:50, 25 apr 2011

Riga 1:

'''Java Modelling Language''' ('''JML''') è un [[linguaggio di specifica]] 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 un [[Metodo (programmazione)|metodo]] e sul suo valore di ritorno. È disponibile solamente per [[Piattaforma Java|Java]] 1.4.2.

Le specifiche vengono aggiunte come [[Annotazione (Java)|annotazioni Java]] all'interno del [[codice sorgente]] [[Java (linguaggio)|Java]]., Iltramite codicecommenti JMLdotati sidi scriveuna comespeciale un commento specialesintassi che precedeprecedono il metodo, interessato. Questo significa che il codice JML non viene letto dal [[compilatore]] Java, ma solo dagli strumenti di JML.

==Sintassi==