Issue 14576: OCL 2.1 11.7: Clarifying Collection Well-formedness rules (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: The discussion of Issue 12953 suggests that two members of the RTF agreed that is unclear what T in e.g Set's including(Object : T) means. The first paragraph of Section 11.6 makes clear that the intent of the specification applies to e.g. Set(T) and so the well-formedness rules in 11.7 refer to e.g. Set(T)::including(Object: T), so T is the known element type of the collection. It is therefore a static error to attempt to invoke Set(T) including for an object incompatible with the known element type T. It would be helpful for the Section headings in 11.7 to have a (T) appended so that the 11.6 specification of T was clearly carried over from 11.6 to 11.7. e.g. Replace 11.7.1 Collection by 11.7.1 Collection(T) Resolution: Revised Text: Actions taken: October 26, 2009: received issue Discussion: End of Annotations:===== ronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEADb340pUXeby/2dsb2JhbADUWoQ/BA Date: Sun, 25 Oct 2009 13:59:57 +0000 From: Ed Willink User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) To: issues@omg.org Subject: Clarifying Collection Well-formedness rules X-Plusnet-Relay: 0ccddacf7793e1ffb470d5d7f97ff370 Hi The discussion of Issue 12953 suggests that two members of the RTF agreed that is unclear what T in e.g Set's including(Object : T) means. The first paragraph of Section 11.6 makes clear that the intent of the specification applies to e.g. Set(T) and so the well-formedness rules in 11.7 refer to e.g. Set(T)::including(Object: T), so T is the known element type of the collection. It is therefore a static error to attempt to invoke Set(T) including for an object incompatible with the known element type T. It would be helpful for the Section headings in 11.7 to have a (T) appended so that the 11.6 specification of T was clearly carried over from 11.6 to 11.7. e.g. Replace 11.7.1 Collection by 11.7.1 Collection(T) Regards Ed Willink X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAPdf6EpUXebq/2dsb2JhbADbEoQ/BA Date: Wed, 28 Oct 2009 22:17:17 +0000 From: Ed Willink User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) To: "'ocl2-rtf@omg.org'" Subject: Re: Issue 14576 Clarifying Collection Well-formedness rules X-Plusnet-Relay: 9e3ee15312af62a582f918c74f06ecbe Hi Mariano Attached provides some (T) suffixes to Collection headings. Regards Ed Willink 14576-CollectionGenerics.odt X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAHiv+krUnw4S/2dsb2JhbADdb4Q8BA Date: Wed, 11 Nov 2009 20:40:31 +0000 From: Ed Willink User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: "'ocl2-rtf@omg.org'" Subject: RE: Issue 14576 Clarifying Collection Well-formedness rules X-Plusnet-Relay: d7784bf5f18693b3ff66dd165cb1906e Hi Mariano In the RTF report thread you indicated that you didn't like the (T) clutter on the end of titles. Perhaps the opening sentence of e.g. 11.9.4 "The standard iterator expressions with source of type Sequence(T) are:" just needs to be applied as the first sentence of all 11.7.*, 11.9.* sections. Regards Ed Willink Subject: RE: Issue 14576 Clarifying Collection Well-formedness rules Date: Thu, 12 Nov 2009 18:33:44 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Issue 14576 Clarifying Collection Well-formedness rules Thread-Index: AcpjD4yfAqz53TZkRq6Blb3lBzD+oAArjPMA From: To: , X-OriginalArrivalTime: 12 Nov 2009 17:33:44.0839 (UTC) FILETIME=[48B75170:01CA63BE] X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id nACHUZiH006072 >>> Perhaps the opening sentence of e.g. 11.9.4 >>> "The standard iterator expressions with source of type Sequence(T) are:" OK. This is much better. I will re-introduce issue 14576 in the ballot with this resolution. Best, Mariano -----Message d'origine----- De : Ed Willink [mailto:ed@willink.me.uk] Envoyé mercredi 11 novembre 2009 21:41 À: 'ocl2-rtf@omg.org' Objet : RE: Issue 14576 Clarifying Collection Well-formedness rules Hi Mariano In the RTF report thread you indicated that you didn't like the (T) clutter on the end of titles. Perhaps the opening sentence of e.g. 11.9.4 "The standard iterator expressions with source of type Sequence(T) are:" just needs to be applied as the first sentence of all 11.7.*, 11.9.* sections. Regards