Re: Ada Alternatives to Unrestricted_Access

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

On 2018-03-07 21:11, Jere wrote:

>     function Iterate
>              (C : in Container)
>               return Iterator_Interfaces.Forward_Iterator'Class;
> 
> and the generic formal for Container
> 
>     type Container is tagged private;
> 
> I'm working with an existing code base, so complete overhaul is
> not a great option.
> 
> If it isn't a good idea, are there alternatives?

[...]

> Since the Container
> implementation is unknown in the generic, I wasn't able to get a version
> of the Rosen technique to work as an alternative (same constant vs
> variable access problem).

I am not sure I understand the problem. Why don't you pass a function 
Self along with the container type:

    generic
       type Container is tagged whatever;
       function Self (C : Container'Class)
          return not null access Container'Class;
    package Iterative_Mess is

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