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

Home

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

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

Thu, 07 March 2013 03:57

Eclipse User

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

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

Fri, 08 March 2013 13:42

Eclipse User

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

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

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 06 14:45:01 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter