Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » How to access operation return values in OCL postconditions ?
How to access operation return values in OCL postconditions ? [message #49168] Sun, 20 January 2008 10:57 Go to next message
Eclipse User
Originally posted by: maiera.de.ibm.com

Along with the previous posting, how does one access the return value of
an operation invocation in a (model level) OCL postcondition ?

Andy
How to access operation return values in OCL postconditions ? - resolved [message #49193 is a reply to message #49168] Sun, 20 January 2008 13:20 Go to previous messageGo to next message
Eclipse User
Originally posted by: maiera.de.ibm.com

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
Re: How to access operation return values in OCL postconditions ? - resolved [message #49339 is a reply to message #49193] Mon, 21 January 2008 14:26 Go to previous message
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
Previous Topic:How to access operation parameters in OCL
Next Topic:extents in UML and OCL
Goto Forum:
  


Current Time: Thu Oct 02 10:27:15 GMT 2014

Powered by FUDForum. Page generated in 0.01644 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software