From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.18.3 with SMTP id s3mr852768obd.14.1449597624935; Tue, 08 Dec 2015 10:00:24 -0800 (PST) X-Received: by 10.182.250.169 with SMTP id zd9mr17355obc.1.1449597624902; Tue, 08 Dec 2015 10:00:24 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!mv3no13458120igc.0!news-out.google.com!f6ni17115igq.0!nntp.google.com!mv3no13458119igc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 8 Dec 2015 10:00:24 -0800 (PST) In-Reply-To: <5hfb2q9imjfu.zs3xp9gxw0d3.dlg@40tude.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=94.107.233.114; posting-account=6m7axgkAAADBKh082FfZLdYsJ24CXYi5 NNTP-Posting-Host: 94.107.233.114 References: <8bc7fd76-f00a-4eea-9715-470af028fc84@googlegroups.com> <1krm4xun4e4ny.jmh9kvf6s0a9.dlg@40tude.net> <12dc7aea-933d-4271-95bd-10df808917e4@googlegroups.com> <5hfb2q9imjfu.zs3xp9gxw0d3.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <5788b259-8886-4ee2-8c3d-7799abfd840e@googlegroups.com> Subject: Re: I'm facing an issue with: call to abstract procedure must be dispatching From: Serge Robyns Injection-Date: Tue, 08 Dec 2015 18:00:24 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:28714 Date: 2015-12-08T10:00:24-08:00 List-Id: 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;