Re: Ada Pointer Problem

[Jeffrey Carter <spam@spam.com>]

David C. Hoos wrote:

> The principle is that Object exists only when procedure B is
> executing, and what is trying to be prevented is having a value
> of type X_Ptr available when Object no longer exists.  This could
> happen if B were not the main procedure, but were instead a
> library-level procedure that could be called by some other
> subprogram.

Since the main procedure may be called recursively, it can happen with 
the main procedure as well.

> Since procedure B is known to the programmer to be the main
> procedure, in this case, if one is using GNAT, one could
> use the 'Unrestricted_Access attribute, instead of the 'Access
> attribute, and do what you want.

'Unchecked_Access is part of the language, and more portable than 
'Unrestricted_Access.

-- 
Jeff Carter
"You cheesy lot of second-hand electric donkey-bottom biters."
Monty Python & the Holy Grail
14