Re: Ada.Containers.Vectors Update_Element issue

[Adam Beneschan <adam@irvine.com>]

On May 14, 2:25 pm, Matthew Heaney <mhea...@on2.com> wrote:
> On May 14, 11:17 am, Adam Beneschan <a...@irvine.com> wrote:
>
>
>
> > The declaration of Process is "not null access procedure".  This is an
> > *anonymous* access because the access type isn't given a name.  In Ada
> > 95, you would have to make this a named access type:
>
> No, that's not how you would do it in Ada95.  In Ada95, you would use
> a generic operation:
>
>   generic
>      with procedure Process (E : in out ET);
>   procedure Generic_Update (V : in out VT; I : IT);
>
> For reasons I don't understand, many developers convert Ada05
> anonymous access subprogram parameters to named access types when back-
> porting to Ada95, which is completely wrong, because then you wouldn't
> be able to nest the declaration of the process subprogram.

Well, you're right, but in my defense I wasn't trying to teach the OP
how to write an Ada.Containers.Vectors package in Ada 95---I was just
trying to explain what "anonymous access-subprogram types" are in Ada
2005.

                                    -- Adam