Documentation:OCLOperators forAll: Difference between revisions

OCLOperators forAll

Latest revision as of 05:37, 11 February 2025

This page was created by Alexandra on 2017-08-13. Last edited by Stephanie@mdriven.net 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.

@@ 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>
-[[Category:OCLOperators]]
+Returns true if all the elements  of a collection validate the condition expression,  otherwise returns false.
+{| class="wikitable"
+!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}}