Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsINOUT parameters
https://www.eclipse.org/forums/index.php/mv/msg/492132/1070560/#msg_1070560
I am trying to write an OCL postcondition for a UML operation that has INOUT parameters.
How are INOUT parameters handled in OCL? How can I refer to the value of a parameter before the execution of the operation? The @pre operator can only be used with properties.
Thank you in advance,
Rabab]]>Rabab Lembachar2013-07-18T08:08:00-00:00Re: INOUT parameters
https://www.eclipse.org/forums/index.php/mv/msg/492132/1070801/#msg_1070801
Handling INOUT poarameters is one sissue that has yet to aligned between
OCL and UML. My currenrt thinking is that the UML-aligned OCL return
needs to be a tuple of all out, return, inout parameters.
But that is largely irrelevant to your question.
I see no reason why @pre cannot be used with parameters, however it is
redundant, since the parameters are immutable.
Regards
Ed Willink
On 18/07/2013 12:48, Rabab Lembachar wrote:
> Hello,
>
> I am trying to write an OCL postcondition for a UML operation that has
> INOUT parameters.
>
> How are INOUT parameters handled in OCL? How can I refer to the value
> of a parameter before the execution of the operation? The @pre
> operator can only be used with properties.
>
> Thank you in advance,
> Rabab]]>Ed Willink2013-07-18T17:44:57-00:00