Re: Ada Alternatives to Unrestricted_Access

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

On 07/03/2018 23:29, Jere wrote:
> On Wednesday, March 7, 2018 at 3:38:13 PM UTC-5, Dmitry A. Kazakov wrote:
>> On 2018-03-07 21:11, Jere wrote:

>>> 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
> 
> Because the package is already in use in other code, so
> changing the specification would be a very time consuming
> change.

You can default Self when not used.

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