QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTr : Lack of clarity on use of top relations in where clauses

  • Key: QVT14-59
  • Status: open  
  • Source: King's College London ( Kevin Lano)
  • Summary:

    The QVTr specification does not clarify if top relations can be called from where clauses. It would seem to be a source of potential errors if top relations were both explicitly invoked from where clauses and implicitly invoked by the usual mechanism for top relations. An explicit call R(a,b) of a top relation would normally be redundant because R would be attempted on the source element a in any case through the normal mechanism.

    The clause should additionally state "Top level relations cannot be invoked from a where clause". As a consequence, primitive domains are only needed in non-top relations (clause 7.2.4 can state that primitive domains should only appear in non-top relations).

  • Reported: QVT 1.3 — Thu, 16 May 2019 10:40 GMT
  • Updated: Wed, 26 Jun 2019 14:28 GMT