-
Key: OCL25-117
-
Legacy Issue Number: 18880
-
Status: open
-
Source: Model Driven Solutions ( Dr. Edward Willink)
-
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
-
Reported: OCL 2.4 — Sat, 24 Aug 2013 04:00 GMT
-
Updated: Thu, 8 Oct 2015 14:12 GMT
OCL25 — Conflicting String::indexOf postConditions
- Key: OCL25-117
- OMG Task Force: Object Constraint Language 2.5 RTF