Re: Run-Time Type Assignment

["Randy Brukardt" <randy@rrsoftware.com>]

The ARG has looks at solutions to this problem for the upcoming
Amendment. The current proposal can be found in AI-254
(http://www.ada-auth.org/AI-SUMMARY.HTML is the AI index). Be aware
though that there is a substantial concern that this solution is too
complex for the problem.

(GNAT's solution only works because of the details of their
implementation. In general, you need a "fatter" than normal subprogram
access type in order to carry the additional information necessary to
make these calls and have them work. So the 'simple' solution of
adopting 'Unrestricted_Access can't be used.)

                  Randy Brukardt.


Robert A Duff wrote in message ...
>SIMON Claude <claude.simon@equipement.gouv.fr> writes:
>
>> Does a "limited access procedure" could be THE solution ?
>
>Yes.  Two solutions were proposed during the Ada 9X design.
>That was one of them.  I think the other involved some sort
>of run-time accessibility-level checking (like access parameters).
>
>Neither feature made it into the language.
>
>- Bob