Involving mapping calls I have two questions regarding the binding of variables. The first one is regarding the case where the ReferredMapping variables are assigned a set value. In the HSVtoHLS example we have a mapping call:
map HSV2MiddleRecursion { -- recursive call to visit children
hsvNode := hsvRoot.children;
middleParent := middleRoot;
}
If the second assignment had an _expression_ in the right side that also was a set, something like (although not correct for the example):
map HSV2MiddleRecursion { -- recursive call to visit children
hsvNode := hsvRoot.children;
middleParent := middleRoot.children;
}
Wouldn't it be necessary to invoke the referredMapping for the Cartesian product of bindings of the two sets? This is due that at design time the number of assignments to a set will be unknown. There is the possibility that mapping calls can be restricted to use maximum 1 set assignment.
The second question is regarding GuardPattern predicates of the ReferredMapping. Can mappings being used for MappingCalls have predicates in the guard patterns of their domains and bottom pattern? If so, this is something missing in the current implementation.
Regards,
--
Horacio Hoyos Rodríguez
EngD Student
University of York
