Re: Libraries written in Ada

["Alex R. Mosteo" <devnull@mailinator.com>]

Alex R. Mosteo wrote:
> Georg Bauhaus wrote:
> 
>> Alex R. Mosteo <devnull@mailinator.com> wrote:
>> : Hint to adapower and adaworld :D : Set Up an explanation for the : 
>> elaboration misteries of Ada in non-ARM speak.
>>
>> It's called the GNAT User's Guide. I believe the extensive section on
>> elaboration is largely written/edited by Robert Dewar.
>> It has examples, too.
> 
> 
> Which I must have read and forgotten too. Time for another go.

Just re-reading it I see this paragraph which summarizes my rule of 
thumb. No surprise I got it from here even if I had forgotten it:

"The above pragmas allow a server to guarantee safe use by clients, and 
clearly this is the preferable approach. Consequently a good rule in Ada 
95 is to mark units as Pure or Preelaborate if possible, and if this is 
not possible, mark them as Elaborate_Body if possible. As we have seen, 
there are situations where neither of these three pragmas can be used. 
So we also provide methods for clients to control the order of 
elaboration of the servers on which they depend: (...)"

BTW as Georg pointed, that chapter is a very comprehensible read, highly 
recommended to every Ada programmer!