-
Key: OCL21-237
-
Legacy Issue Number: 7526
-
Status: closed
-
Source: OpenModeling ( Jos Warmer)
-
Summary:
18. – [1] All elements belonging to a set value have unique values.
inv: self.element->isUnique(e : Element | e.value)
==> missing context statement: context SetTypeValue
==> ’element’ should be ’elements’ -
Reported: OCL 2.0b2 — Thu, 10 Jun 2004 04:00 GMT
-
Disposition: Resolved — OCL 2.1
-
Disposition Summary:
yes
-
Updated: Fri, 6 Mar 2015 20:58 GMT