Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: zh:对象约束语言 |
m →Invarianti su collezioni: disambigua unione |
||
Riga 44:
:<code>collezione->select(condizione)->size>0</code>
L'operatore <code>->includes</code> torna invece un valore booleano a seconda che una certa collezione includa o meno un determinato oggetto, e l'operatore <code>->excludes</code> verifica la condizione opposta. Vi sono poi operatori che rappresentano operazioni insiemistiche, come <code>->union</code> ([[unione (insiemistica)|unione]]).
:<code>'''context''' Persona '''inv:'''<br></code>
| |||