|
|
| 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  |
Eclipse User |
|
|
|
Originally posted by: cdamus.ca.ibm.com
Hi, Andy,
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.
cW
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 ?
>>
>> Andy
|
|
|
Powered by
FUDForum. Page generated in 0.04954 seconds
Home