Re: implementation of Bounded_String

[Simon Wright <simon@pushface.org>]

Mehdi Saada <00120260a@gmail.com> writes:

> Where can I read GNAT'S implementation of those package ? What's their
> filename ? I suppose it's the same in mac, linux and windows version.

(where your compiler is installed is referred to as $prefix:
e.g. /usr/local/gnat2017 perhaps)

The source is in $prefix/lib/gcc/*/*/adainclude/

e.g. for me

   /opt/gnat-gpl-2017/lib/gcc/x86_64-apple-darwin14.5.0/6.3.1/adainclude/

The file names are compressed: you can find out which contains which
package using gnatkr:

   $ gnatkr ada.strings.unbounded.ads
   a-strunb.ads

If you want to explore the library using GPS (a good idea, it's large &
complex), you could write a GPR (don't try building with it!) like

   project Ada_Library is
      Loc := "/opt/gnat-gpl-2017/lib/gcc/x86_64-apple-darwin14.5.0/6.3.1/";
      for Source_Dirs use (Loc & "adainclude");
      for Object_Dir use Loc & "adalib";
   end Ada_Library;

And yes, aside from a few low-level packages, it's the same on all OSs.