Eclipse Community Forums: M2M (model-to-model transformation)

Home » Archived » M2M (model-to-model transformation) » [ATL] unique lazy rule

[ATL] unique lazy rule [message #100628]

Tue, 24 February 2009 21:08

Eclipse User

Hi

I'm trying to convert UML!Class generalizations to properties with
following simple transformation:

module GeneralizationTest;
create output : UML from input : UML;

rule p2p
{
from iP:UML!Package
to oP:UML!Package
(
name <- iP.name,
packagedElement <- iP.packagedElement->collect(c|thisModule.c2c(c))
)
}

unique lazy rule c2c
{
from iC:UML!Class
to oC:UML!Class
(
name <- iC.name
)
do
{
('iC.name = '+iC.name).println();
oC.ownedAttribute <- iC.superClass->collect(sc|thisModule.sc2p(sc));
}
}

unique lazy rule sc2p
{
from c:UML!Class
to p:UML!Property
(
name <- 'base',
type <- thisModule.c2c(c)
)
}

But for a model input with one Base and one Derived class i get following
output:

<uml:Package xmi:id="_2TkbgALdEd6Xf7QB_xMJXw" name="input">
<packagedElement xmi:type="uml:Class" xmi:id="_2TkbgQLdEd6Xf7QB_xMJXw"
name="Base"/>
<packagedElement xmi:type="uml:Class" xmi:id="_2TkbggLdEd6Xf7QB_xMJXw"
name="Derived">
<ownedAttribute xmi:id="_2TkbgwLdEd6Xf7QB_xMJXw" name="base"
type="_2TkbhALdEd6Xf7QB_xMJXw"/>
</packagedElement>
</uml:Package>
<uml:Class xmi:id="_2TkbhALdEd6Xf7QB_xMJXw" name="Base"/>

(Base class is dubled, one is where it should be, and one outside package,
type od 'base' property of 'Derived' class is set to the one outside of
package)

Also executing transformation gives following console output:

iC.name = Base
iC.name = Derived
iC.name = Base

isn't 'unique lazy rule c2c' supposed to be executed only once for a given
input model element?

Am I missing something?

Regards
Matt

Re: [ATL] unique lazy rule [message #100657 is a reply to message #100628]

Wed, 25 February 2009 03:07

Eclipse User

Hi Matt
why do you use call rule in your rule c2c ?

you cand o do :
unique lazy rule c2c
{
from iC:UML!Class
to oC:UML!Class
(
name <- iC.name,
ownedAttribute <-
iC.superClass->collect(sc|thisModule.sc2p(sc));
)
do
{
('iC.name = '+iC.name).println();
}
}

maybe this is the cause of your problem. we never know when do section
are performed it's not very recommended to use it

Matt Fomr a écrit :
> Hi
>
> I'm trying to convert UML!Class generalizations to properties with
> following simple transformation:
>
> module GeneralizationTest;
> create output : UML from input : UML;
>
> rule p2p
> {
> from iP:UML!Package
> to oP:UML!Package
> (
> name <- iP.name,
> packagedElement <- iP.packagedElement->collect(c|thisModule.c2c(c))
> )
> }
>
> unique lazy rule c2c
> {
> from iC:UML!Class
> to oC:UML!Class
> (
> name <- iC.name
> )
> do
> {
> ('iC.name = '+iC.name).println();
> oC.ownedAttribute <-
> iC.superClass->collect(sc|thisModule.sc2p(sc));
> }
> }
>
> unique lazy rule sc2p
> {
> from c:UML!Class
> to p:UML!Property
> (
> name <- 'base',
> type <- thisModule.c2c(c)
> )
> }
>
>
> But for a model input with one Base and one Derived class i get
> following output:
>
> <uml:Package xmi:id="_2TkbgALdEd6Xf7QB_xMJXw" name="input">
> <packagedElement xmi:type="uml:Class"
> xmi:id="_2TkbgQLdEd6Xf7QB_xMJXw" name="Base"/>
> <packagedElement xmi:type="uml:Class"
> xmi:id="_2TkbggLdEd6Xf7QB_xMJXw" name="Derived">
> <ownedAttribute xmi:id="_2TkbgwLdEd6Xf7QB_xMJXw" name="base"
> type="_2TkbhALdEd6Xf7QB_xMJXw"/>
> </packagedElement>
> </uml:Package>
> <uml:Class xmi:id="_2TkbhALdEd6Xf7QB_xMJXw" name="Base"/>
>
> (Base class is dubled, one is where it should be, and one outside
> package, type od 'base' property of 'Derived' class is set to the one
> outside of package)
>
> Also executing transformation gives following console output:
>
> iC.name = Base
> iC.name = Derived
> iC.name = Base
>
> isn't 'unique lazy rule c2c' supposed to be executed only once for a
> given input model element?
>
> Am I missing something?
>
> Regards
> Matt
>

Re: [ATL] unique lazy rule [message #100671 is a reply to message #100657]

Wed, 25 February 2009 05:30

Eclipse User

sorry i didn't want to say "call rule" but

why do you use a do section in your rule c2c ?
:)

Tristan FAURE a écrit :
> Hi Matt
> why do you use call rule in your rule c2c ?
>
> you cand o do :
> unique lazy rule c2c
> {
> from iC:UML!Class
> to oC:UML!Class
> (
> name <- iC.name,
> ownedAttribute <-
> iC.superClass->collect(sc|thisModule.sc2p(sc));
> )
> do
> {
> ('iC.name = '+iC.name).println();
> }
> }
>
> maybe this is the cause of your problem. we never know when do section
> are performed it's not very recommended to use it
>
> Matt Fomr a écrit :
>> Hi
>>
>> I'm trying to convert UML!Class generalizations to properties with
>> following simple transformation:
>>
>> module GeneralizationTest;
>> create output : UML from input : UML;
>>
>> rule p2p
>> {
>> from iP:UML!Package
>> to oP:UML!Package
>> (
>> name <- iP.name,
>> packagedElement <-
>> iP.packagedElement->collect(c|thisModule.c2c(c))
>> )
>> }
>>
>> unique lazy rule c2c
>> {
>> from iC:UML!Class
>> to oC:UML!Class
>> (
>> name <- iC.name
>> )
>> do
>> {
>> ('iC.name = '+iC.name).println();
>> oC.ownedAttribute <-
>> iC.superClass->collect(sc|thisModule.sc2p(sc));
>> }
>> }
>>
>> unique lazy rule sc2p
>> {
>> from c:UML!Class
>> to p:UML!Property
>> (
>> name <- 'base',
>> type <- thisModule.c2c(c)
>> )
>> }
>>
>>
>> But for a model input with one Base and one Derived class i get
>> following output:
>>
>> <uml:Package xmi:id="_2TkbgALdEd6Xf7QB_xMJXw" name="input">
>> <packagedElement xmi:type="uml:Class"
>> xmi:id="_2TkbgQLdEd6Xf7QB_xMJXw" name="Base"/>
>> <packagedElement xmi:type="uml:Class"
>> xmi:id="_2TkbggLdEd6Xf7QB_xMJXw" name="Derived">
>> <ownedAttribute xmi:id="_2TkbgwLdEd6Xf7QB_xMJXw" name="base"
>> type="_2TkbhALdEd6Xf7QB_xMJXw"/>
>> </packagedElement>
>> </uml:Package>
>> <uml:Class xmi:id="_2TkbhALdEd6Xf7QB_xMJXw" name="Base"/>
>>
>> (Base class is dubled, one is where it should be, and one outside
>> package, type od 'base' property of 'Derived' class is set to the one
>> outside of package)
>>
>> Also executing transformation gives following console output:
>>
>> iC.name = Base
>> iC.name = Derived
>> iC.name = Base
>>
>> isn't 'unique lazy rule c2c' supposed to be executed only once for a
>> given input model element?
>>
>> Am I missing something?
>>
>> Regards
>> Matt
>>

Re: [ATL] unique lazy rule [message #100685 is a reply to message #100657]

Wed, 25 February 2009 05:33

Eclipse User

Hi

I use call rule in c2c because i want result of sc2p to stay accesible for
later use (not part of sample transformation), so sc2p has to be 'unique
lazy'.

Moving assignment to ownedAttribute from 'do' section to 'bindings'
section chanches only console output:
iC.name = Base
iC.name = Base
iC.name = Derived

Output model is the same..

Previous Topic:	MtATL2009 CfP
Next Topic:	[ATL] Progress monitor

Goto Forum:

-=] Back to Top [=-

Current Time: Mon Sep 01 01:21:09 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter