Eclipse Community Forums: OCL » How to access operation return values in OCL postconditions ?

Help

Home

Home » Modeling » OCL » How to access operation return values in OCL postconditions ?

Show: Today's Messages :: Show Polls :: Message Navigator

How to access operation return values in OCL postconditions ? [message #49168]

Sun, 20 January 2008 10:57

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

Report message to a moderator

How to access operation return values in OCL postconditions ? - resolved [message #49193 is a reply to message #49168]

Sun, 20 January 2008 13:20

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

Report message to a moderator

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

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

Report message to a moderator

Previous Topic:	How to access operation parameters in OCL
Next Topic:	extents in UML and OCL

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 14:36:49 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter