OCLOperators forAll
No edit summary
No edit summary
Line 12: Line 12:
The reverse of this operator is [[OCLOperators exists|->exists]].
The reverse of this operator is [[OCLOperators exists|->exists]].
[[Category:OCLOperators]]
[[Category:OCLOperators]]
[[Category:OCL Collection Operators]]

Revision as of 06:26, 13 April 2023

Returns true if all the elements contained in self validate the condition expr - otherwise, 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 95 days ago on 02/10/2024. What links here