Eclipse Community Forums: GMF (Graphical Modeling Framework)

Help

Home

Home » Modeling » GMF (Graphical Modeling Framework) » LinkConstraint

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

LinkConstraint [message #198512]

Wed, 23 July 2008 11:27

Peter Mising name

Messages: 95
Registered: July 2009

Member

Hello,
I want to create a LinkConstraint for my GMF Editor.
My Model look like this:
Root
instances:Instance
links:Link
Instance
name:EString
Link
src:Instance
dst:Instance
Class1 -> Instance
Class2 -> Instance
Class3 -> Instance
...

I want to forbid special Links, for example between Class1 and 2.
The OCL expression is:
context Link
inv: src->union(dst).name <> Set{'Class1', 'Class2'}

What is the expression for GMF?
Thanks for your Help.
Peter

Report message to a moderator

Re: LinkConstraint [message #198546 is a reply to message #198512]

Wed, 23 July 2008 12:51

Alexander Shatalin

Messages: 2928
Registered: July 2009

Senior Member

Hello Peter,

source end link constraint:
self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}

-----------------
Alex Shatalin

Report message to a moderator

Re: LinkConstraint [message #198569 is a reply to message #198546]

Wed, 23 July 2008 13:26

Peter Mising name

Messages: 95
Registered: July 2009

Member

Hello Alex,

then I get the Validation Error:
Cannot find operation (union(Instance))

> Hello Peter,
>
> source end link constraint:
> self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
>
>
> -----------------
> Alex Shatalin
>
>

Report message to a moderator

Re: LinkConstraint [message #198585 is a reply to message #198569]

Wed, 23 July 2008 13:47

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-gT52ZEd9Umim27Xh1lDz
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Peter,

Sorry, my original reply on the OCL newsgroup should have used
"including" instead of "union".

Try this:

self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'}

The union operation requires another collection, whereas including
requires a scalar value.

Cheers,

Christian

On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:

> Hello Alex,
>
> then I get the Validation Error:
> Cannot find operation (union(Instance))
>
>
> > Hello Peter,
> >
> > source end link constraint:
> > self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
> >
> >
> > -----------------
> > Alex Shatalin
> >
> >

--=-gT52ZEd9Umim27Xh1lDz
Content-Type: text/html; charset=utf-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.0">
</HEAD>
<BODY>
Hi, Peter, 
 
Sorry, my original reply on the OCL newsgroup should have used "including" instead of "union". 
 
Try this: 
 
self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'} 
 
The union operation requires another collection, whereas including requires a scalar value. 
 
Cheers, 
 
Christian 
 
 
On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hello Alex,

then I get the Validation Error:
Cannot find operation (union(Instance))

> Hello Peter,
> 
> source end link constraint:
> self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
> 
> 
> -----------------
> Alex Shatalin
> 
> 
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-gT52ZEd9Umim27Xh1lDz--

Report message to a moderator

Re: LinkConstraint [message #198592 is a reply to message #198569]

Wed, 23 July 2008 13:50

Alexander Shatalin

Messages: 2928
Registered: July 2009

Senior Member

Hello Peter,

> then I get the Validation Error:
> Cannot find operation (union(Instance))
This is because in OCL "->union()" operation has "Colection" parameter type.
You can use "self->union(oppositeEnd->asSet())" instead.

-----------------
Alex Shatalin

Report message to a moderator

Re: LinkConstraint [message #198606 is a reply to message #198585]

Wed, 23 July 2008 14:04

Peter Mising name

Messages: 95
Registered: July 2009

Member

Hi Christian,
no problem! Thanks for your Help.
I changed it to including, but the I get the Error:

Cannot find operation (<>(Set(String))) for the type (Bag...

then the Message is cut.

> Hi, Peter,
>
> Sorry, my original reply on the OCL newsgroup should have used
> "including" instead of "union".
>
> Try this:
>
> self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'}
>
> The union operation requires another collection, whereas including
> requires a scalar value.
>
> Cheers,
>
> Christian
>
>
> On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:
>> Hello Alex,
>>
>> then I get the Validation Error:
>> Cannot find operation (union(Instance))
>>
>>
>> > Hello Peter,
>> >
>> > source end link constraint:
>> > self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
>> >
>> >
>> > -----------------
>> > Alex Shatalin
>> >
>> >

Report message to a moderator

Re: LinkConstraint [message #198639 is a reply to message #198606]

Wed, 23 July 2008 14:18

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-v79oxYa7cPpLN1AH02Yk
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Peter,

Right. The implicit "collect" iterator in the ".name" navigation from a
set results in a bag.

So, one last try (this really should work):

self->including(oppositeEnd).name <> Bag{'Class1', 'Class2'}

or, if you like,

self->including(oppositeEnd).name->asSet() <> Set{'Class1',
'Class2'}

Cheers,

Christian

On Wed, 2008-07-23 at 16:04 +0200, Peter wrote:

> Hi Christian,
> no problem! Thanks for your Help.
> I changed it to including, but the I get the Error:
>
> Cannot find operation (<>(Set(String))) for the type (Bag...
>
> then the Message is cut.
>
>
>
> > Hi, Peter,
> >
> > Sorry, my original reply on the OCL newsgroup should have used
> > "including" instead of "union".
> >
> > Try this:
> >
> > self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'}
> >
> > The union operation requires another collection, whereas including
> > requires a scalar value.
> >
> > Cheers,
> >
> > Christian
> >
> >
> > On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:
> >> Hello Alex,
> >>
> >> then I get the Validation Error:
> >> Cannot find operation (union(Instance))
> >>
> >>
> >> > Hello Peter,
> >> >
> >> > source end link constraint:
> >> > self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
> >> >
> >> >
> >> > -----------------
> >> > Alex Shatalin
> >> >
> >> >

--=-v79oxYa7cPpLN1AH02Yk
Content-Type: text/html; charset=utf-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.0">
</HEAD>
<BODY>
Hi, Peter, 
 
Right.  The implicit "collect" iterator in the ".name" navigation from a set results in a bag. 
 
So, one last try (this really should work): 
 
    self->including(oppositeEnd).name <> Bag{'Class1', 'Class2'} 
 
or, if you like, 
 
    self->including(oppositeEnd).name->asSet() <> Set{'Class1', 'Class2'} 
 
Cheers, 
 
Christian 
 
On Wed, 2008-07-23 at 16:04 +0200, Peter wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi Christian,
no problem! Thanks for your Help.
I changed it to including, but the I get the Error:

Cannot find operation (<>(Set(String))) for the type (Bag...

then the Message is cut.

> Hi, Peter,
> 
> Sorry, my original reply on the OCL newsgroup should have used 
> "including" instead of "union".
> 
> Try this:
> 
> self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'}
> 
> The union operation requires another collection, whereas including 
> requires a scalar value.
> 
> Cheers,
> 
> Christian
> 
> 
> On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:
>> Hello Alex,
>>
>> then I get the Validation Error:
>> Cannot find operation (union(Instance))
>>
>>
>> > Hello Peter,
>> > 
>> > source end link constraint:
>> > self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
>> > 
>> > 
>> > -----------------
>> > Alex Shatalin
>> > 
>> > 
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-v79oxYa7cPpLN1AH02Yk--

Report message to a moderator

Re: LinkConstraint [message #198647 is a reply to message #198639]

Wed, 23 July 2008 14:33

Peter Mising name

Messages: 95
Registered: July 2009

Member

Yes this works!
Thanks!

> Hi, Peter,
>
> Right. The implicit "collect" iterator in the ".name" navigation from a
> set results in a bag.
>
> So, one last try (this really should work):
>
> self->including(oppositeEnd).name <> Bag{'Class1', 'Class2'}
>
> or, if you like,
>
> self->including(oppositeEnd).name->asSet() <> Set{'Class1', 'Class2'}
>
> Cheers,
>
> Christian
>
> On Wed, 2008-07-23 at 16:04 +0200, Peter wrote:
>> Hi Christian,
>> no problem! Thanks for your Help.
>> I changed it to including, but the I get the Error:
>>
>> Cannot find operation (<>(Set(String))) for the type (Bag...
>>
>> then the Message is cut.
>>
>>
>>
>> > Hi, Peter,
>> >
>> > Sorry, my original reply on the OCL newsgroup should have used
>> > "including" instead of "union".
>> >
>> > Try this:
>> >
>> > self->including(oppositeEnd).name <> Set{'Clas1', 'Class2'}
>> >
>> > The union operation requires another collection, whereas including
>> > requires a scalar value.
>> >
>> > Cheers,
>> >
>> > Christian
>> >
>> >
>> > On Wed, 2008-07-23 at 15:26 +0200, Peter wrote:
>> >> Hello Alex,
>> >>
>> >> then I get the Validation Error:
>> >> Cannot find operation (union(Instance))
>> >>
>> >>
>> >> > Hello Peter,
>> >> >
>> >> > source end link constraint:
>> >> > self->union(oppositeEnd).name <> Set{'Class1', 'Class2'}
>> >> >
>> >> >
>> >> > -----------------
>> >> > Alex Shatalin
>> >> >
>> >> >

Report message to a moderator

Previous Topic:	Mark Nodes in a Model after Validation
Next Topic:	Printing with out opening a diagram

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Apr 20 01:43:26 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter