-
Key: UML22-444
-
Legacy Issue Number: 12842
-
Status: closed
-
Source: Architecture Technology Institute ( Hiroshi Miyazaki)
-
Summary:
[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 OCL means there is at least one element of Property.
Then, it is better to represent as "not classifier->isEmpty, not "Classifer.allinstances"
like opertation [3]. It is better to represent similar style in a same block.This issue relates to aleady mentioned issue(Issue 11120). However, it is not exactly same.
-
Reported: UML 2.1.2 — Mon, 8 Sep 2008 04:00 GMT
-
Disposition: Resolved — UML 2.2
-
Disposition Summary:
Merged with 11120
-
Updated: Fri, 6 Mar 2015 20:58 GMT