Home » Modeling » OCL » bag->asSet() operation bug
| bag->asSet() operation bug [message #1213547] |
Wed, 27 November 2013 09:31  |
 ModelGeek Mising name
Messages: 550
Registered: June 2011 |
Senior Member |
|
|
Bag->asSet() operation does not return the set with unique elements
let x : Bag(Integer) = Bag{3,3,4,4,5} in x->asSet()
if i execute the above query in "interactive xtext OCL" console i get "3,3,4,4,5" but if i execute it in "interactive OCL" then i get the correct result.
It seems a bug in pivot/xtext imlpementation.
Please check the image.
Attachment: bag.jpg
(Size: 28.47KB, Downloaded 539 times)
|
|
|
| Re: bag->asSet() operation bug [message #1213619 is a reply to message #1213547] |
Wed, 27 November 2013 10:10  |
Ed Willink
Messages: 7655
Registered: July 2009 |
Senior Member |
|
|
Hi
Indeed. Fixed by commit 551890f69da19012696b2dae780646c6c7e5430b on
2013-10-27 13:36:44
so if you use the Luna M3 install you should be good.
Regards
Ed Willink
On 27/11/2013 09:31, ModelGeek Mising name wrote:
> Bag->asSet() operation does not return the set with unique elements
>
> let x : Bag(Integer) = Bag{3,3,4,4,5} in x->asSet()
> if i execute the above query in "interactive xtext OCL" console i get "3,3,4,4,5" but if i execute it in "interactive OCL" then i get the correct result.
>
> It seems a bug in pivot/xtext imlpementation.
>
> Please check the image.
>
|
|
| | | | |
| Re: bag->asSet() operation bug [message #1220398 is a reply to message #1220395] |
Wed, 11 December 2013 13:56 |
ModelGeek Mising name
Messages: 550
Registered: June 2011 |
Senior Member |
|
|
I have solved most of the errors.
I am having an error at class declaration of org.eclipse.ocl.examples.editor.ocl.ui.OCLCreationFactory
Multiple markers at this line
- The return types are incompatible for the inherited methods
ICreationFactory.createNodeLocator(ICSTRootEnvironment<?,?,?,?,?,?,?,?,?,?,?,?>),
AbstractCreationFactory.createNodeLocator(ICSTRootEnvironment<?,?,?,?,?,?,?,?,?,?,?,?>)
- The return types are incompatible for the inherited methods ICreationFactory.getLanguage(),
AbstractCreationFactory.getLanguage()
- The type OCLCreationFactory must implement the inherited abstract method
ICreationFactory.createNodeLocator(ICSTRootEnvironment)
- The type OCLCreationFactory must implement the inherited abstract method
ICreationFactory.createSourcePositionLocator(ICSTRootEnvironment)
- The type OCLCreationFactory must implement the inherited abstract method ICreationFactory.getAdapter(Class)
any idea?
[Updated on: Wed, 11 December 2013 14:14] Report message to a moderator |
|
| | |
Goto Forum:
Current Time: Fri Apr 19 22:36:22 GMT 2024
Powered by FUDForum. Page generated in 0.03982 seconds |
] 
Search
Help
Register
Login
Home
