QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTr - how does a Key handle inheritance?

  • Key: QVT14-50
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    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