Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m migrazione di 8 interwiki links su Wikidata - d:q1397689 |
chiudo <code>; formattazione |
||
Riga 34:
:<code>genitori->size()=2 and genitori->forAll(genitore:Persona | età<genitore.età)</code>
Il [[quantificatore esistenziale]] è rappresentato dall'operatore <code>->exists</code>. Questo operatore ritorna un valore [[logica booleana|booleano]] (''vero'' o ''falso'') a seconda che nella collezione esista almeno una istanza che soddisfa una certa condizione. La condizione viene espressa facendo riferimento agli attributi e i metodi dell'istanza da selezionare. Nel seguente esempio, si indica che deve esistere un genitore ''il cui'' sesso è maschile, e uno ''il cui'' sesso è femminile.
:<code>'''context''' Persona '''inv:'''<br /></code>
Riga 95:
I seguenti operatori si applicano ai tipi numerici Integer e Real:
{| class="wikitable"
|-
| uguaglianza
Riga 174:
I seguenti operatori si applicano al tipo Boolean:
{| class="wikitable"
|-
| or logico (OR)
Riga 214:
I seguenti operatori si applicano al tipo String:
{| class="wikitable"
|-
| concatenazione
| |||