Re: Elaboration Question

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 15-01-02 17:11 , sbelmont700@gmail.com wrote:
> On Friday, January 2, 2015 6:08:24 AM UTC-5, Mark Lorenzen wrote:
>>
>> What strategy would you use when writing a library in Ada, that is
>> to be called from e.g. a program written in C?
>>
>
> The onus is on the calling code to ensure elaboration happens
> correctly.  The best strategy to use from the library-side is to just
> make sure all your code is Preelaborate (or Pure), and the problem
> solves itself.

This advice probably works in practice, but formally speaking, I cannot 
find a promise in the Ada RM (2012 version) that a Preelaborable library 
unit is free of elaboration code. RM 10.2.1(11/3) promises that all 
preelaborated library units are elaborated before any non-preelaborated 
library units, but formally, even the preelaborated units are still 
"elaborated" in some sense.

Even the implementation advice the RM gives for preelaboration 
(10.2.1(12)) speaks of elaborations of the preelaborable units that 
"occur in distinct executions of the same program", which sounds very 
much like some elaboration code being executed at execution time.

So to me it appears safest to ensure that the C main program calls the 
Ada elaboration and finalisation operations, as David Botton suggested, 
and then it is not necessary to follow the strong restrictions of 
Preelaborable or Pure units.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .