OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 Correction to Issue 9796 for isPre

  • Key: OCL25-163
  • Legacy Issue Number: 15232
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    Issue 9796 responded to the problem with the undefined (and undefinable) withAtPre().

    However the textual replacement of ".withAtPre()" by ".isPre = true" is not valid.

    For instance

    [D] AttributeCallExpCS.ast.source = if isMarkedPreCS->isEmpty()
    then OclExpressionCS.ast
    else OclExpressionCS.ast.withAtPre() endif

    should be elaborated to:

    [D] AttributeCallExpCS.ast.source = OclExpressionCS.ast
    [D] AttributeCallExpCS.ast.isPre = isMarkedPreCS->notEmpty()

  • Reported: OCL 2.1 — Thu, 29 Apr 2010 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT