From: Keean Schupke <keean.schupke@googlemail.com>
Subject: Re: Signature Package With Generic Proceedure
Date: Mon, 23 Jul 2012 12:41:38 -0700 (PDT)
Date: 2012-07-23T12:41:38-07:00 [thread overview]
Message-ID: <30c7b58e-d1c2-435f-95f6-c227bdb10441@googlegroups.com> (raw)
In-Reply-To: <ac8bfaed-dbcc-491a-a760-c25672445eef@googlegroups.com>
On Monday, 23 July 2012 10:18:11 UTC+1, Martin wrote:
> On Monday, July 23, 2012 8:30:15 AM UTC+1, Keean Schupke wrote:
> > Interestingly the only reason for needing the generic procedure in a signature
> > type is to avoid returning access types from the container to allow update-
> > in-place. Am I trying to hard to conform to the &#39;avoid access types&#39;
> > rule for Ada?
>
>
> Have you tried using the new Ada2012 aspects "Variable_Indexing", "Constant_Indexing" and "Implicit_Derefence"?
>
> -- Martin
These all require a tagged type, which I would rather avoid.
Cheers,
Keean.
next prev parent reply other threads:[~2012-07-26 15:02 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <045f7b44-2a4a-4292-80fd-0b6bc8ee3465@googlegroups.com>
2012-07-21 22:22 ` Signature Package With Generic Proceedure Adam Beneschan
2012-07-22 7:28 ` Dmitry A. Kazakov
2012-07-22 16:22 ` Keean Schupke
2012-07-23 0:45 ` Adam Beneschan
[not found] ` <79925d0c-b2dd-44a3-9451-48f0ee19485f@googlegroups.com>
[not found] ` <500d3a9d$0$6566$9b4e6d93@newsspool4.arcor-online.net>
2012-07-23 18:29 ` Keean Schupke
[not found] ` <ac8bfaed-dbcc-491a-a760-c25672445eef@googlegroups.com>
2012-07-23 19:41 ` Keean Schupke [this message]
2012-07-24 2:57 ` Randy Brukardt
[not found] ` <jul2n4$af5$1@munin.nbi.dk>
2012-07-24 8:02 ` Keean Schupke
2012-07-24 8:43 ` Dmitry A. Kazakov
2012-07-24 8:59 ` Keean Schupke
2012-07-23 10:26 ` Simon Wright
2012-07-23 18:36 ` Keean Schupke
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox