Re: This can't be done in Ada...or?

[Mark Lorenzen <mark.lorenzen@ofir.dk>]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

> Mark Lorenzen wrote:
> > "Per Lindquist" <commander@death-star.com> writes:
> 
> > > One of our target environments is a time-critical real-time
> > > system. We are worried about the execution overhead implied by a
> > > package instantiation (or any 'new' statement) in every subprogram
> > > in the system.
> > > 
> > > Will your solution cause overhead for each subprogram call?
> > 
> > A compile-time instantiation of a package has nothing to do with
> > run-time efficiency. You can also define a new type in a subprogram,
> > which doesn't affect run-time efficiency either.
> 
> Aren't the compilers (theoretically) allowed to delay the
> instantiation of the packgage until run-time?

Hm yes, I think they are - as the semantics is written as an "as-if"
semantics. But if the generic package body does not need to be
elaborated, there will probably not be any overhead.

> 
> Jacob
> -- 
> "Only Hogwarts students really need spellcheckers"
>                                 -- An anonymous RISKS reader

- Mark