Issue 18125: any iteration unsuitable for null Collection content (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Clarification Severity: Minor Summary: The any() iteration is specified to return null in the event that no match is found. However null could also be the return of a successful match of null. e.g Sequence{null}->any(s | s = null) Suggest: change the match-not-found return to invalid. Resolution: The resolution of Issue 18504 solves this too. Disposition: See issue 18504 for disposition Revised Text: Actions taken: September 27, 2012: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 27 Sep 2012 05:22:54 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Edward Willink Employer: mailFrom: ed@willink.me.uk Terms_Agreement: I agree Specification: OCL Section: 11.9.1.4 FormalNumber: 12-01-01 Version: 2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 169 Title: any iteration unsuitable for null Collection content Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: The any() iteration is specified to return null in the event that no match is found. However null could also be the return of a successful match of null. e.g Sequence{null}->any(s | s = null) Suggest: change the match-not-found return to invalid.