comp.lang.ada
 help / color / mirror / Atom feed
From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Re: Is the Documentation In a spec File Usually Enough For You ?
Date: Mon, 15 Oct 2018 13:57:42 +0200
Date: 2018-10-15T13:57:42+02:00	[thread overview]
Message-ID: <pq1vbl$1rem$1@gioia.aioe.org> (raw)
In-Reply-To: f7958d19-eee1-4881-b1ca-92f62b1361df@googlegroups.com

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


  reply	other threads:[~2018-10-15 11:57 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-10-15  0:42 Is the Documentation In a spec File Usually Enough For You ? patrick
2018-10-15  5:44 ` Henrik Härkönen
2018-10-15  7:22 ` Dmitry A. Kazakov
2018-10-15  7:42 ` Niklas Holsti
2018-10-15 10:05 ` AdaMagica
2018-10-15 11:25   ` patrick
2018-10-15 11:57     ` Markus Schöpflin [this message]
2018-10-15 13:02       ` patrick
2018-10-15 16:50 ` Jeffrey R. Carter
2018-10-16  9:57   ` AdaMagica
2018-10-16 16:57     ` Jeffrey R. Carter
2018-10-18  9:06       ` AdaMagica
2018-10-18 15:24         ` Brad Moore
2018-10-18 17:29         ` Jeffrey R. Carter
2018-10-18 17:54           ` AdaMagica
2018-10-18 18:50             ` Dennis Lee Bieber
2018-10-18 20:07             ` Jeffrey R. Carter
2018-10-21 15:20               ` AdaMagica
2018-10-21 18:56                 ` Jeffrey R. Carter
2018-10-22 16:04                   ` AdaMagica
2018-10-22 19:13                     ` Jeffrey R. Carter
2018-10-23 10:00                       ` AdaMagica
2018-10-18 21:24             ` Randy Brukardt
2018-10-19  7:39               ` J-P. Rosen
2018-10-20  1:27                 ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox