Skip to main content



      Home
Home » Modeling » OCL » checking against ecore based model
checking against ecore based model [message #1769346] Sun, 30 July 2017 08:43 Go to next message
Eclipse UserFriend
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
Re: checking against ecore based model [message #1769348 is a reply to message #1769346] Sun, 30 July 2017 10:24 Go to previous message
Eclipse UserFriend
The examples
Previous Topic:Announce OCL 6.3.0
Next Topic:Defining helper operations in Java
Goto Forum:
  


Current Time: Fri Jul 11 09:10:22 EDT 2025

Powered by FUDForum. Page generated in 0.06254 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top