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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a370fcbf5c4dae94
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: How to?: Re-dispatching within an inherited method
Date: 1999/08/18
Message-ID: <37bae808@news1.us.ibm.net>#1/1
X-Deja-AN: 514278940
Content-transfer-encoding: 7bit
References: <37AF0ADE.3D80FEB3@hiwaay.net> <7onk8f$2qg@hobbes.crc.com>
 <37b9a823@news1.us.ibm.net> <7pcar9$aeg@hobbes.crc.com>
X-Trace: 18 Aug 1999 17:06:16 GMT, 32.101.8.66
Organization: Global Network Services - Remote Access Mail & News Services
X-Notice: should be reported to postmaster@ibm.net
Content-Type: text/plain; charset="US-ASCII"
Mime-version: 1.0
Newsgroups: comp.lang.ada
X-Complaints-To: postmaster@ibm.net
Date: 1999-08-18T00:00:00+00:00
List-Id: <comp.lang.ada>

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"