Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » EssentialOCL editing support in papyrus for OrderedSet
EssentialOCL editing support in papyrus for OrderedSet [message #1008707] Wed, 13 February 2013 16:28 Go to next message
Klaas Gadeyne is currently offline Klaas Gadeyne
Messages: 94
Registered: July 2009
Member
Hi,

When creating a reference "myref" in eCore from eClass1 to eClass2 with multiplicity > 1 and setting its properties to { ordered, Unique }, the resulting reference in the context from eClass1, in casu self.myref, is of type OrderedSet, and this syntax is also validated/supported by the OCLinEcore editor.

However, when I create a UML model in Papyrus, that contains 2 classes having the same relation (where the properties of the association end at the Class2 side are set as isOrdered = true, and isUnique = true) and use the embedded essentialOCL editor to create a constraint in the context of Class1, the editor seems to suggest that self.myref is of type Set, and not of type orderedSet as I would expect. Am I missing something here, or is this a bug?

Demo model attached. As you can see, there is an explicit cast "asOrderedSet()" in the contraint expression.

TIA,

Klaas

Edit: Verified using juno SR2-RC2 and Kepler M5 (using the OCL milestone builds for Kepler)

[Updated on: Wed, 13 February 2013 16:31]

Report message to a moderator

Re: EssentialOCL editing support in papyrus for OrderedSet [message #1008763 is a reply to message #1008707] Wed, 13 February 2013 20:09 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
Hi

I thought for a moment that it might be a combination of unit
multiplicity elements are sets and that one of your properties was
unordered, but after changing them, it still needs asOrderedSet().

Beginning to look very like a bug.

Regards

Ed Willink


On 13/02/2013 16:28, Klaas Gadeyne wrote:
> Hi,
>
> When creating a reference "myref" in eCore from eClass1 to eClass2 with multiplicity> 1 and setting its properties to { ordered, Unique }, the resulting reference in the context from eClass1, in casu self.myref, is of type OrderedSet, and this syntax is also validated/supported by the OCLinEcore editor.
>
> However, when I create a UML model in Papyrus, that contains 2 classes having the same relation (where the properties of the association end at the Class2 side are set as isOrdered = true, and isUnique = true) and use the embedded essentialOCL editor to create a constraint in the context of Class1, the editor seems to suggest that self.myref is of type Set, and not of type orderedSet as I would expect. Am I missing something here, or is this a bug?
>
> Demo model attached. As you can see, there is an explicit cast "asOrderedSet()" in the contraint expression.
>
> TIA,
>
> Klaas
>
>
Re: EssentialOCL editing support in papyrus for OrderedSet [message #1008976 is a reply to message #1008763] Thu, 14 February 2013 08:31 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi<br>
<br>
<a class="moz-txt-link-freetext" href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744">https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744</a> raised and
fixed. Available tomorrow ion an N-build.<br>
<br>
The pivot-based OCL has some support for bounded nested
collections, so when it's working correctly you see the
multiplicities in the hover text.<br>
<br>
<img src="http://www.eclipse.org/forums/index.php?t=getfile&amp;id=13414" alt=""><br>
<br>
&nbsp;&nbsp;&nbsp; Regards<br>
<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; Ed Willink<br>
<br>
<br>
On 13/02/2013 20:09, Ed Willink wrote:<br>
</div>
<blockquote cite="mid:kfgrtr$r28$1@xxxxxxxxe.org" type="cite">Hi
<br>
<br>
I thought for a moment that it might be a combination of unit
multiplicity elements are sets and that one of your properties was
unordered, but after changing them, it still needs asOrderedSet().
<br>
<br>
Beginning to look very like a bug.
<br>
<br>
&nbsp;&nbsp;&nbsp; Regards
<br>
<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Ed Willink
<br>
<br>
<br>
On 13/02/2013 16:28, Klaas Gadeyne wrote:
<br>
<blockquote type="cite">Hi,
<br>
<br>
When creating a reference "myref" in eCore from eClass1 to
eClass2 with multiplicity&gt;&nbsp; 1 and setting its properties to {
ordered, Unique }, the resulting reference in the context from
eClass1, in casu self.myref, is of type OrderedSet, and this
syntax is also validated/supported by the OCLinEcore editor.
<br>
<br>
However, when I create a UML model in Papyrus, that contains 2
classes having the same relation (where the properties of the
association end at the Class2 side are set as isOrdered = true,
and isUnique = true) and use the embedded essentialOCL editor to
create a constraint in the context of Class1, the editor seems
to suggest that self.myref is of type Set, and not of type
orderedSet as I would expect.&nbsp; Am I missing something here, or
is this a bug?
<br>
<br>
Demo model attached.&nbsp; As you can see, there is an explicit cast
"asOrderedSet()" in the contraint expression.
<br>
<br>
TIA,
<br>
<br>
Klaas
<br>
<br>
<br>
</blockquote>
<br>
</blockquote>
<br>
</body>
</html>
  • Attachment: eijabgdh.png
    (Size: 2.27KB, Downloaded 69 times)
Re: EssentialOCL editing support in papyrus for OrderedSet [message #1008978 is a reply to message #1008763] Thu, 14 February 2013 08:31 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi<br>
<br>
<a class="moz-txt-link-freetext" href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744">https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744</a> raised and
fixed. Available tomorrow ion an N-build.<br>
<br>
The pivot-based OCL has some support for bounded nested
collections, so when it's working correctly you see the
multiplicities in the hover text.<br>
<br>
<img src="http://www.eclipse.org/forums/index.php?t=getfile&amp;id=13415" alt=""><br>
<br>
&nbsp;&nbsp;&nbsp; Regards<br>
<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; Ed Willink<br>
<br>
<br>
On 13/02/2013 20:09, Ed Willink wrote:<br>
</div>
<blockquote cite="mid:kfgrtr$r28$1@xxxxxxxxe.org" type="cite">Hi
<br>
<br>
I thought for a moment that it might be a combination of unit
multiplicity elements are sets and that one of your properties was
unordered, but after changing them, it still needs asOrderedSet().
<br>
<br>
Beginning to look very like a bug.
<br>
<br>
&nbsp;&nbsp;&nbsp; Regards
<br>
<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Ed Willink
<br>
<br>
<br>
On 13/02/2013 16:28, Klaas Gadeyne wrote:
<br>
<blockquote type="cite">Hi,
<br>
<br>
When creating a reference "myref" in eCore from eClass1 to
eClass2 with multiplicity&gt;&nbsp; 1 and setting its properties to {
ordered, Unique }, the resulting reference in the context from
eClass1, in casu self.myref, is of type OrderedSet, and this
syntax is also validated/supported by the OCLinEcore editor.
<br>
<br>
However, when I create a UML model in Papyrus, that contains 2
classes having the same relation (where the properties of the
association end at the Class2 side are set as isOrdered = true,
and isUnique = true) and use the embedded essentialOCL editor to
create a constraint in the context of Class1, the editor seems
to suggest that self.myref is of type Set, and not of type
orderedSet as I would expect.&nbsp; Am I missing something here, or
is this a bug?
<br>
<br>
Demo model attached.&nbsp; As you can see, there is an explicit cast
"asOrderedSet()" in the contraint expression.
<br>
<br>
TIA,
<br>
<br>
Klaas
<br>
<br>
<br>
</blockquote>
<br>
</blockquote>
<br>
</body>
</html>
  • Attachment: eijabgdh.png
    (Size: 2.27KB, Downloaded 71 times)
Re: EssentialOCL editing support in papyrus for OrderedSet [message #1009194 is a reply to message #1008978] Thu, 14 February 2013 16:29 Go to previous messageGo to next message
Klaas Gadeyne is currently offline Klaas Gadeyne
Messages: 94
Registered: July 2009
Member
Hi Ed,

Ed Willink wrote on Thu, 14 February 2013 03:31

https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744 raised and fixed. Available tomorrow ion an N-build.

The pivot-based OCL has some support for bounded nested collections, so when it's working correctly you see the multiplicities in the hover text.

I thought for a moment that it might be a combination of unit multiplicity elements are sets and that one of your properties was unordered, but after changing them, it still needs asOrderedSet().


I updated my OCL from the nightly build update site, but that doesn't seem to solve the bug (the syntax is still not valid, nor does the hovering show me the multiplicity). I see two possible reasons:
1/ A problem with the nightly build update site? (The timestamp seems to be from 20130209 instead of 20130214 as I would expect)

OCL End User SDK 4.1.0.v20130209-0216 org.eclipse.ocl.all.sdk.feature.group Eclipse Modeling Project
OCL Examples and Editors 3.3.0.v20130209-0216 org.eclipse.ocl.examples.feature.group Eclipse Modeling Project

2/ The fact that I should adapt something in my UML model, but I fail to see what you mean with your "I thought for a moment" statement above.

And a third option is that I screwed up something else of course Smile

Anyway, thanks a lot for the swift reply/bugfix!

Klaas

Re: EssentialOCL editing support in papyrus for OrderedSet [message #1009260 is a reply to message #1009194] Thu, 14 February 2013 19:24 Go to previous message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
Hi

For security reasons the build computers cannot push directly to the
downloads area, so builds are pulled by a separate cron job, that for
MDT/OCL runs at about 06:00 GMT, so the N-build won't be accessible
from the downloads page till tomorrow. You can however fetch it direct
from the build at
https://hudson.eclipse.org/hudson/job/buckminster-mdt-ocl-tools-kepler-master/lastSuccessfulBuild/artifact/MDT-OCL.downloads/.

Regards

Ed Willink


On 14/02/2013 16:29, Klaas Gadeyne wrote:
> Hi Ed,
>
> Ed Willink wrote on Thu, 14 February 2013 03:31
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=400744 raised and
>> fixed. Available tomorrow ion an N-build.
>>
>> The pivot-based OCL has some support for bounded nested collections,
>> so when it's working correctly you see the multiplicities in the
>> hover text.
>>
>> I thought for a moment that it might be a combination of unit
>> multiplicity elements are sets and that one of your properties was
>> unordered, but after changing them, it still needs asOrderedSet().
>
>
> I updated my OCL from the nightly build update site, but that doesn't
> seem to solve the bug (the syntax is still not valid, nor does the
> hovering show me the multiplicity). I see two possible reasons:
> 1/ A problem with the nightly build update site? (The timestamp seems
> to be from 20130209 instead of 20130214 as I would expect)
>
> OCL End User SDK 4.1.0.v20130209-0216
> org.eclipse.ocl.all.sdk.feature.group Eclipse Modeling Project
> OCL Examples and Editors 3.3.0.v20130209-0216
> org.eclipse.ocl.examples.feature.group Eclipse Modeling Project
>
> 2/ The fact that I should adapt something in my UML model, but I fail
> to see what you mean with your "I thought for a moment" statement above.
>
> And a third option is that I screwed up something else of course :)
>
> Anyway, thanks a lot for the swift reply/bugfix!
>
> Klaas
>
>
Previous Topic:oclIsTypeOf/oclIsKindOf, OclVoid and OclInvalid
Next Topic:Limitations of OCL
Goto Forum:
  


Current Time: Sun Oct 26 04:29:35 GMT 2014

Powered by FUDForum. Page generated in 0.02789 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software