Re: Preventing private procedure visibility being made public through extension

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

Am Sonntag, 21. Mai 2017 23:07:13 UTC+2 schrieb Dmitry A. Kazakov:
> In Ada a non-primitive operation could be disallowed by declaring it 
> abstract, just the same.
> 
> An Ada example corresponding to yours is this:
> 
>     package Base is
>        type Base_Type is null record;

>        procedure Something (X : in out Base_Type);

This is a primitive operation of Base_Type.

>     end Base;
> 
>     package Derived is
>        type Derived_Type is new Base_Type;

Because of being primitive, it's inherited here - and you can override it.
>        procedure Something (X : in out Derived_Type) is abstract;

The difference is that this follows the Ada83 derivation rules, which are quite different from the Ada95 rules of tagged types.

Nevertheless, operations like Something are called "primitive operations". Also the optional overriding indicators can be used on Ada83 derivation.