Re: How to test object hierarchy

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

Georg Bauhaus wrote:

> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> : 
> :> should "with type" be mentioned in this context?
> : 
> : Interesting, why do you thing it should?
> 
> I'm not really familiar with "with type", but I thought (guessed)
> that the OP's procedure could be distributed across pairs of two,
> each procedure taking one top level class-wide parameter and
> a derived type parameter. If I have
> 
> package D is
> 
>    type Root is tagged private;
> 
>    type Derived_1 is new Root with private;
> 
>    procedure Op_1(d: Derived_1; other: Derived_2'Class);
>                                        -- too early
>    procedure Op_1(d: Derived_2; other: Derived_2'Class);
>                   --  too early,       too early
> 
>    type Derived_2 is new Root with private;
> 
>    procedure Op_2(d: Derived_2; other: Derived_1'Class);
>    procedure Op_2(d: Derived_1; other: Derived_1'Class);
>                   -- too late
> 
>    ...
> 
> Will "with type" and package reorganisation help?

I think that IF Ada should have multiple dispatch on different types then
inevitably we should reconsider the freezing rules. The most useful
implementations of MD appear when types are defined in different packages.
The rationale behind the existing freezing rules is to prevent dispatching
to non-elaborated targets. I believe that for a MD operation the freezing
point could be the last freezing point of all involved types. For example:

package Devices is
   type Device is tagged ...;
   procedure Load (X : in out Device);
end Device; -- No more primitive operations with only Device

with Devices; use Devices;
package Curves is
   type Curve is tagged ...;
   procedure Show (X : in out Device; Y : Curve);
end Curves; -- No more operations with Device and Curve

It is clear that these rules can be very dangerous, if we will not limit use
of non-primitive operations (except the class-wide ones). The first step
could be to make all types "tagged". But even this could be not enough.

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de