Re: Controlled types as interfaces

[Victor Porton <porton@narod.ru>]

Dmitry A. Kazakov wrote:

> On Wed, 20 Aug 2014 04:09:15 +0300, Victor Porton wrote:
> 
>> Victor Porton wrote:
>>> I think in Ada 202X we can invent Limited_Controlled_Interface and
>>> Controlled_Interface types derived from which could become controlled.
> 
> Yes, but that would be very complicated, because you could add an
> interface very late, making a descendant of a non-controlled type
> controlled.
> 
> A better solution would be fixing initialization (AKA constructors) and
> leaving controlled kludge as is.

I don't see any reason not to make descendant of a non-controlled type 
controlled.

Let T is a non-controlled tagged type.

It descendant Q is like a record

record
   Old: T;
   Ext: Q1;
end record;

(where Q1 is the difference of Q and T).

Q1 is controlled.

As there is no problem that this record becomes controlled, there are no 
reason not to make Q controlled despite of T was non-controlled.

-- 
Victor Porton - http://portonvictor.org