OCLOperators forAll
No edit summary |
No edit summary |
||
| (12 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
Returns true if | <message>Write the content here to display this box</message> | ||
Returns true if all the elements of a collection validate the condition expression, otherwise returns false. | |||
The reverse of this operator is [[OCLOperators exists|->exists]] | {| class="wikitable" | ||
[[Category: | !Expression | ||
!Result | |||
|- | |||
|<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 3)</nowiki> | |||
|false | |||
|- | |||
|<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 1.2)</nowiki> | |||
|true | |||
|} | |||
The reverse of this operator is [[Documentation:OCLOperators exists|->exists]]. | |||
[[Category:OCL Collection Operators]] | |||
{{Edited|July|12|2025}} | |||
Latest revision as of 05:37, 11 February 2025
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie on 2025-02-11.
Returns true if all the elements of a collection validate the condition expression, otherwise returns false.
| Expression | Result |
|---|---|
| Sequence{2.3, 5.2}->forAll(x|x> 3) | false |
| Sequence{2.3, 5.2}->forAll(x|x> 1.2) | true |
The reverse of this operator is ->exists.