QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTr: Single argument RelationCallExp is not crazy

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

    In 7.11.3.8, RelationCallExp.argument has a lowerbound of 2 which seems sensible because surely any Relation must have at least an input and an output?

    No. A single output non-top Relation is useful to create a singleton output object independent of any input objects. Distinct when invocations can establish singleton ownership in one place and usage in many places.

    The lowerbound should therefore be 1.
  • Reported: QVT 1.3 — Thu, 27 Jun 2019 16:43 GMT
  • Updated: Thu, 27 Jun 2019 16:43 GMT