Java Modelling Language: differenze tra le versioni

Versione delle 11:35, 15 giu 2010

Versione delle 22:34, 15 apr 2011

Riga 47:

:il costrutto logico <code>a</code> se e solo se <code>b</code>

Le annotazioni JML hanno inoltre accesso agli [[oggetto (informatica)|oggetti]] Java, oltre che ai metodi ed agli [[Operatore (informatica)|operatori]] degli oggetti. Questi sono combinati per fornire fspecifichespecifiche formali delle proprietà delle classi, dei campi e dei metodi. Un esempio di senmplice annotazione di un metodo potrebbe essere il seguente:

<source lang=java>

public class BankingExample {