Re: Controlled Types & GNAT 3.09

[bobduff@world.std.com (Robert A Duff)]

In article <33293975.41C6@Rational.COM>,
Jerome Desquilbet  <jDesquilbet@Rational.COM> wrote:
>You declared:
>
>> package Foo_Controlled  is
>> 
>>    type Foo is private;
>>    procedure Initialize(F: in out Foo);
>>    procedure Adjust(F: in out Foo);
>>    procedure Finalize(F: in out Foo);
>> 
>> private
>
>[...]
>
>> end Foo_Controlled;
>
>and same kind of declaration for Bar.
>At the place you declare Initialize, Adjust and Finalize, you are in the
>partial view of the type. You simply declare subprograms, that have
>nothing to do with the inherited subprograms from Controlled, because at
>the place you declare them, the type is not known as inheriting from
>Controlled.

No, that's not right.  If the full type for Foo is controlled, then the
above Initialize overrides the controlled one, and gets called
automatically as one would expect.  Same for the Adjust and Finalize.

>Put Initialize, Adjust and Finalize in the full view (i.e. at the end of
>the private part in your example) and it will work.

No, that's not necessary.  (It might be a good idea, though -- you
probably want to prevent clients from calling Initialize and friends
explicitly.)

>PS: tested with Apex 2.2.2B.

Sounds like a bug in Apex, then.  :-(

- Bob