Eclipse Community Forums: OCL » checking against ecore based model

Help

Home

Home » Modeling » OCL » checking against ecore based model

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

checking against ecore based model [message #1769346]

Sun, 30 July 2017 12:43

Bert Brecht

Messages: 7
Registered: July 2016

Junior Member

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

Report message to a moderator