Re: Bad influence of private part on what subprograms can be defined

[AdaMagica <christ-usch.grein@t-online.de>]

Dmitry is correct. The programmer of B has full control about how he is going to implement the type and its operations. There is not any surprise for him about whether an operation would be overriding or not. If he doesn't want X to be overriding, he has to choose a different name. In the latter case, a user of B will not see (will not be able to directly call) the inherited operation although it exists.

  package B is
    type B_Type is tagged private;
  --procedure X (Object: B_Type);  implicitly defined
    procedure Y (Object: B_Type);
  private
    type B_Type is new A.A_Type with null record;
  end;

  package body B is
    procedure Y (Object: B_Type) is
    begin
      X (Object);  -- indirect call of inherited X
    end;
  end;