Re: Preventing Unchecked_Deallocation?

[Simon Wright <simon@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).