Java Modelling Language: differenze tra le versioni

Versione delle 19:19, 26 apr 2011

Versione delle 14:33, 23 giu 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 specifiche formali delle proprietà delle classi, dei campi e dei metodi. Un esempio di senmplicesemplice annotazione di un metodo potrebbe essere il seguente:

<source lang=java>

public class BankingExample {