comp.lang.ada
 help / color / mirror / Atom feed
From: Natasha Kerensikova <lithiumcat@gmail.com>
Subject: Re: Reference counting and idempotent finalize
Date: Thu, 12 Sep 2013 04:46:38 +0000 (UTC)
Date: 2013-09-12T04:46:38+00:00	[thread overview]
Message-ID: <slrnl32hou.1lme.lithiumcat@sigil.instinctive.eu> (raw)
In-Reply-To: ly38pb6s8u.fsf@pushface.org

On 2013-09-11, Simon Wright <simon@pushface.org> wrote:
> "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org> writes:
>
>> ARM 7.6.1 says, "It is a bounded error for a call on Finalize or
>> Adjust that occurs as part of object finalization or assignment to
>> propagate an exception." My practice has, therefore, been to always
>> ensure that Finalize cannot propagate an exception.
>
> If one of my programs were to raise an exception in Finalize it would be
> because I hadn't understood the problem - or because Storage_Error - and
> in either case it wouldn't be safe to continue.

That's roughly the reasoning I had put behind the words "the world ends"
in the OP.


  reply	other threads:[~2013-09-12  4:46 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 [this message]
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
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox