Issue 19820: Indaequate Issue 15836 resultion of negative CollectionRange (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Clarification Severity: Minor Summary: Issue 15836 suggests that a negative CollectionRanbge should be invalid even after considering the Sequence{1..size}->forAll idiom. The idiom clearly requires that a negative range gives an empty range. Resolution: Revised Text: Actions taken: July 27, 2015: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 27 Jul 2015 07:40:07 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Ed Willink Employer: mailFrom: ed@willink.me.uk Terms_Agreement: I agree Specification: OCL 2.4 Section: 8.3.7 FormalNumber: 14-02-03 Version: 2.4 Doc_Year: Year Doc_Month: Month Doc_Day: Day Page: 57 Title: Indaequate Issue 15836 resultion of negative CollectionRange Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Remote Name: edwillink.plus.com Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:39.0) Gecko/20100101 Firefox/39.0 Time: 07:40 AM Description: Issue 15836 suggests that a negative CollectionRanbge should be invalid even after considering the Sequence{1..size}->forAll idiom. The idiom clearly requires that a negative range gives an empty range.