Re: GNAT documentation question

[Mark Johnson <mark_h_johnson@raytheon.com>]

Robert Dewar wrote:
> 
> James Squire <james.a.squire@boeing.com> wrote in message news:<3D406C6B.9DE867E4@boeing.com>...
> > 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?
> 
> Easy to point to! The detailed documentation for such
> details is always in the sources. These sources are very
> much part of the documentation for questions like this.
> This has the advantage of providing absolutely precise,
> complete and up to date documentation of implementation
> details like this.
> 
The source of course is where you hide these obscure details. I should
have expected you to make this kind of comment. :-)

As an example and an exercise for the reader - can you find the
configuration pragma that is necessary with GNAT on Linux to get real
time priorities. In our case, it took a search through the
documentation, then the source code, and then a message to ACT to
confirm that what we read was actually correct. It also didn't help that
you can't dig the real time priority out of Linux w/o a patched (or
extremely recent) kernel.

  --Mark