From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Dispatching confusion
Date: Sun, 18 Jul 2010 09:40:12 -0400
Date: 2010-07-18T09:40:12-04:00 [thread overview]
Message-ID: <wccr5j0c3ib.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: a31c6$4c430064$433a4efa$4498@API-DIGITAL.COM
"Marc A. Criley" <mcNOSPAM@mckae.com> writes:
> package Wrack_Machinery is
>
> type Wrack_Base is abstract tagged null record;
You forgot this one:
procedure Crank(WC : Wrack_Base) is abstract;
> procedure Dispatcher(W : Wrack_Base'Class);
>
> type Wrack_Client_Base is new Wrack_Base with null record;
>
> procedure Crank(WC : Wrack_Client_Base);
It would be a good idea to say "overriding", here and below:
overriding procedure Crank(WC : Wrack_Client_Base);
And to use the GNAT style switch that warns of missing
"overriding".
> type Wrack_Pub_Base is new Wrack_Base with null record;
>
> procedure Crank (WP : Wrack_Pub_Base);
>
> end Wrack_Machinery;
- Bob
next prev parent reply other threads:[~2010-07-18 13:40 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-18 13:25 Dispatching confusion Marc A. Criley
2010-07-18 13:40 ` Robert A Duff [this message]
2010-07-18 15:06 ` Marc A. Criley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox