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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2a17785321e80884
X-Google-Attributes: gid103376,public
From: spoons@cegt201.bradley.edu
Subject: Re: Redundant With Remover
Date: 1998/02/03
Message-ID: <886514539.1408368642@dejanews.com>#1/1
X-Deja-AN: 321671165
References: <886175452.1936588810@dejanews.com>
 <34D32B8E.F86335E1@elca-matrix.ch>
X-Originating-IP-Addr: 139.73.198.19 (ems1-19.agt.gmeds.com)
X-Authenticated-Sender: spoons@cegt201.bradley.edu
X-Http-User-Agent: Mozilla/4.04 [en] (Win95; I)
Organization: Deja News Posting Service
X-Article-Creation-Date: Tue Feb 03 14:02:19 1998 GMT
Newsgroups: comp.lang.ada
Date: 1998-02-03T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <34D32B8E.F86335E1@elca-matrix.ch>,
  Mats.Weber@elca-matrix.ch wrote:
>
> > Does anybody know of a utility that can check for unnecessary with'd
> > packages? Obviously it would be harder to spot for packages that are also
> > use'd, but if the utility also looks at the with'd package to see if
> > anything is actually used, it could be done.
>
> gnatf (part of the GNAT compiler) does that.

I've been trying to use gnatf, but it doesn't get very far.  It keeps on
failing at various packages saying they aren't predefined, yet as far as
I know, they are: unchecked_deallocation, calendar, system, etc.  Anyway
to specify which packages it should ignore as being 'predefined'?

JD

-------------------==== Posted via Deja News ====-----------------------
      http://www.dejanews.com/     Search, Read, Post to Usenet