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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,836e7962fed7281b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-22 13:25:16 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!news-out.visi.com!green.octanews.net!news-out.octanews.net!cox.net!news-xfer.cox.net!newsfeed.news2me.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny01.gnilink.net.POSTED!0e8a908a!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.6b) Gecko/20031205 Thunderbird/0.4
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: debugging tool?
References: <kqCZb.93487$uV3.558472@attbi_s51>
In-Reply-To: <kqCZb.93487$uV3.558472@attbi_s51>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <_69_b.69554$KV5.45492@nwrdny01.gnilink.net>
Date: Sun, 22 Feb 2004 21:25:14 GMT
NNTP-Posting-Host: 162.83.240.47
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny01.gnilink.net 1077485114 162.83.240.47 (Sun,
 22 Feb 2004 16:25:14 EST)
NNTP-Posting-Date: Sun, 22 Feb 2004 16:25:14 EST
Xref: archiver1.google.com comp.lang.ada:5733
Date: 2004-02-22T21:25:14+00:00
List-Id: <comp.lang.ada>

tmoran@acm.org wrote:
> 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.
Your best bet might be to stick in an extra flag in the object and have
the methods check the flag.