From: Natasha Kerensikova <lithiumcat@gmail.com>
Subject: Re: Reference counting and idempotent finalize
Date: Tue, 1 Oct 2013 06:22:39 +0000 (UTC)
Date: 2013-10-01T06:22:39+00:00 [thread overview]
Message-ID: <slrnl4kqh1.1lme.lithiumcat@sigil.instinctive.eu> (raw)
In-Reply-To: 870d3675-d495-4437-a9c5-a69b7fd5c93b@googlegroups.com
Hello,
On 2013-09-30, AdaMagica <christ-usch.grein@t-online.de> wrote:
> I like this spec - it looks fine on a superficial inspection, and also
> the body looks fine.
Thanks a lot.
> Haven't however executed it (with e.g. tasks as limited objects).
I have only tested it with a plain limited record. I should try to
incorporate tasks in the test suite, that's a great idea.
> Just one question: Why haven't you applied the Implicit_Dereference
> aspect to your accessor and mutator?
Because the code is currently in Ada 2005, which AFAIK does not support
the aspect. I'm usually using GNAT AUX, which lags behind GNAT FSF,
which itself lags behind GNAT GPL, so I don't really know how much of
Ada 2012 is available to me at the moment.
Natasha
prev parent reply other threads:[~2013-10-01 6:22 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-11 10:45 Reference counting and idempotent finalize Natasha Kerensikova
2013-09-11 11:21 ` AdaMagica
2013-09-11 12:12 ` Dmitry A. Kazakov
2013-09-12 5:34 ` Natasha Kerensikova
2013-09-12 7:33 ` Dmitry A. Kazakov
2013-09-11 12:16 ` Dmitry A. Kazakov
2013-09-12 4:53 ` Natasha Kerensikova
2013-09-11 12:21 ` Jeffrey R. Carter
2013-09-11 20:03 ` Simon Wright
2013-09-12 4:46 ` Natasha Kerensikova
2013-09-12 5:05 ` Natasha Kerensikova
2013-09-12 7:54 ` Dmitry A. Kazakov
2013-09-12 17:03 ` Jeffrey R. Carter
2013-09-11 13:50 ` Pascal Obry
2013-09-12 4:56 ` Natasha Kerensikova
2013-09-12 14:33 ` Simon Wright
2013-09-12 15:40 ` Pascal Obry
2013-09-12 10:23 ` sbelmont700
2013-09-30 6:25 ` Natasha Kerensikova
2013-09-30 10:02 ` AdaMagica
2013-10-01 6:22 ` Natasha Kerensikova [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox