|Re: How to access operation return values in OCL postconditions ? - resolved [message #49339 is a reply to message #49193]
||Mon, 21 January 2008 09:26
Originally posted by: cdamus.ca.ibm.com|
Yes, this is a good reason not to use the name "result" for any formal
parameters of an operation. OCL provides no means by which to distinguish
the result variable from the parameter; the leading underscore escape
syntax would not apply, here.
Andreas Maier wrote:
> Seems I found it myself, the keyword is "result", as defined in section
> 12.7.2 "Postcondition" of the OCL 2.0 spec.
> Andreas Maier wrote:
>> Along with the previous posting, how does one access the return value of
>> an operation invocation in a (model level) OCL postcondition ?
Powered by FUDForum
. Page generated in 0.01651 seconds