Re: Extending a type and Finalization

[malaise@magic.fr]

On 5 juin, 15:14, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> Pascal Malaise wrote on comp.lang.ada:
>
> > Thank you Ludovic. Solution 2 is fine for me.
>
> > Concerning your recommendation, I think that the following is
> > compliant, or did I misunderstand something?
> > type T is new Ada.Finalization.Controlled with record
> >     I : Integer;
> >   end record;
> > end P;
>
> No, that complies with Dmitry's recommendation but not with mine or
> Jeffrey's. I prefer and recommend composition unless there is a
> compelling reason to use type extension. Adam's post earlier in this
> thread describes the composition approach.
>
> --
> Ludovic Brenta.

I need to make visible that T is an extension of Controlled (as we
have seen earlier).
I want to hide, make private, the component I of T.
So the only solution I see is (but this is not a complelling reason):

  type T is new Ada.Finalization.Controlled with private;
private
  type T is new Ada.Finalization.Controlled with record
    I : Integer;
  end record;