Re: [qvtd-dev] Mapping composition

[Ed Willink <ed@xxxxxxxxxxxxx>]

Hi Horacio

On 08/03/2013 16:24, Horacio Hoyos Rodriguez wrote:
> If no mapping composition is allowed, then the map for Nodes must be moved
>
> to the root:
>
> map upper2lowerLMNode in copyGraph {
> -- L to M for N
>      check upperGraph(g1:Grapg, n1:Node | n1.graph = g1;) { }
It depends on the invocation. Invovation as

map upper2lowerLMNode { g1:= ....; n1:= ... }

has no unbound variables so it is easy

If QVTi rtetained QVTc declarative semantics an purely declarative 
invocation with two unbound variables would be possible, but it doesn't.

The first mapping can invoke all the others with 100% bindings; perhaps 
using a loop for one binding.

    REgards

        Ed