|
Re: Of surname propagation, another nest. [message #1751904 is a reply to message #1751901] |
Mon, 16 January 2017 17:24 |
Edouard R. Batot Messages: 100 Registered: March 2015 |
Senior Member |
|
|
An other example which brings the same SemanticException (p182 is not recognized), just to illustrate my words.
self.l->forAll(p182:P |
(
(
(
p182.l->forAll(a1 : P, a2 : P | a1.m = a2.m implies a1 = a2)
or
p182.d.m = p182
)
and
p182.k->exists(p181:P |
p181.d.m = p181
)
)
or
p182.m <> p182
)
)
I know it's abstract, I'm trying to understand OCL at work.
If you experience such "bugs" (if I may call it that way), and you know how to fix them, or if you get what's wrong in the (concrete) syntax I use, please, any help is appreciated.
Thanks again,
Edouard
[Updated on: Mon, 16 January 2017 17:28] Report message to a moderator
|
|
|
|
Re: Of surname propagation, another nest. [message #1751918 is a reply to message #1751916] |
Mon, 16 January 2017 19:08 |
Edouard R. Batot Messages: 100 Registered: March 2015 |
Senior Member |
|
|
Quote:Your examples look as if they should work
Indeed, they should.
But they don't.
Metamodel attached (most simple one : a Family with Person (P), Male (M) and Female (F), with attributes : kids (k), m (mother), d (father) and some extra testing features : l, name, age, test (bool), size...
The purpose is to deal with OCL - I'll extend to a more industrial problem soon.
-
Attachment: F.ecore
(Size: 1.58KB, Downloaded 305 times)
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.03132 seconds