OCLOperators forAll
No edit summary |
Peter Mugabe (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
Returns true if the all the elements contained in ''self'' validate the condition ''expr'', false otherwise. | Returns true if the all the elements contained in ''self'' validate the condition ''expr'', false otherwise. | ||
{| class="wikitable" | |||
!Expression | |||
!Result | |||
|- | |||
|Sequence{2.3, 5.2}->forAll(self > 3) | |||
|false | |||
|- | |||
|Sequence{2.3, 5.2}->forAll(self > 1.2) | |||
|true | |||
|} | |||
The reverse of this operator is [[OCLOperators exists|->exists]] | The reverse of this operator is [[OCLOperators exists|->exists]] | ||
[[Category:OCLOperators]] | [[Category:OCLOperators]] |
Revision as of 16:22, 13 November 2019
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie on 2025-02-11.
Returns true if the all the elements contained in self validate the condition expr, false otherwise.
Expression | Result |
---|---|
Sequence{2.3, 5.2}->forAll(self > 3) | false |
Sequence{2.3, 5.2}->forAll(self > 1.2) | true |
The reverse of this operator is ->exists