Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 23:
Si consideri il seguente esempio di espressione OCL:
:<code><b>context</b> Persona <b>inv:</b><br></code>▼
:<code>età < padre.età</code>▼
▲:<b>context</b> Persona <b>inv:</b><br>
▲:età < padre.età
La parola chiave iniziale <code>context</code> indica che il contesto dell'espressione è <code>Persona</code> (che intendiamo essere una classe descritta nel modello UML; vedi [[diagramma delle classi]]). La parola chiave <code>inv</code> indica che quanto segue è una proprietà invariante della classe. La parte rimanente dell'espressione descrive la semplice verità [[genealogia|genealogica]] che ''(data una qualunque persona, in qualunque momento), l'età (di quella persona) è strettamente minore dell'età del padre (di quella persona).''
| |||