QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTc - Partial Assignment

Open Closed All
  • Key: QVT14-46
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    It is unclear how multiple mappings may conspire to populate the children property of a parent. Is the final truth of

    parent.children := aChild

    parent.children = Collection

    {aChild}

    or parent.children->includes(aChild)

    Suggest the latter, since the former can easily be programmed explicitly. This avoids the need to re-interpret a clarifying includes predicate as a partial assignment.
  • Reported: QVT 1.3 — Sat, 7 Jan 2017 14:03 GMT
  • Updated: Sat, 7 Jan 2017 16:24 GMT