Issue 18520: CollectionClasses::Map::Bag<Value> references the wrong template parameter (alf-rtf) Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com) Nature: Uncategorized Issue Severity: Summary: Specification: Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language, FTF-Beta 2 (ptc/2012-08-43) Subclause: 11.6.6 Map<Key, Value> The collection class template Alf::Library:CollectionClasses::Map<Key, Value> owns a nested instantiation Bag<Value> of the Bag template ( which is the return type of the values operation). However, in the normative Alf-Library.xmi, the formal parameter in the template parameter substitution of the template binding for Bag<Value> is incorrectly set to the template parameter of Set rather than the template parameter of Bag. Resolution: Revised Text: Actions taken: March 2, 2013: received issue Discussion: End of Annotations:===== m: Ed Seidewitz To: "issues@omg.org" Date: Sat, 2 Mar 2013 18:55:13 -0500 Subject: CollectionClasses::Map::Bag references the wrong template parameter Thread-Topic: CollectionClasses::Map::Bag references the wrong template parameter Thread-Index: Ac4XoFD4RjQWGSlIRbyVV+OmxT2TVA== Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-Mailprotector-Decision: deliver X-Mailprotector-Connection: TLSv1|[10.1.50.225]|10.1.50.225|outbound.mailprotector.net|0.0|0.0|0|||0|0|0|0 X-Mailprotector-Results: null_ptr subject_50_chars clean X-Mailprotector-Score: 60 X-Mailprotector-IP-Analysis: 0, 10.1.50.225, Ugly c=0.7775 p=-0.972501 Source White X-Mailprotector-Scan-Diagnostics: 0-0-0-5649-c X-Mailprotector-ID: bebae555-b235-41cf-a4f0-cdbb9fab166f X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAwr+n5EdGNFjHRirIA== X-Brightmail-Tracker: AAAAAA== Specification: Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language, FTF-Beta 2 (ptc/2012-08-43) Subclause: 11.6.6 Map The collection class template Alf::Library:CollectionClasses::Map owns a nested instantiation Bag of the Bag template ( which is the return type of the values operation). However, in the normative Alf-Library.xmi, the formal parameter in the template parameter substitution of the template binding for Bag is incorrectly set to the template parameter of Set rather than the template parameter of Bag.