From: Stephen Leake <stephen_leake@acm.org>
To: comp.lang.ada@ada-france.org
Subject: Re: debugging tool?
Date: 22 Feb 2004 18:18:39 -0500
Date: 2004-02-22T18:18:39-05:00 [thread overview]
Message-ID: <mailman.11.1077491943.327.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <HT9_b.37532$Xp.171149@attbi_s54>
tmoran@acm.org writes:
> > > Is there a tool around that would scan a large program to check for
> > > instances of an object being accessed *after* it's been Finalized?
> >
> > Remember that Ada permits itself to finalize an object more than once.
> I don't mean multiple Finalize calls - that's easy. I mean accessing an
> object *after* it's been finalized.
Right. So put in a flag Object.Finalized, and check Object.Finalized
in _every_ operation on Object. Raise an exception, or silently do
nothing, your choice.
--
-- Stephe
next prev parent reply other threads:[~2004-02-22 23:18 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 [this message]
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
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