Issue 18451: The resolution of Issue 17517 was incomplete (alf-rtf) Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com) Nature: Clarification Severity: Summary: Specification: Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language, FTF – Beta 2 (ptc/2012-08-43) Subclause: 13.2.2 AssignmentExpression Issue 17517 Error in AssignmentExpression constraints had two points. Both were agreed to, but the revised text did not include any revisions to address the first point: In Subclause 13.2.2 AssignmentExpression, the constraint assignmentExpressionSimpleAssignmentTypeConformance should require the type of the right-hand side to conform to the type of the left-hand side, not the other way around. Resolution: Revised Text: Actions taken: January 9, 2013: received issue Discussion: End of Annotations:===== m: Ed Seidewitz To: "issues@omg.org" Date: Wed, 9 Jan 2013 19:09:34 -0500 Subject: The resolution of Issue 17517 was incomplete Thread-Topic: The resolution of Issue 17517 was incomplete Thread-Index: Ac3uxjENm3yXu2V6QaWlMqyfWTUpig== 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 clean X-Mailprotector-Score: 40 X-Mailprotector-IP-Analysis: 0, 10.1.50.225, Ugly c=0.81695 p=-0.971872 Source White X-Mailprotector-Scan-Diagnostics: 0-0-0-5884-c X-Mailprotector-ID: dab88485-29a5-4ebd-92b9-c884d3bd281b Specification: Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language, FTF . Beta 2 (ptc/2012-08-43) Subclause: 13.2.2 AssignmentExpression Issue 17517 Error in AssignmentExpression constraints had two points. Both were agreed to, but the revised text did not include any revisions to address the first point: In Subclause 13.2.2 AssignmentExpression, the constraint assignmentExpressionSimpleAssignmentTypeConformance should require the type of the right-hand side to conform to the type of the left-hand side, not the other way around.