Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Multiple output values in postcondition
Multiple output values in postcondition [message #68901] Sun, 15 March 2009 13:08 Go to next message
Timothy Marc is currently offline Timothy MarcFriend
Messages: 547
Registered: July 2009
Senior Member
Hey all,

how can i declare conditions for multiple output parameter (the
parameters which are marked as out/inout in the model). I'm quite sure,
that i've read somezhing about this concerning result tuples in the
spec, but now, i didn't find the position.
May be someone could point me to the corresponding section in the spec?

Thx Timothy
Re: Multiple output values in postcondition [message #69141 is a reply to message #68901] Fri, 20 March 2009 01:05 Go to previous message
Eclipse UserFriend
Originally posted by: give.a.damus.gmail.com

Hi, Timothy,

I have read this casting of (IN)OUT parameters to tuples somewhere, too.
I think it must have been in an early draft of the spec ... the final
2.0 spec doesn't seem to mention this case, even in the non-normative
appendix A.3.2, which describes the semantics of operation execution
with INOUT and OUT parameters. However, it does not describe the
semantics of operation *calls* in these cases.

This is a hole in the OCL language. There is no way to bind the output
values of operation calls, except for the single return parameter (I'm
still upset that UML removed the multiplicity of returns).

However, it doesn't restrict the formulation of post-conditions. A
postcondition can read the values of INOUT and OUT parameters. In a
precondition, OUT parameters are undefined.

HTH,

Christian


Timothy Marc wrote:
> Hey all,
>
> how can i declare conditions for multiple output parameter (the
> parameters which are marked as out/inout in the model). I'm quite sure,
> that i've read somezhing about this concerning result tuples in the
> spec, but now, i didn't find the position.
> May be someone could point me to the corresponding section in the spec?
>
> Thx Timothy
Previous Topic:Use of ^-Operator
Next Topic:Problem while serializing the OCL AST
Goto Forum:
  


Current Time: Thu Nov 20 20:57:55 GMT 2014

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

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