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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4c459ff0adb576bc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-08 04:45:58 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: Refactoring and Ada Date: 8 Feb 2002 04:45:55 -0800 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0202080445.247abb98@posting.google.com> References: <3C62C7EC.4ACBC1@ib-paus.com> NNTP-Posting-Host: 205.232.38.244 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1013172357 6293 127.0.0.1 (8 Feb 2002 12:45:57 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 8 Feb 2002 12:45:57 GMT Xref: archiver1.google.com comp.lang.ada:19769 Date: 2002-02-08T12:45:57+00:00 List-Id: "Dr. Michael Paus" wrote in message news:<3C62C7EC.4ACBC1@ib-paus.com>... > If I really want to know where this function is defined > it is sufficient to look at the declaration of x so > that you know where the type is defined and you have to > go on and search for the place where the parent type of > B_Type is defined because in case of an inherited > function it is not physically located in the package that > you have to use for the qualification. I trust that your tools short circuit the process you describe above and allow you to easily get from the occurrence to the declaration (it seems to me that such tools are really very useful indeed in large Ada programs). I know that in the past some Ada systems have not had this capability (and indeed the painful nature of searching for declarations in such systems is part--but certainly not all-- of the reason for the odd use-allergy that strikes many Ada programmers), but these days I think most Ada systems DO have that capability,