Re: A few questions

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> "Simon Wright" <simon@pushface.org> wrote in message 
> news:ly1tbpipgd.fsf@pushface.org...

>> I can't of course speak for AdaCore, but I think that the problem is
>> to do with obtaining a writable view of an in parameter; for example, in
>> the Bounded Hashed Map (GCC 5) there is
>>
>>   function Iterate
>>     (Container : Map) return 
>> Map_Iterator_Interfaces.Forward_Iterator'Class
>>   is
>>      B  : Natural renames Container'Unrestricted_Access.all.Busy;

> As Brad noted, you have to use the Rosen technique here. Not hacks
> like 'Unrestricted_Access. (The Rosen technique is not a "trick", it's
> an intended part of the language in Ada 2012. I admit it originally
> was accidental, but it's too widely used to eliminate.)

Does that now work for non-limited types? The anti-tampering bits have
to be in the container ... how have other vendors managed this?

Brad was talking about using this technique in the iterator.