-
Key: OCL2_-57
-
Legacy Issue Number: 7486
-
Status: closed
-
Source: OpenModeling ( Jos Warmer)
-
Summary:
18. – [1] All the arguments must conform to the parameters of the referred operation
context OperationCallExp
inv: arguments->forall (a | a.type.conformsTo
(self.refParams->at (arguments->indexOf (a)).type))
==> ’forall’ should be ’forAll’ -
Reported: OCL 2.0b2 — Thu, 10 Jun 2004 04:00 GMT
-
Disposition: Resolved — OCL 2.0
-
Disposition Summary:
No Data Available
-
Updated: Sun, 8 Mar 2015 13:35 GMT