-
Key: OCL21-249
-
Legacy Issue Number: 7722
-
Status: closed
-
Source: BBDO InterOne ( Jasper Ullrich)
-
Summary:
"[1] Married people are of age >= 18 context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband.age >= 18" has to be "[1] Married people are of age >= 18 context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband.age >= 18)" because of the precedence rules
same mistake in http://www.omg.org/docs/ptc/03-10-14.pdf, "UML 2.0 OCL Final Adopted specification", chapter 7.5.3, page 18. -
Reported: OCL 2.0b2 — Thu, 9 Sep 2004 04:00 GMT
-
Disposition: Resolved — OCL 2.1
-
Disposition Summary:
yes
-
Updated: Fri, 6 Mar 2015 20:58 GMT