| Multiple output values in postcondition [message #68901] |
Sun, 15 March 2009 09:08  |
Eclipse User |
|
|
|
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] |
Thu, 19 March 2009 21:05  |
| Eclipse User |
|
|
|
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
|
|
|
Powered by
FUDForum. Page generated in 0.29002 seconds
Home