At 17:31 98/02/19 +0100, Andreas Kraft wrote:
> Guillaume:
> > Issue 11:
> > I think that the difference between "by value" and "by reference" is
> > about what happens when the called program modifies the variable's value.
> > But this note (as far as I understand it) address what happens before
> > the program is called, i.e. during the evaluation of the paramerters.
> > IMHO, the ":IndirectRef <objRef>" tag could be viewed as the C language
> > instruction "* <pointer>".
> > And that's what it does for all other elementary actions, i.e.
> > retrieving the value of the referenced variable
> > before passing it to the parameter of the elementary action.
>
> The question is whether only variables which are passed via the
> ":IndirectRef" mechanism can be used as "out" variables.
> One (imho wrong) interpretation could be that if the parameter is an
> ObjectRefVariable object the value of this variable is taken as an address
> to the target variable...
For "in" parameters, both direct value assignement and indirect reference
are fine. However, I would rather vote to an "ObejectRefVariable" solution
for "out" parameters. The reason is that GenericXXXs are supposed to be
"data source" and have no sense of "data sink" in all other situation.
Regards,
Kei Takikawa
************************************************************
Kei Takikawa $B!JBl@n!!7<!K(J
NTT Software Corporation, JAPAN
Tel: +81 45 212 8023
Fax: +81 45 212 8015
e-mail: takikawa@po.ntts.co.jp
************************************************************