Issue 15232: OCL 2.2 Correction to Issue 9796 for isPre (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
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()

Resolution: 
Revised Text: 
Actions taken:
April 29, 2010: received issue
Discussion: 

End of Annotations:=====
ronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqoFAF5R2UtUXebz/2dsb2JhbACQcIwfcbwuhRAE
Date: Thu, 29 Apr 2010 17:29:25 +0100
From: Ed Willink <ed@willink.me.uk>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.1.5) Gecko/20091204 Thunderbird/3.0
To: issues@omg.org
Subject: OCL 2.2 Correction to Issue 9796 for isPre
X-Plusnet-Relay: e3afffa0991bbcfc83934b5b1badb2bf


Hi


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()


    Regards


        Ed Willink