-
Key: OCL231-29
-
Legacy Issue Number: 16157
-
Status: closed
-
Source: Fujitsu ( Tom Rutt)
-
Summary:
Same diagrams are duplicated. Remove either. The referred operation:
OperationCallExpCS.ast.referredOperation =
if OclExpressionCS.ast.type.oclIsKindOf(CollectionType)
then – this is a collection operation called on a collection
OclExpressionCS.ast.type.lookupOperation(simpleNameCS.ast,
if (argumentsCS->notEmpty())
then argumentsCS.ast->collect(type)
else Sequence{} endif )
else – this is a set operation called on an object => implicit Set with one element
SetType.allInstances()->any(st|st.elementType = OclExpressionCS.ast.type).lookupOperation(simpleNameCS.ast,
if (argumentsCS->notEmpty())
then argumentsCS.ast->collect(type)
else Sequence{} endif )
endif -
Reported: OCL 2.3 — Wed, 20 Apr 2011 04:00 GMT
-
Disposition: Resolved — OCL 2.3.1
-
Disposition Summary:
The unique difference, that the first diagram misses the CollectionKind.Collection
Enumeration literal. Remove the first diagram. -
Updated: Fri, 6 Mar 2015 20:58 GMT
OCL231 — Japan PAS Ballot Comment 34 (ocl2-rtf) 13.3 Diagrams figure 13.8
- Key: OCL231-29
- OMG Task Force: OCL 2.4 RTF