comp.lang.ada
 help / color / mirror / Atom feed
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: How to?: Re-dispatching within an inherited method
Date: 1999/08/18
Date: 1999-08-18T00:00:00+00:00	[thread overview]
Message-ID: <37bae808@news1.us.ibm.net> (raw)
In-Reply-To: 7pcar9$aeg@hobbes.crc.com

In article <7pcar9$aeg@hobbes.crc.com> , "David C. Hoos, Sr." 
<david.c.hoos.sr@ada95.com> wrote:

> Without a class-wide Run_Widget, however, the call to
> Run_Widget with an actual parameter of type BigWidget is
> illegal -- a type conversion is required there.
>

Yes, but that's because you used expanded name notation:

  A.Run_Widget (The_BigWidget);  -- illegal

If you want to call the version of the operation that's primitive for
BigWidget, then you have to name the correct operation:

  B.Run_Widget (The_BigWidget);

No type conversion is required.

>> With the change, you can say:
>>
>>   B.Run_Widget (The_BigWidget);
>>
>> and all is well.
--
Matt

It is impossible to feel great confidence in a negative theory which has
always rested its main support on the weak points of its opponent.

Joseph Needham, "A Mechanistic Criticism of Vitalism"




  reply	other threads:[~1999-08-18  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-08-09  0:00 How to?: Re-dispatching within an inherited method Anthony E. Glover
1999-08-09  0:00 ` David C. Hoos, Sr.
1999-08-17  0:00   ` Matthew Heaney
1999-08-17  0:00     ` David C. Hoos, Sr.
1999-08-18  0:00       ` Matthew Heaney [this message]
1999-08-18  0:00         ` Anthony E. Glover
1999-08-19  0:00           ` Matthew Heaney
1999-08-21  0:00             ` Anthony E. Glover
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox