Re: Libraries written in Ada

[Thomas Lotze <thomas@thomas-lotze.de>]

On Tue, 23 Nov 2004 10:48:45 +0100, Martin Krischik wrote:

> can be preelaborated by the compiler and then no runtime elaboration is
> needed.

How can I find out whether the code produced by the compiler (not a
specific one, but any compiler that conforms to the spec) needs runtime
elaboration? Are there simple rules such as "this code pattern may or does
require runtime elaboration while that pattern can be safely assumed to
work without"? I'd have to dig further through the references, but I
haven't found a clear statement so far.

> If you like low leve: I the excample above the GNAT compiler will create a
> "package X init" procedure and a Boolean "package X initilized" (I could
> find out the actual names - but I don't think it is needed). adainit ()
> will check the boolean and call procedure when needed.

So it's not possible to reset a package in the midst of program execution?
If so, is it a conscious design decision, and what's the rationale? (The
solution seems to be offering reset functionality in the package.)

> Ada95 is a object orientated language with some form contructor/descructor
> system called controled objects. adafinal () will call the finalisation
> for static controled objects.

What if a package doesn't have any specific finalization code? Is there
some generic stuff that must always be run, or can finalization be omitted
in such a case?

-- 
Viele Gr��e,
Thomas