Skip to main content

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

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?

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: 7665
Registered: July 2009
Senior Member
The examples
Previous Topic:Announce OCL 6.3.0
Next Topic:Defining helper operations in Java
Goto Forum:

Current Time: Fri Jul 19 22:31:37 GMT 2024

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

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

Back to the top