OCLOperators exists
    (Automatically adding template at the end of the page.)
    No edit summary
     
    (3 intermediate revisions by 2 users not shown)
    Line 1: Line 1:
     
    <message>Write the content here to display this box</message>Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.
    Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.
    {| class="wikitable"
    {| class="wikitable"
    !Expression
    !Expression
    Line 8: Line 7:
    |true
    |true
    |}
    |}
    This is the reverse of [[OCLOperators forAll|->forAll]].
    This is the reverse of [[Documentation:OCLOperators forAll|->forAll]].
    [[Category:OCL Collection Operators]]
    [[Category:OCL Collection Operators]]
    {{Edited|July|12|2024}}
    {{Edited|July|12|2025}}

    Latest revision as of 05:41, 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 at least one element in self validates the condition expr - otherwise, returns false. 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.

    Retrieved from "https://wiki.mdriven.net/index.php?title=Documentation:OCLOperators_exists&oldid=26402"

    © MDRIVEN . All Rights Reserved

    API Docs
    MDriven World | Portal | Blog | YouTube | StackOverflow | Facebook

    © MDRIVEN . All Rights Reserved