Re: Subverting 'Access for Sub-programs

["Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1124 bytes --]


Anton Gibbs <agibbs@dera.gov.uk> a �crit dans le message :
37A7FDE8.4F5@dera.gov.uk...
> Dear Ada Community,
>
> Thank you, everyone, for all the very helpful responses to my question
> on 'Access.
>
> Unfortunately, in my eagerness to provide a simplified statement of my
> problem, I had omitted an important detail: in fact, the procedure which
> I called Main is really not the main program and, more importantly, it
> has a parameter which I need to access.
>
[snip]
I understood from a previous message that you didn't like the solution with
a generic taking a formal procedure.
It seems however that it would allow you to do precisely what you want.
You may not "like" generics, but they are inherently safer than access
values. Actually, in the discussion about downward closures, it was noted
that all the cases presented could be equally well be dealt with with
generics, and therefore that it was not worth introducing a risky feature.

--
---------------------------------------------------------
           J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://perso.wanadoo.fr/adalog