From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,330ec86e1824a689
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-08-29 11:27:39 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!sn-xit-05!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Run-Time Type Assignment
Date: Thu, 29 Aug 2002 13:27:12 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <umsppuqafg5852@corp.supernews.com>
References: <mailman.1030517642.16877.comp.lang.ada@ada.eu.org>
 <5ee5b646.0208280304.614d11fc@posting.google.com>
 <wccvg5vhzsp.fsf@shell01.TheWorld.com>
 <VsGQTT8PXH3v@eisner.encompasserve.org>
 <wccn0r7hx5y.fsf@shell01.TheWorld.com>
 <Jf8b9.15221$zT.6491@nwrddc04.gnilink.net>
 <wccofbmtxce.fsf@shell01.TheWorld.com> <H1LxwL.45o@world.std.com>
 <3D6E271B.538FDF52@equipement.gouv.fr> <wccznv5zqir.fsf@shell01.TheWorld.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:28568
Date: 2002-08-29T13:27:12-05:00
List-Id: <comp.lang.ada>

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