Eclipse Community Forums: OCL » Constraint reference contents in a subtype

Help

Home

Home » Modeling » OCL » Constraint reference contents in a subtype

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

Constraint reference contents in a subtype [message #1196597]

Tue, 19 November 2013 13:47

Felix Dorner

Messages: 295
Registered: March 2012

Senior Member

Hi,

Can I do this with EMF/OCL (Sorry for the stupid example :))?

Animal
-children [0-*] : Animal

Dog -> Animal
Cat -> Animal

I now would like to define a constraint on Dog, such that a dog's
children may only be dogs and a Cat's chidren well.. you guess.

The constraint would be defined on a different type than the feature
that is being constraint.

I also thought to use maybe this:
http://ed-merks.blogspot.it/2013/01/emf-can-do-what.html which serves a
similar purpose.

Thanks,
Felix

Report message to a moderator

Re: Constraint reference contents in a subtype [message #1196882 is a reply to message #1196597]

Tue, 19 November 2013 16:45

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Yes.

On 19/11/2013 13:47, Felix Dorner wrote:
> Hi,
>
> Can I do this with EMF/OCL (Sorry for the stupid example :))?
>
>
> Animal
> -children [0-*] : Animal
>
> Dog -> Animal
> Cat -> Animal
>
> I now would like to define a constraint on Dog, such that a dog's
> children may only be dogs and a Cat's chidren well.. you guess.
>
> The constraint would be defined on a different type than the feature
> that is being constraint.
>
> I also thought to use maybe this:
> http://ed-merks.blogspot.it/2013/01/emf-can-do-what.html which serves
> a similar purpose.
>
> Thanks,
> Felix

Report message to a moderator

Previous Topic:	OCL invariants in ecore file doesn't work reliable
Next Topic:	"misplaced contructs" using second import statement

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 00:10:34 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter