Re: Comments requested for a couple of Ada-Comments submissions

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 11 Jul 2014 22:16:32 +0300, Niklas Holsti wrote:

> On 14-07-11 22:10 , Dmitry A. Kazakov wrote:
>> On Fri, 11 Jul 2014 19:00:29 +0100, Simon Wright wrote:
>> 
>>> Adam Beneschan <adambeneschan@gmail.com> writes:
>>>
>>>>     (C => D, E => F, use all others in A)
>>>
>>>    (A with new C => D, E => F)
>> 
>> A'Update (C => D, E => F)
> 
> Is that an assignment to A, or an expression yielding a value without
> altering A? If the former, I'm against it, because it would solve only
> the "atomic update" problem and would not have other uses.

Expression:

   X := Y'Update (C => D, E => F);

What about arrays?

   Text := Text'Update (1..3 => ' ');

Containers?

Maybe 'Replace or 'Substitute.

However, I don't see how this should resolve the problem of atomic
operations. It is not only atomic update it is, and more important, atomic
test and conditional update, atomic increment and decrement, atomic test
and conditional increment, atomic swap etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de