Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » INOUT parameters
INOUT parameters [message #1070560] Thu, 18 July 2013 08:08 Go to next message
Rabab Lembachar is currently offline Rabab LembacharFriend
Messages: 2
Registered: July 2013
Junior Member
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
Re: INOUT parameters [message #1070801 is a reply to message #1070560] Thu, 18 July 2013 17:44 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

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
Previous Topic:error when resolving the type of a variable
Next Topic:OCL closure operation: org.eclipse.ocl.SemanticException: Usage of non-standard "closure"
Goto Forum:
  


Current Time: Fri Mar 29 06:41:29 GMT 2024

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

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

Back to the top