From: tmoran@acm.org
Subject: Re: debugging tool?
Date: Mon, 23 Feb 2004 05:43:04 GMT
Date: 2004-02-23T05:43:04+00:00 [thread overview]
Message-ID: <Ipg_b.370160$I06.3943271@attbi_s01> (raw)
In-Reply-To: mailman.13.1077508512.327.comp.lang.ada@ada-france.org
> However, Annotated ARM 7.6.1 11.g says:
> ...
> objects cannot be deallocated one by one as they are
> finalized; a subsequent finalization might reference an
> object that has been finalized, and that object had better be
> in its (well-defined) finalized state.
>
> That says it is safe to put a Finalized flag in Helper_Type, as long
> as you are not using Unchecked_Deallocation.
Excellent! Thanks.
next prev parent reply other threads:[~2004-02-23 5:43 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-02-21 5:56 debugging tool? tmoran
2004-02-22 21:25 ` Hyman Rosen
2004-02-22 22:17 ` tmoran
2004-02-22 23:18 ` Stephen Leake
2004-02-23 1:21 ` tmoran
2004-02-23 1:31 ` tmoran
2004-02-23 3:54 ` Stephen Leake
2004-02-23 5:43 ` tmoran [this message]
2004-02-23 3:34 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox