Java Modelling Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m tag source deprecati, replaced: <source lang= → <syntaxhighlight lang= (3), </source> → </syntaxhighlight> (3) |
Nessun oggetto della modifica |
||
Riga 31:
;<code>assert</code>
:definisce una asserzione JML.
;<code>spec_public</code>
;Dichiara una variabile pubblica protetta o privata per scopi di specifica.
===Espressioni===
| |||