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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: =?UTF-8?Q?Markus_Sch=c3=b6pflin?= Newsgroups: comp.lang.ada Subject: Re: Is the Documentation In a spec File Usually Enough For You ? Date: Mon, 15 Oct 2018 13:57:42 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <7fcdcc97-67e4-473b-abc4-cd0ecd4501ad@googlegroups.com> <45ed49eb-1849-40b3-bfae-5423fae9b164@googlegroups.com> NNTP-Posting-Host: MdpKeRr+sx3LK7JQiK5aNw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:54587 Date: 2018-10-15T13:57:42+02:00 List-Id: On 10/15/18 1:25 PM, patrick@spellingbeewinnars.org wrote: [...] > I also printed all the Gnat.XXX headers and here are a few just randomly picked: > Gnat.Heap.Sort_G > Gnat.Memory_dump > Gnat.Byte_Swapping > > I just picked Gnat.Byte_Swapping and I tried to look for an example. I found the GNAT reference manual that gives a short description but I did not find an example of it in use. > > Can I assume that if Adacore included this, it's good software ? but can I also assume that I will need to post to this list and/or read through the spec and body to understand how it works? AdaCore includes extensive documentation in the spec files. So you just need to look at the spec files, e.g. for Gnat.Byte_Swapping have a look at g-bytswa.ads. Markus