InOut Variables (Operations' Semantics)



Date view Thread view Subject view Author view Attachment view

From: Percy Pari Salas (percy@iist.unu.edu)
Date: Thu 27 Jan 2005 - 02:07:01 GMT


Dear all,

I have a doubt about semantics of operations in OCL. In the specification 
they said the variables of a operation are represented as a set PARAMSop, 
and  there exist a function  kind : PARAMS -> {in,out,inout,return}. They 
explain in the semantics that:
- Input parameters may not be modified,  kind(p) = in implies value(p) = 
value(p@pre)
- Output parameters are undefined on entry, ...
But they do not mention anything about the inout variables ... kind(p)=inout 
implies ????????
The question is if there is any default behaviour that must be considered 
when nothing is explicitly writen in the OCL specification. Anyone knows?
Also, typically the attributes of a class must be inout variables, I'm 
right? ...

Very thanks for your help,


  Percy Pari Salas
 UNU-IIST Fellow
Macau SAR - China

Date view Thread view Subject view Author view Attachment view