Re: GNAT for MS Visual Studio

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 3 Pa , 22:08, Maciej Sobczak <see.my.homep...@gmail.com> wrote:

> > The container won't change, so this can't be a problem.
>
> The visible state of the container might not change, but the container
> is free to do some accounting, for example with cursors, to ensure the
> ability to catch any misuse.
>
> I understand your point entirely, but I don't see it in AARM.

There is more to it:

http://www.adaic.org/standards/05aarm/html/AA-A.html

3/2:

"The implementation shall ensure that each language- defined
subprogram is reentrant  in the sense that concurrent calls on the
same subprogram perform as specified, so long as all parameters that
could be passed by reference denote nonoverlapping objects."

Which means that I cannot call *any* of containers' subprogram
concurrently with the same container as a parameter (unless it's
passed by value, which is not the case, because containers are
tagged).

If this restriction is not true for containers (as one would actually
expect if multicore is of any interest), then some explicit big-font
exception should be somewhere there either in A or A.18.x. Nothing
like this exist, so A-3/2 holds.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com