checking against ecore based model [message #1769346] |
Sun, 30 July 2017 08:43  |
Eclipse User |
|
|
|
Hi,
I decided to go with the "old" classic ecore implementation and made everything working to parse my models with my custom ecore-based meta-model as described here.
Now, I tried to check my OCL constraints as well. I'm using only invariants (no pre/post) and i tried to check them according to this reference.
All invariants are checked to false, even when I'm writing two invariants like:
rootElement_notEmpty: self.rootElements->notEmpty()
empty_rootelements: self.rootElements->size().=(0)
Validate doc (empty_rootelements): false
Validate doc (rootElement_notEmpty): false
Any idea, where I can look at to make the validation work as well?
brgds,
Bert
|
|
|
|
Powered by
FUDForum. Page generated in 0.06254 seconds