Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Is it pivot validation bug?
Is it pivot validation bug? [message #1343948] Fri, 09 May 2014 14:38 Go to next message
ModelGeek Mising name is currently offline ModelGeek Mising nameFriend
Messages: 550
Registered: June 2011
Senior Member
I have very simple model having one class and one double type derived attribute. The derivation statement is returning Set{4.5, 5.5} while the attribute is single attribute(upper bound = 1).

When i try to validate the model then i do not get the validation error. Is it bug?

Please check attached image and ecore file.

Eclipse Build id: 20131113-1838

Re: Is it pivot validation bug? [message #1344009 is a reply to message #1343948] Fri, 09 May 2014 15:11 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

Yes. There are quite a lot of rules missing from Pivot.ocl.

Please raise a Bugzilla.

Regards

Ed Willink


On 09/05/2014 15:38, ModelGeek Mising name wrote:
> I have very simple model having one class and one double type derived attribute. The derivation statement is returning Set{4.5, 5.5} while the attribute is single attribute(upper bound = 1).
>
> When i try to validate the model then i do not get the validation error. Is it bug?
>
> Please check attached image and ecore file.
>
> Eclipse Build id: 20131113-1838
>
>
Previous Topic:PrettyPrinter ignors comments
Next Topic:Invariants on EStructuralFeatures
Goto Forum:
  


Current Time: Tue Mar 19 04:37:56 GMT 2024

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

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

Back to the top