Java Modelling Language: differenze tra le versioni

Versione delle 09:10, 24 ott 2008

Versione delle 12:17, 27 ott 2008

Riga 1:

{{S|informatica}}

Il '''Java Modelling Language''' ('''JML''') è un [[linguaggio di specifica]] che permette di definire [[astrazioni procedurali]] su un modello di [[Design by Contractcontract|programmazione per contratto]], effettuando dei controlli sui [[Parametro (programmazione)|parametri d'ingresso]] di unaun [[FunzioneMetodo (informaticaprogrammazione)|funzionemetodo]] e sul suo valore di ritorno. È disponibile solamente per [[Piattaforma Java (linguaggio)|Java]] 1.4.2.

Le specifiche vengono aggiunte come [[Annotazione (Java)|annotazioni Java]] all'interno del [[codice sorgente]] [[Java (linguaggio)|Java]]. Il "Codice"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.

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.

Le specifiche JML sono precedute dalla sequenza

<source lang=java>

//@

</source>

oppure sono incluse in blocchi delimitati da:

<source lang=java>

/*@ ... @*/

</source>

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:Linguaggio Java]]