Wikipedia

Java Modelling Language: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Spec_public
Riga 32:
:definisce una asserzione JML.
;<code>spec_public</code>
;:Dichiara una variabile pubblica protetta o privata per scopi di specifica.
 
===Espressioni===
Estratto da "https://it.wikipedia.org/wiki/Java_Modelling_Language"