OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Conflicting String::indexOf postConditions

  • Key: OCL25-117
  • Legacy Issue Number: 18880
  • Status: open  
  • Source: Model Driven Solutions ( Ed 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