Java Modelling Language: differenze tra le versioni

Versione delle 18:26, 3 dic 2008

Versione delle 20:52, 8 mag 2009

Riga 20:

:definisce una post-condizione sul metodo che segue

;<code>signals</code>

:definisce una condizione in base alla quale deve essere lanciata una [[Gestione delle eccezioni in Java||eccezione]] dal metodo che segue

;<code>assignable</code>

:definisce di quali campi è consentito l'assegnamento dal metodo che segue