Documentation:OCLOperators exists: Difference between revisions

OCLOperators exists

Revision as of 16:18, 13 November 2019

This page was created by Alexandra on 2017-08-13. Last edited by Stephanie@mdriven.net on 2025-02-11.

Returns true if at least one element in self validates the condition expr, false otherwise. The evaluation stops as soon as one element validating expr is found.

Expression	Result
Sequence{2.3, 5.2}->exists(self > 3)	true

This is the reverse of ->forAll

@@ Line 1: / Line 1: @@
-Are there any objects that fulfill the criteria.
+Returns true if at least one element in ''self'' validates the condition ''expr'', false otherwise. The evaluation stops as soon as one element validating ''expr'' is found.
+{| class="wikitable"
+!Expression
+!Result
+|-
+|Sequence{2.3, 5.2}->exists(self > 3)
+|true
+|}
 This is the reverse of [[OCLOperators forAll|->forAll]]
 [[Category:OCLOperators]]