Re: Prohibiting dynamic allocation for the given type

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 19 Mar, 23:17, Georg Bauhaus <rm.tsoh.plus-
bug.bauh...@maps.futureapps.de> wrote:

> Using Ada 2005, you can have some of the "how long" control.
> Deriving in nested scopes will limit the objects to that
> scope.

Yes, but this assumes that the user of the type is also implementing
it - in the same scope.

I was considering the type implemented in the library and the
possibility to enforce some given lifetime pattern at the use site.
Deriving in nested scope requires to mix the responsibilities of
"provider" and "user" and this is not possible when "provider" is a
library.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com