From: "Samuel T. Harris" <sam_harris@hso.link.com>
Subject: Re: Elimination of "use" clauses
Date: 1999/07/02
Date: 1999-07-02T00:00:00+00:00 [thread overview]
Message-ID: <377CE178.6C15F543@hso.link.com> (raw)
In-Reply-To: 7lh74s$v36$1@nnrp1.deja.com
Robert Dewar wrote:
>
> In article <377B5807.88B875E0@cs.york.ac.uk>,
> Neil.Audsley@cs.york.ac.uk wrote:
> >
> > We have a lot of Ada source that "with"s and "use"s a lot of
> packages --
> > to the extent that it is difficult and time-consuming to find
> out which
> > package a procedure is actually from.
> > Ideally, we would like to eliminate "use" clauses,
> necessitating the
> > replacement of each procedure call X by PackageName.X instead.
> > Is there a tool that does this?
>
> I don't know of a dotification tool, but it seems strange to
> claim that it is difficult and time-consuming to find out
> which package a procedure is from. That sounds like you are
> not using appropriate tools. Try using the EMACS interface
> to GNAT, and you can immediately go from any identifier to
> the declaration (and the proper package in which this
> declaration appears). This is actually much more useful in
> reading code, since you immediately find out not only what
> package the identifier is in, but you go to the declaration
> which shows you the details of what the identifier means.
>
> There are other tools that have this same capability. This
> seems pretty important functionality. There is also the gnatfind
> utility available with GNAT for providing this same kind of
> information in command line mode.
There are times when no tool can be of any help.
Doing work for NASA, we have customers which insist on
reviewing code in their private work area. With no
connectivity to our environment, they do not have
access to our tools. Some of they even require hardcopy
and reject any electronic form.
So the problem is not entirely handled by good tools.
Reasonable restrictions on the use clause are still
appropriate to support such edge cases.
--
Samuel T. Harris, Principal Engineer
Raytheon, Scientific and Technical Systems
"If you can make it, We can fake it!"
next prev parent reply other threads:[~1999-07-02 0:00 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-01 0:00 Elimination of "use" clauses Dr. Neil C. Audsley
1999-07-01 0:00 ` Joe Wisniewski
1999-07-01 0:00 ` Samuel T. Harris
1999-07-01 0:00 ` czgrr
1999-07-01 0:00 ` Ted Dennison
1999-07-02 0:00 ` czgrr
1999-07-02 0:00 ` Ted Dennison
1999-07-02 0:00 ` Robert Dewar
1999-07-02 0:00 ` Ted Dennison
1999-07-02 0:00 ` Stephen Leake
1999-07-02 0:00 ` Robert Dewar
[not found] ` <7ltus1$ah1@dfw-ixnews19.ix.netcom.com>
1999-07-13 0:00 ` Robert A Duff
1999-07-18 0:00 ` Richard D Riehle
1999-07-18 0:00 ` jerry
1999-07-19 0:00 ` Vladimir Olensky
1999-07-20 0:00 ` Richard D Riehle
1999-07-20 0:00 ` jerry
1999-07-20 0:00 ` Opaque Types (was Elimination of "use" clauses) David C. Hoos, Sr.
1999-07-18 0:00 ` Elimination of "use" clauses Dale Stanbrough
1999-07-20 0:00 ` David Kristola
1999-07-20 0:00 ` Richard D Riehle
1999-07-19 0:00 ` Brian Rogoff
1999-07-20 0:00 ` Robert Dewar
1999-07-20 0:00 ` Brian Rogoff
1999-07-21 0:00 ` Robert Dewar
1999-07-21 0:00 ` Brian Rogoff
1999-07-22 0:00 ` Robert Dewar
1999-07-22 0:00 ` Brian Rogoff
1999-07-22 0:00 ` Robert Dewar
1999-07-22 0:00 ` Brian Rogoff
1999-07-21 0:00 ` Ted Dennison
1999-07-21 0:00 ` Robert Dewar
1999-07-21 0:00 ` Robert A Duff
1999-07-21 0:00 ` Robert A Duff
1999-07-21 0:00 ` Michael F. Yoder
1999-07-21 0:00 ` Robert A Duff
1999-07-23 0:00 ` Tucker Taft
1999-08-03 0:00 ` Richard D Riehle
1999-07-19 0:00 ` Ted Dennison
1999-07-19 0:00 ` Tucker Taft
1999-07-19 0:00 ` Ted Dennison
1999-07-02 0:00 ` Ed Falis
1999-07-02 0:00 ` Ed Falis
1999-07-03 0:00 ` Joe Wisniewski
1999-07-03 0:00 ` Ed Falis
1999-07-03 0:00 ` Keith Thompson
1999-07-13 0:00 ` Peter Amey
1999-07-02 0:00 ` Samuel T. Harris [this message]
1999-07-02 0:00 ` Robert Dewar
1999-07-08 0:00 ` R. Tim Coslet
1999-07-09 0:00 ` Robert Dewar
1999-07-09 0:00 ` tmoran
[not found] ` <7ltl2q$mog$1@nnrp1.deja.com>
1999-07-08 0:00 ` Michael F. Yoder
1999-07-09 0:00 ` Robert Dewar
1999-07-09 0:00 ` Dale Stanbrough
1999-07-12 0:00 ` Robert Dewar
1999-07-12 0:00 ` Ted Dennison
1999-07-09 0:00 ` Michael F. Yoder
1999-07-14 0:00 ` Tucker Taft
1999-07-10 0:00 ` Simon Wright
1999-07-12 0:00 ` Robert Dewar
1999-07-09 0:00 ` Richard D Riehle
1999-07-09 0:00 ` Michael F. Yoder
1999-07-09 0:00 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox