Legacy Issue Number: 18880
Source: Model Driven Solutions ( Ed Willink)
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.
post: self.size() = 0 implies result = 0
post: self.size() = 0 and s.size() > 0 implies result = 0
and move it to the second postcondition
Reported: OCL 2.4 — Sat, 24 Aug 2013 04:00 GMT
Updated: Thu, 8 Oct 2015 14:12 GMT