UML 2.2 RTF Avatar
  1. OMG Issue

UML22 — Property::isAttribute() query needs no argument

Open Closed All
  • Key: UML22-333
  • Legacy Issue Number: 11120
  • Status: closed  
  • Source: Eclipse Foundation ( Mr. Kenneth Hussey)
  • Summary:

    The Property::isAttribute() OCL query (see p. 133 of 07-02-03) is currently defined to take an argument:

    [4] The query isAttribute() is true if the Property is defined as an
    attribute of some classifier
    context Property::isAttribute(p : Property) : Boolean
    post: result = Classifier.allInstances->exists(c|
    c.attribute->includes(p))

    This argument (p) is not necessary, as the query should be based on the context property. Note that the OCL body for this query does not appear to be correct either.

  • Reported: UML 2.1 — Wed, 4 Jul 2007 04:00 GMT
  • Disposition: Resolved — UML 2.2
  • Disposition Summary:

    Yes, this is wrong. Fix it. This also resolves issue 12842.
  • Updated: Fri, 6 Mar 2015 20:58 GMT