Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 38:
:<code><b>context</b> Persona <b>inv:</b><br></code>
:<code>genitori->size()=2 and genitori->exists(sesso=m) and genitori->exists(sesso=f)</code>
L'operatore <code>->select</code> ha una sintassi analoga all'<code>exists-></code>; anziché produrre un valore booleano, questo operatore produce una collezione (la collezione di tutte le istanze che soddisfano la condizione specificata). L'operatore <code>->includes</code> torna invece un valore booleano a seconda che una certa collezione includa o meno un determinato oggetto.
| |||