Re: Refactoring and Ada

[dewar@gnat.com (Robert Dewar)]

"Dr. Michael Paus" <paus@ib-paus.com> 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,