Issue 16106: OCL 2.3 - heterogeneous collections cannot be typed (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: A Collection containing both 'a', and {'b', 'c'} must be typed as a Collection of OclAny since that is the only common type. This is unhelpful for tree structures. Suggest introduction of a pseudo-collection type Tree(T) to which both T and Collection(Tree(T)) conform. A String content tree then then be declared as a Tree(String). Resolution: Revised Text: Actions taken: April 4, 2011: received issue Discussion: End of Annotations:===== m: "Willink, Ed" To: issues@omg.org Subject: OCL 2.3 - heterogeneous collections cannot be typed Date: Mon, 4 Apr 2011 14:34:50 +0100 X-Mailer: Internet Mail Service (5.5.2657.72) Hi A Collection containing both 'a', and {'b', 'c'} must be typed as a Collection of OclAny since that is the only common type. This is unhelpful for tree structures. Suggest introduction of a pseudo-collection type Tree(T) to which both T and Collection(Tree(T)) conform. A String content tree then then be declared as a Tree(String). Regards Ed Willink ------------------------------------------------------------------------ E.D.Willink, Email: mailto:EdWillink@iee.org Thales Research and Technology (UK) Ltd, Tel: +44 118 923 8278 (direct) Worton Drive, or +44 118 986 8601 (ext 8278) Worton Grange Business Park, Fax: +44 118 923 8399 Reading, RG2 0SB ENGLAND ------------------------------------------------------------------------ Please consider the environment before printing a hard copy of this e-mail. The information contained in this e-mail is confidential. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained in this e-mail. Such unauthorised use may be unlawful. If you have received this e-mail in error, please inform us immediately on +44 (0)118 986 8601 and delete it and all copies from your system. Thales Research and Technology (UK) Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 774298 Thales UK Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 868273