comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Reference counting and idempotent finalize
Date: Wed, 11 Sep 2013 21:03:13 +0100
Date: 2013-09-11T21:03:13+01:00	[thread overview]
Message-ID: <ly38pb6s8u.fsf@pushface.org> (raw)
In-Reply-To: l0pn8q$rih$1@adenine.netfront.net

"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.

  reply	other threads:[~2013-09-11 20:03 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 [this message]
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
replies disabled

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