Eclipse Community Forums: EMF » EMF Validation via OCL

Home » Modeling » EMF » EMF Validation via OCL

EMF Validation via OCL [message #514792]

Tue, 16 February 2010 11:25

Eclipse User

Hi,

I try to add some constraints in my ecore model.
In the book "eclipse Modeling Project" there is an example at "Chapter 3.2.4"

This is what i have done:

1. changed the .genmodel:
OCL_ECORE=org.eclipse.ocl.ecore
Dynamic Templates=true
Template Directory = /emf.test/templates

2. added a annotation:
source : http://www.eclipse.org/2007/OCL
->DetailsEntry: key=derived
value=self.id<>null

I just want that the EAttribute "id" can't be null.
If i invoke the validation in my generated Editor via "right click->validate", nothing happens.
Maybe i misunderstand something.

I hope somebody can help me.

Re: EMF Validation via OCL [message #514829 is a reply to message #514792]

Tue, 16 February 2010 13:27

Eclipse User

Hi,

1. You need to annotate your EClass with ecore contraints annotation to specify the invariants.
2. For each invariant you need to create OCL annotation with key the name of the invariant and value the OCL invariant expression.
3. Make sure you add the dynamic templates in the folder you specified in your genmodel.
4. Check your generated model validator. Do you see the contraints methods implemented?

You can get sample dynamic templates from Modeling project's CVS. Check the org.eclipse.amalgam project's examples - like the dsl.mindmap.

Hope that this helps Smile

Re: EMF Validation via OCL [message #514863 is a reply to message #514829]

Tue, 16 February 2010 13:06

Eclipse User

Hi,

thanks for your help.
In the meantime i discovered something strange.
It seems that no Validation example works well.
I tried the EMF Validation Framework with OCL Example. No defined
Constaint works in this example, neither Batch nor Live Validation.
Only the normal ecore depencies can be found in the editor when
pressing validate.

I am using Eclipse Galileo

ps: i know, my english is terrible, sorry for that.

Assen Sharlandjiev wrote:

> Hi,
>
> 1. You need to annotate your EClass with ecore contraints annotation
to
> specify the invariants. 2. For each invariant you need to create OCL
> annotation with key the name of the invariant and value the OCL
invariant
> expression. 3. Make sure you add the dynamic templates in the folder
you
> specified in your genmodel.
> 4. Check your generated model validator. Do you see the contraints
> methods implemented?
>
> You can get sample dynamic templates from Modeling project's CVS.
Check
> the org.eclipse.amalgam project's examples - like the dsl.mindmap.
>
> Hope that this helps :)

Re: EMF Validation via OCL [message #515661 is a reply to message #514863]

Fri, 19 February 2010 11:29

Eclipse User

Hi,

I solved the second Problem. I just did not realize that i have to use the "Validate Elements.." Button Wink

.

The Validation Example works good but i have a few more questions.

1. The "Location" Column in the Problems View alway shows "Unknown". A double click on a Problem did nothing. How can i solve this ?

2. Is it possible to change the normal validate Button to do the work for my Validation Framework ?

mfg
Dennis

[Updated on: Tue, 23 February 2010 05:22] by Moderator

Previous Topic:	Migrate from Spring+Hibernate to Spring+Teneo
Next Topic:	XMLSaveImpl not saving data

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 13 21:13:48 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter