From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Ada Alternatives to Unrestricted_Access
Date: Thu, 8 Mar 2018 18:51:00 +0100
Date: 2018-03-08T18:51:00+01:00 [thread overview]
Message-ID: <p7rt64$s20$1@dont-email.me> (raw)
In-Reply-To: <d4363829-f718-48cf-a01d-6986563e632d@googlegroups.com>
On 03/07/2018 09:11 PM, Jere wrote:
>
> function Iterate
> (C : in Container)
> return Iterator_Interfaces.Forward_Iterator'Class;
>
> and the generic formal for Container
>
> type Container is tagged private;
Since Container is tagged, the parameter C should be aliased [ARM 3.10(9)], so
you should be able to use 'Unchecked_Access. Or am I missing something?
--
Jeff Carter
"I've got to stay here, but there's no reason
why you folks shouldn't go out into the lobby
until this thing blows over."
Horse Feathers
50
next prev parent reply other threads:[~2018-03-08 17:51 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-07 20:11 Ada Alternatives to Unrestricted_Access Jere
2018-03-07 20:38 ` Dmitry A. Kazakov
2018-03-07 22:29 ` Jere
2018-03-08 8:27 ` Dmitry A. Kazakov
2018-03-09 0:43 ` Jere
2018-03-09 0:52 ` Jere
2018-03-09 8:28 ` Dmitry A. Kazakov
2018-03-11 0:31 ` Jere
2018-03-08 3:18 ` gautier_niouzes
2018-03-09 0:41 ` Jere
2018-03-08 17:51 ` Jeffrey R. Carter [this message]
2018-03-09 0:36 ` Jere
2018-03-09 16:46 ` Jeffrey R. Carter
2018-03-11 0:38 ` Jere
2018-03-11 9:57 ` Jeffrey R. Carter
2018-03-11 10:44 ` Dmitry A. Kazakov
2018-03-11 14:31 ` Jere
2018-03-11 15:49 ` Jeffrey R. Carter
2018-03-11 17:33 ` Jere
2018-03-11 18:12 ` Jeffrey R. Carter
2018-03-11 19:53 ` Jere
2018-03-12 16:28 ` Jeffrey R. Carter
2018-03-11 18:27 ` Niklas Holsti
2018-03-11 20:07 ` Jere
2018-03-12 23:35 ` Randy Brukardt
2018-03-12 23:30 ` Randy Brukardt
2018-03-13 7:46 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox