Legacy Issue Number: 12842
Source: Architecture Technology Institute ( Hiroshi Miyazaki)
The query isAttribute() is true if the Property is defined as an attribute of
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 . 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
Merged with 11120
Updated: Fri, 6 Mar 2015 20:58 GMT