Re: Preventing Unchecked_Deallocation?

[Simon Wright <simon@pushface.org>]

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

> "Simon Wright" <simon@pushface.org> wrote in message 
> news:m2lioc4fu9.fsf@pushface.org...
>> "Randy Brukardt" <randy@rrsoftware.com> writes:
>>
>>> If you don't need (visible) dereferences at all, you should
>>> definitely use a handle type like the Cursor type of Ada
>>> Containers. Indeed, I think that the vast majority of the time, you
>>> should simply use the Cursor type directly (putting the objects into
>>> appropriate instances of the containers). There you don't have any
>>> visible access types (and any existence of them is easily detected
>>> with tools, see below).
>>
>> If you mean that the link from object A to object B should be a
>> Cursor to the Container with the B's in it, will that Cursor retain
>> its validity if I update the B Container? (by, say, adding another
>> B).
>
> Yes, of course, that's required by the definition of cursors (for
> instance, see A.18.3(2/2) for the linked list container).

Excellent, thanks.