[news.eclipse.modeling.gmf] Re: GMF mapping Audit Rules

[aachila@xxxxxxxxxxx (Achilleas )]

Hi Christian,

I did it as follows:

context Class1:
inv:
Root.allInstances()->forAll(e | e.classes2->exists(c | c.value = self.value))

But i believe both of your ways are better! 

I thought that only for the Root class we can use the allInstances() when 
the context (domain element target) is set to another class. 

Your 2nd example is even more expressive and resolves the problem I have, 
where the error is depicted on all instances of the element,e.g. when i 
impose the constraint:

context Class:
inv:
Class.allInstances()->forAll( c1, c2 | c1 <> c2 implies c1.id <> c2.id )

This produces an error that appears on all instances. I believe with your 
2nd constraint this is contained only to the two specific instances that 
have the same "id"??? Anyway I will try it out to see if that's the case!

Thanks,

Achilleas