Eclipse Community Forums: M2T (model-to-text transformation)

Help

Home

Home » Modeling » M2T (model-to-text transformation) » Check: problem with a constraint

Show: Today's Messages :: Show Polls :: Message Navigator

Check: problem with a constraint [message #530833]

Sat, 01 May 2010 14:51

farah Mising name

Messages: 58
Registered: July 2009

Member

hello,
I can't write this constraint with the check language:

Quote:

self.port-> forAll( p1, p2 : Port | p1<>p2 implies p1.name<>p2.name)

thank you for your help Smile

Report message to a moderator

Re: Check: problem with a constraint [message #530843 is a reply to message #530833]

Sat, 01 May 2010 18:15

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hello, you have to restructure your constraint a bit, but depending on your metamodel it should be easy to do it:

lets asume you have a metamodel like this (Xtext Synatx):

Model:
	(elements+=Element)*
;

Element: 
	"element" name=ID
;

then the check could look like this

context Element ERROR "Elements must have a unique name" :
	((Model)this.eContainer).elements.select(e|e.name == this.name).size == 1;

So in your case you have to check hat within all ports there is onlyone with the same same than the port you define the check for.

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Check: problem with a constraint [message #530875 is a reply to message #530843]

Sun, 02 May 2010 10:09

farah Mising name

Messages: 58
Registered: July 2009

Member

it's work, thank you very much for your help:)

also, I can write

Quote:

port.forAll( p1 | port.notExists(p2| p1!=p2 && p1.name == p2.name))

Report message to a moderator

Previous Topic:	[check] Problem with the metamodel
Next Topic:	[Xtext][Xpand] How to generate a default textual syntax for existing metamodels?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 05:13:37 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter