Issue 18911: Missing Real::= overload (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Clarification Severity: Significant Summary: Issue 14918 went most of the way to clarifying '=' behaviour. But the Real::'=' and Real::'<>' overloads were omitted. Consequently the fix to ensure that 1.0 = 1 evaluates to true when (1.0 <= 1) and (1.0 >= 1) will evaluate true is missing. Resolution: Revised Text: Actions taken: September 15, 2013: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 15 Sep 2013 12:49:46 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Edward Willink Employer: mailFrom: ed@willink.me.uk Terms_Agreement: I agree Specification: OCL Section: 11.5.1 FormalNumber: 2013-08-13 Version: 2.4 Doc_Year: 2013 Doc_Month: August Doc_Day: 24 Page: 157 Title: Missing Real::= overload Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: edwillink.plus.com Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.0; rv:23.0) Gecko/20100101 Firefox/23.0 Time: 12:49 PM Description: Issue 14918 went most of the way to clarifying '=' behaviour. But the Real::'=' and Real::'<>' overloads were omitted. Consequently the fix to ensure that 1.0 = 1 evaluates to true when (1.0 <= 1) and (1.0 >= 1) will evaluate true is missing.