Object Constraint Language: differenze tra le versioni

Versione delle 16:29, 5 lug 2006

Versione delle 19:48, 29 lug 2006

Riga 12:

:<code>età>=0</code>

La [[parola chiave]] <code>context</contextcode> precede la dichiarazione della classe a cui questa regola OCL si applica. <code>inv:</code> specifica che questa particolare regola è una [[invariante]], ovvero deve essere interpretata come una condizione che è sempre vera, per tutti gli oggetti di classe <code>Persona</code>. L'espressione che segue dichiara che l'età di una persona è sempre non negativa.

Nel caso in cui un attributo di una classe sia a sua volta un oggetto, è possibile riferirsi ai suoi attributi o metodi utilizzando la ''[[dot notation]]'':