Issue 18880: Conflicting String::indexOf postConditions (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Clarification Severity: Minor Summary: The Issue 17220 clarification that the empty string is a substring at index 1 failed to revise the postcondition that the index of of any string in the empty string is at index 0. Replace: post: self.size() = 0 implies result = 0 by post: self.size() = 0 and s.size() > 0 implies result = 0 and move it to the second postcondition Resolution: Revised Text: Actions taken: August 24, 2013: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 24 Aug 2013 12:08:13 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Edward Willink Employer: mailFrom: ed@willink.me.uk Terms_Agreement: I agree Specification: OCL Section: 11.5.3 FormalNumber: not-known Version: 2.4 Doc_Year: Year Doc_Month: Month Doc_Day: Day Page: ? Title: Conflicting String::indexOf postConditions 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.0; rv:23.0) Gecko/20100101 Firefox/23.0 Time: 12:08 PM Description: The Issue 17220 clarification that the empty string is a substring at index 1 failed to revise the postcondition that the index of of any string in the empty string is at index 0. Replace: post: self.size() = 0 implies result = 0 by post: self.size() = 0 and s.size() > 0 implies result = 0 and move it to the second postcondition