OCLOperators forAll
No edit summary
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
Returns true if the all the elements contained in ''self'' validate the condition ''expr'', false otherwise.
<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.
{| class="wikitable"
{| class="wikitable"
!Expression
!Expression
Line 10: Line 11:
|true
|true
|}
|}
The reverse of this operator is [[OCLOperators exists|->exists]]
The reverse of this operator is [[OCLOperators exists|->exists]].
[[Category:OCLOperators]]
[[Category:OCL Collection Operators]]
{{Edited|July|12|2024}}

Latest revision as of 01:00, 11 September 2024

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.

This page was edited 9 days ago on 09/11/2024. What links here