Re: Libraries written in Ada

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Martin Krischik <martin@krischik.com> wrote:
: Please Note: you are asking very low level questions. Normaly you don't need
: to worry about it. Ada as a package orientated language has it all build.
: 
: That's unlike C where library management is not part of the language and
: elaboration (that the Ada term for initialising the runtime environment)
: consists of main () only. 

Uhm, if inside a package

   pragma Pure;

applies and

   foo: constant Bar := <static expression>;

is elaborated, what has initialising the Ada runtime system got to do with
it? (Or do you mean something different by  "initialising the runtime
environment"?) Pragma Pure claims something about elaboration needs _at_
runtime by placing
    "sufficient restrictions on a unit to guarantee that no call
     to any subprogram in the unit can result in an elaboration
     problem"  (GNAT User's Guide)
The Ada runtime system may have to deal with elaboration at runtime.
So there has to be one, unless the (Subset-of-)Ada program has been
written such that no run time system is needed.

-- Georg