QVT 1.0 NO IDEA Avatar
  1. OMG Issue

QVT — Top-level constraint too restrictive

Open Closed All
  • Key: QVT-34
  • Legacy Issue Number: 11022
  • Status: closed  
  • Source: France Telecom R&D ( Mariano Belaunde)
  • Summary:

    The constraint prevents a usage of non top-level relations in a when clause which includes a negation expression. For example:

    relation A

    { ... }


    relation B { ... when

    { not A() }

    }
    This issue is related to resolution of issue 10626 in 2nd ballot.
  • Reported: QVT 1.0b1 — Fri, 18 May 2007 04:00 GMT
  • Disposition: Resolved — QVT 1.0
  • Disposition Summary:

    This issue resolution invalidates the instruction resolution given by issue 10626.

    Modify the description of property 'isTopLevel' in section 7.11.3.1 as follows:

    isTopLevel : Boolean
    Indicates whether the relation is a top-level relation or a non-top-level relation. The execution of a transformation requires that all its toplevel relations must hold, whereas a non-top-level relation is required to hold only when it is invoked from another relation.
  • Updated: Fri, 6 Mar 2015 20:54 GMT