Re: I'm facing an issue with: call to abstract procedure must be dispatching

[Serge Robyns <serge.robyns@gmail.com>]

On Tuesday, 8 December 2015 18:42:26 UTC+1, Dmitry A. Kazakov  wrote:
> On Tue, 8 Dec 2015 09:24:58 -0800 (PST), Serge Robyns wrote:
> In which relation is Do_Something to T_Abstract_Store?
> 
> 1. a primitive operation =
>       has a separate implementation for each concrete type (from the class)
> 2. class-wide operation =
>       has same implementation for all types (from the class)
> 
> (anything else is a design fault)
> 
> > Inside that procedure I'm using the A_Store. This regardless how A_Store
> > got implemented.
> 
> That sounds like #2. Then it must be declared as:

This is indeed Correct.  Thanks for the tip.  Now it works, well at least it compiles .....

procedure test is

   type T_Store is new T_Asbtract_Store with null record;

   overriding procedure Insert (Store  : in out T_Store;
                                Client : in     T_Client'Class) is
   begin
      null;
   end Insert;
   
   procedure Do_Something (A_Store : in out T_Asbtract_Store'Class)
   is
      Client    : T_Client;
   begin
      A_Store.Insert (Client);
   end Do_Something;        
   

   A_Store   : access T_Asbtract_Store;
   The_Store : aliased T_Store;

begin
   A_Store := T_Asbtract_Store (The_Store)'Access;
   Do_Something (A_Store.all);
end test;