Eclipse Community Forums: OCL » [OCLinEcore] Invalid way of specifying cardinality

Help

Home

Home » Modeling » OCL » [OCLinEcore] Invalid way of specifying cardinality

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

[OCLinEcore] Invalid way of specifying cardinality [message #1016641]

Thu, 07 March 2013 03:57

Cedric Moonen
Messages: 214
Registered: August 2009

Senior Member

Hello,

This notation for the cardinality is accepted by the OCLinEcore editor:

property value : ecore::EDouble[3];

You would suppose that it resolves to a lower and a upper bound of 3 but this is converted to 0 to 1 (so similar as a '?').

IMHO, this syntax should either be refused (you have to specify [3..3]) or it should resolve to 3 for the lower and upper bounds.

Cédric

Report message to a moderator

Re: [OCLinEcore] Invalid way of specifying cardinality [message #1017052 is a reply to message #1016641]

Fri, 08 March 2013 13:42

Ed Willink
Messages: 3151
Registered: July 2009

Senior Member

Hi

Thanks. I'm surprised this has crept through.
https://bugs.eclipse.org/bugs/show_bug.cgi?id=402767 raised.

The UML specification is the guide here; although clumsily worded, there
is no doubt that [3] is a short form for [3..3].

Fix currently under test. Hopefully committed to master tonight.

REgards

Ed Willink

On 07/03/2013 08:57, Cedric Moonen wrote:
> Hello,
>
> This notation for the cardinality is accepted by the OCLinEcore editor:
>
> property value : ecore::EDouble[3];
>
> You would suppose that it resolves to a lower and a upper bound of 3
> but this is converted to 0 to 1 (so similar as a '?').
>
> IMHO, this syntax should either be refused (you have to specify
> [3..3]) or it should resolve to 3 for the lower and upper bounds.
> Cédric

Report message to a moderator

Previous Topic:	Synchronization issues betwee CompleteOCL editor and model editor
Next Topic:	cannot get tutorial to create error

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun May 19 00:07:15 EDT 2013