T'Interface attribute

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

In order to reduce name space contamination I would propose attribute 
T'Interface which for any tagged type T would denote an interface type 
with all *new* primitive operations, e.g.

    type Derived is new Parent with ...;
    not overriding procedure Foo (X : Derived);

is equivalent to

    type Derived'Interface is [limited etc] interface;
    procedure Foo (X : Derived'Interface);

    type Derived is new Parent and Derived'Interface with ...;

T'Interface is visible at the declaration point of T. Its use is same as 
of T. E.g. prior to the freezing point of T is "premature".

Question. If T has any discriminants so does T'Interface.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de