Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] Question about Rule Inheritance

Help

Home

Home » Archived » M2M (model-to-model transformation) » [ATL] Question about Rule Inheritance

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

[ATL] Question about Rule Inheritance [message #642447]

Wed, 01 December 2010 11:26

Tassilo Horn

Messages: 93
Registered: July 2009

Member

Hi again,

I have a question about rule inheritance. Let's use the example from
the user guide. The following rules

abstract rule A { | rule B extends A { | rule C extends B {
from [fromA] | from [fromB] | from [fromC]
using [usingA] | using [usingB] | using [usingC]
to [toA] | to [toB] | to [toC]
do [doA] | do [doB] | do [doC]
} | } | }

are compiled to:

rule B {
from [fromB]
using [usingB]
to [toA.bindings union toB.bindings]
do [doB]
}
rule C {
from [fromC]
using [usingC]
to [toA.bindings union toB.bindings union toC.bindings]
do [doC]
}

It seems to me that doA is forgotten in the procedure. So is there any
reason to specify an imperative code section in abstract rules?

Bye,
Tassilo
--
Dipl.-Inform. Tassilo Horn | Room: B015
University of Koblenz-Landau, Campus Koblenz | Phone: +49 (261) 287-2745
Institute for Software Technology | Mail: horn@uni-koblenz.de
Universitätsstr. 1, 56070 Koblenz, Germany |

Report message to a moderator

Re: [ATL] Question about Rule Inheritance [message #642479 is a reply to message #642447]

Wed, 01 December 2010 13:49

Tassilo Horn

Messages: 93
Registered: July 2009

Member

Tassilo Horn <horn@uni-koblenz.de> writes:

> I have a question about rule inheritance. Let's use the example from
> the user guide. The following rules
>
> abstract rule A { | rule B extends A { | rule C extends B {
> from [fromA] | from [fromB] | from [fromC]
> using [usingA] | using [usingB] | using [usingC]
> to [toA] | to [toB] | to [toC]
> do [doA] | do [doB] | do [doC]
> } | } | }
>
> are compiled to:
>
> rule B {
> from [fromB]
> using [usingB]
> to [toA.bindings union toB.bindings]
> do [doB]
> }
> rule C {
> from [fromC]
> using [usingC]
> to [toA.bindings union toB.bindings union toC.bindings]
> do [doC]
> }
>
> It seems to me that doA is forgotten in the procedure. So is there
> any reason to specify an imperative code section in abstract rules?

I've just testet it out, and the do section of an abstract matched rule
isn't exectuted.

Bye,
Tassilo
--
Dipl.-Inform. Tassilo Horn | Room: B015
University of Koblenz-Landau, Campus Koblenz | Phone: +49 (261) 287-2745
Institute for Software Technology | Mail: horn@uni-koblenz.de
Universitätsstr. 1, 56070 Koblenz, Germany |

Report message to a moderator

Previous Topic:	refining mode programmatically
Next Topic:	[ATL] Refining Mode : Cannot create

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 06:09:10 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter