Re: time of update of new values for out mode parameters

[Mehdi Saada <00120260a@gmail.com>]

Ok. To be honest, the use case I had in mind was a wrong one, is meant to be implemented through protected types.

let's say:
procedure FOO (A: out A_TYPE) is
... A := something; -- Can't know when it's copied back
procedure FOO2 (a: access A_TYPE) is
... A.all := something; -- Can't know for sure either, right ?
but I am sure with
until some_absolute_time; some_protected_object.Write(something);
, and another task can use it safely.
Now, about procedure FOO (A: out A_TYPE) is
... delay until some_absolute_time;
A := something; delay until the_other_hour;
I shall assume that inside FOO, A = something" (obviously), but shall not assume this for the world outside FOO ?