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  |
 Klaas Gadeyne
Messages: 165
Registered: July 2009 |
Senior 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  |
Ed Willink
Messages: 7669
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 |
Ed Willink
Messages: 7669
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&id=13414" alt=""><br>
<br>
Regards<br>
<br>
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>
Regards
<br>
<br>
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> 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. Am I missing something here, or
is this a bug?
<br>
<br>
Demo model attached. 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 226 times)
|
|
|
| Re: EssentialOCL editing support in papyrus for OrderedSet [message #1008978 is a reply to message #1008763] |
Thu, 14 February 2013 08:31 |
Ed Willink
Messages: 7669
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&id=13415" alt=""><br>
<br>
Regards<br>
<br>
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>
Regards
<br>
<br>
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> 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. Am I missing something here, or
is this a bug?
<br>
<br>
Demo model attached. 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 233 times)
|
|
|
| Re: EssentialOCL editing support in papyrus for OrderedSet [message #1009194 is a reply to message #1008978] |
Thu, 14 February 2013 16:29 |
Klaas Gadeyne
Messages: 165
Registered: July 2009 |
Senior 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 
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 |
Ed Willink
Messages: 7669
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
>
>
|
|
|
Goto Forum:
Current Time: Sat Sep 14 20:58:26 GMT 2024
Powered by FUDForum. Page generated in 0.03637 seconds |
] 
Search
Help
Register
Login
Home
