Re: GNAT documentation question

[James Squire <james.a.squire@boeing.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.

I've been all through a-textio.ads and a-textio.adb, and I see a comment
about explicitly raising Constraint_Error, but that's it.  I'm not sure
what you are referring to here.  I'm used to seeing a comment block
preceding a procedure or function spec documenting among other things
what exceptions can be raised by this routine and why.
-- 
James Squire
Software Engineering Tools and Environments
Boeing St. Louis
Work: (314)-232-7010
Work@Home: (314)-831-4812
Pager#: (314)-318-2376