Re: Generic body

[Adam Beneschan <adam@irvine.com>]

On May 15, 2:25 am, Sébastien <seb.mor...@gmail.com> wrote:

> I read a lot of stuff about elaboration, I'm not a master of the subject
> yet, but I understand a bit about it. I thought that Elaborate_All was
> about dynamic check vs static check? (flat -gnatE for circular dependancy)

I don't think so.  It's about elaboration order, and making sure that
variables have a chance to get initialized before they're used.  If
you have a package body:

   package body Pak2 is
      Counter : Integer := 0;
      function Next_Counter return Integer is
      begin
         Counter := Counter + 1;
         return Counter;
      end Next_Counter;
   end Pak2;

In Ada semantics, the elaboration of Pak2's body is what initializes
Counter to 0.  But if the elaboration of some other package (say Pak3)
used Next_Counter before Pak2's body had a chance to be elaborated,
Counter would be uninitialized and Next_Counter would return garbage.
So it's necessary to ensure that Pak2's body is elaborated before Pak3
is elaborated, and that's what the Elaborate pragmas are for.
(Without the Elaborate pragmas, Pak2's body might be elaborated first
anyway, but you can't be sure.)

That's how it works in Ada.  I know that GNAT has a big long chapter
in the manual describing how it determines the elaboration order, but
I'm not really familiar with the details.  But I'd use the pragmas
anyway; even if GNAT would get things right without them, you may want
to port to a different compiler at a later time.

In any case, I like Gautier's solution and I wish I'd thought of it;
that avoids the Elaboration issues completely.

                               -- Adam