Source: Model Driven Solutions ( Ed Willink)
The semantics of Keys wrt to derived types is unspecified and as discussed in https://bugs.eclipse.org/bugs/show_bug.cgi?id=512532 far from obvious.
What are the WFRs for Keys?
Are multiple keys per type allowed?
Is key uniqueness applicable to derived types? or does each key have an implicit, distinct derived key for each derived and miltiply-derived type?
Can a realized access of a Keyed variable return a differenr class that shares the same key?
Reported: QVT 1.3 — Sun, 26 Feb 2017 09:12 GMT
Updated: Fri, 9 Feb 2018 10:02 GMT