Eclipse Community Forums: OCL » Problems with nested exists

Help

Home

Home » Modeling » OCL » Problems with nested exists

Show: Today's Messages :: Show Polls :: Message Navigator

Problems with nested exists [message #1058139]

Sun, 12 May 2013 08:41

Bernhard Berger
Messages: 2
Registered: October 2011

Junior Member

Hi,

I have some trouble with some OCL expressions I want to evaluate using Pivot. For writing the expressions I am using the Xtext OCL console and I am ending up with a "Evaluation failure" I do not understand.

The problem -as far as I reduced it- originates from two nested exists where the inner tries to access the variable of the outer exists. Starting from an arbitrary ecore file I open the "Xtext OCL console" for a class with some attributes (for instance the Book class in extlibrary example) then I enter the following expression:

eStructuralFeatures->exists(feature | Set{true}->exists(data | feature.name = ''))

The interpreter then prints:

Evaluation failure
Invalid source for '='

The = is not related to the = in the expression. I'm aware that the code is semantically useless but the original query is longer.

The "Interactice OCL console" returns a boolean value instead of throwing an error. Is it a bug in the Xtext OCL console

Thanks in advance and regards,
Bernhard

Report message to a moderator

Re: Problems with nested exists [message #1058143 is a reply to message #1058139]

Sun, 12 May 2013 09:55

Ed Willink
Messages: 3191
Registered: July 2009

Senior Member

Hi

Thanks. https://bugs.eclipse.org/bugs/show_bug.cgi?id=407817 raised.

The current code returns

'NavigableObject' rather than 'Boolean' value required

presumably because the inner 'feature' reference has been resolved to
the Boolean inner 'data' rather than the Object outer 'feature'.

Regards

Ed Willink

On 12/05/2013 13:41, Bernhard Berger wrote:
> Hi,
>
> I have some trouble with some OCL expressions I want to evaluate using
> Pivot. For writing the expressions I am using the Xtext OCL console
> and I am ending up with a "Evaluation failure" I do not understand.
>
> The problem -as far as I reduced it- originates from two nested exists
> where the inner tries to access the variable of the outer exists.
> Starting from an arbitrary ecore file I open the "Xtext OCL console"
> for a class with some attributes (for instance the Book class in
> extlibrary example) then I enter the following expression:
>
> eStructuralFeatures->exists(feature | Set{true}->exists(data |
> feature.name = ''))
> The interpreter then prints:
> Evaluation failure
> Invalid source for '='
> The = is not related to the = in the expression. I'm aware that the
> code is semantically useless but the original query is longer.
>
> The "Interactice OCL console" returns a boolean value instead of
> throwing an error. Is it a bug in the Xtext OCL console
>
> Thanks in advance and regards,
> Bernhard

Report message to a moderator

Previous Topic:	[OCLinEcore][bug?] @pre tag and isPre() method not working properly
Next Topic:	OCL to validate XML models?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue May 28 16:17:54 EDT 2013