AW: Limited_Controlled, orthogonality and related issues

["Grein, Christoph (Fa. ESG)" <Christoph.Grein@eurocopter.com>]

private with Ada.Finalization;     --*

package P is

   type T is limited private;
   type S is limited private;

   procedure Do_The_Job(X : in T; Y : in S);

private

   type T_Finalizer (Enclosing : access T) is
     new Ada.Finalization.Limited_Controlled with null record;
   overriding                                                  --*
   procedure Finalize (Finalizer : in out T_Finalizer);        --*

   type S_Finalizer (Enclosing : access S) is
     new Ada.Finalization.Limited_Controlled with null record;
   overriding                                                  --*
   procedure Finalize (Finalizer : in out S_Finalizer);        --*

   type T is record
      -- other components
      Finalizer : T_Finalizer (T'Access);
   end record;

   type S is record
      -- other components
      Finalizer : S_Finalizer (S'Access);
   end record;
end P;

Had you used the new overriding keyword, you has seen the mistake.
Changes marked by --*. With this, the finalizers are called.