-
Key: UPDM-456
-
Legacy Issue Number: 12104
-
Status: open
-
Source: International Business Machines ( Mr. Fred Mervine)
-
Summary:
OCL doesn't check for zero or more. Resolution:Add check for zero
Revised Text: [3] Asserts that the entries in policy are typed Policy
self.policy->notEmpty() implies
self.policy->forAll(getAppliedStereotype('UPDM::Policy')->notEmpty()) -
Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
-
Updated: Fri, 6 Mar 2015 20:59 GMT