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,a5449b9a03812b50
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-07-28 11:28:26 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: dewar@gnat.com (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: GNAT documentation question
Date: 28 Jul 2002 11:28:26 -0700
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0207281028.607ea804@posting.google.com>
References: <3D406C6B.9DE867E4@boeing.com>
NNTP-Posting-Host: 205.232.38.247
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1027880906 11589 127.0.0.1 (28 Jul 2002 18:28:26
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 28 Jul 2002 18:28:26 GMT
Xref: archiver1.google.com comp.lang.ada:27436
Date: 2002-07-28T18:28:26+00:00
List-Id: <comp.lang.ada>

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 the run-time library, always distributed
with all versions of GNAT, provides completely detailed
documentation of the mapping of Ada 95 run-time features
to the operating system in use.