Issue 10946: Collection element type serialization                                                                                                                                                                   (ocl2-rtf)
Source: THALES (Dr. Edward Willink, ed.willink@thalesgroup.com ed@willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: The OCL abstract syntax for Collections has no property to persist the element type
of the collection.


It is therefore not possible to serialise a TypeExp.referredType referring to
for example OrderedSet(String) without synthesising an
OrderedSet_String and finding some artificial scope for it .. and then encountering
ambiguities as to whether two distinct OrderedSet_String types are really distinct.


Suggest: 


Introduce a CollectionTypeExp extending TypeExp to add
        CollectionTypeExp.referredElementType : Type[0..1]
with the constraint that the inherited TypeExp.referredType be a collection type.

Resolution: 
Revised Text: 
Actions taken:
March 26, 2007: received issue
Discussion: 

End of Annotations:=====

m: "Ed Willink" <ed@willink.me.uk>
To: <ocl2-rtf@omg.org>
Cc: <cdamus@ca.ibm.com>
Subject: Collection element type serialization
Date: Mon, 26 Mar 2007 20:52:31 +0100
X-Mailer: Microsoft Outlook, Build 10.0.6822
Thread-Index: Acdv4Eo+B+hMTc5FR+eVKSqrjh3www==
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at omg.org


The OCL abstract syntax for Collections has no property to persist the element type
of the collection.


It is therefore not possible to serialise a TypeExp.referredType referring to
for example OrderedSet(String) without synthesising an
OrderedSet_String and finding some artificial scope for it .. and then encountering
ambiguities as to whether two distinct OrderedSet_String types are really distinct.


Suggest: 


Introduce a CollectionTypeExp extending TypeExp to add
        CollectionTypeExp.referredElementType : Type[0..1]
with the constraint that the inherited TypeExp.referredType be a collection type.


    Regards


        Ed Willink