Re: Extending a type and Finalization

[Adam Beneschan <adam@irvine.com>]

On Jun 5, 2:11 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> >> I am not sure if this pattern is safe. What gives a guaranty that other
> >> components of TT are initialized before the Initialize gets called on
> >> Control and finalized after the Finalize gets called?
>
> > RM 7.6(12)
>
> Then it should rather be:
>
>     type TT is new P.T with record
>        ...
>        Control : Control_Type (TT'Access);  -- The last component
>     end record;

No; the rule I cited makes certain that components with self-
referential access discriminant constraints are always initialized
last and finalized first, regardless of whether they appear before or
after other components in the extension part.  (Order matters only
when you have more than one component that has a discriminant
constraint like this.)

                              -- Adam