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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Natasha Kerensikova <lithiumcat@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Reference counting and idempotent finalize
Date: Tue, 1 Oct 2013 06:22:39 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <slrnl4kqh1.1lme.lithiumcat@sigil.instinctive.eu>
References: <slrnl30ie3.1lme.lithiumcat@sigil.instinctive.eu>
 <slrnl4i69v.1lme.lithiumcat@sigil.instinctive.eu>
 <870d3675-d495-4437-a9c5-a69b7fd5c93b@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 1 Oct 2013 06:22:39 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="31d6bde745a337034b005384ef225743";
	logging-data="3100"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/8BLrjwPGAaTppCTyNmMjN"
User-Agent: slrn/0.9.9p1 (FreeBSD)
Cancel-Lock: sha1:WTq9nGDwodTgJAd2KzTzRGQcnWA=
Xref: news.eternal-september.org comp.lang.ada:17363
Date: 2013-10-01T06:22:39+00:00
List-Id: <comp.lang.ada>

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