Re: GNAT documentation question

[Mark Johnson <mark_h_johnson@raytheon.com>]

James Squire wrote:
> 
> A.13.15 says:
>         The implementation shall document the conditions under which
> Name_Error, Use_Error and Device_Error are propagated.
> 
> I've looked through the GNAT Reference Manual and I can't find this
> anywhere.  Can anyone point me to where it is?

Hmm. That is an interesting comment. There IS a description of when
Use_Error is generated in the case of shared files (I know about that
problem - we had code that needed fixing...). But in general, that
description doesn't appear to be in ANY of the gnat documentation.
Perhaps I should submit a bug report on it.

On the other hand, it is a quick search to do something like...
  grep -inr "raise.*name_error;"
/usr/gnat/lib/gcc-lib/i686-pc-linux-gnu/2.8.1/adainclude
  (rewrite the phrase and/or path as needed)
to get the list of 5 locations where Name_Error is raised, the 14
locations for Use_Error, and 35 locations for Device_Error to get the
REAL answer. I did this with a 3.16w version of gnat, the same search on
3.14a1 has slightly different results (3, 14, 33).

If you also have glide, you could take that output, put the output of
grep into a buffer, and enable compilation-mode to let you go directly
to each reference. It would be far better to get it in the
documentation, but this should help for now.

  --Mark