Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » checking against ecore based model
checking against ecore based model [message #1769346] Sun, 30 July 2017 12:43 Go to next message
Bert Brecht is currently offline Bert BrechtFriend
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
Re: checking against ecore based model [message #1769348 is a reply to message #1769346] Sun, 30 July 2017 14:24 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 5438
Registered: July 2009
Senior Member
The examples
Previous Topic:maven emf ocl artifacts
Next Topic:Defining helper operations in Java
Goto Forum:
  


Current Time: Mon Oct 23 17:30:23 GMT 2017

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

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