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,fa1a697e52242fbf
X-Google-Attributes: gid103376,public
From: bill <bill@newsguy.com>
Subject: Re: What's class?
Date: 1999/02/23
Message-ID: <7avvpf$pfl@drn.newsguy.com>#1/1
X-Deja-AN: 447776390
References: <7av8du$rjj$1@news.kornet.nm.kr> <m3k8x8fovj.fsf@mheaney.ni.net>
Organization: Newsguy News Service [http://www.newsguy.com]
Newsgroups: comp.lang.ada
Date: 1999-02-23T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <m3k8x8fovj.fsf@mheaney.ni.net>, Matthew says...
>
 
>But if I see this:
>
>  function Is_Full (Stack : in Bounded_Stack) return Boolean;
>
>then I know that Is_Full is only intended to take an object of
>(specific) type Bounded_Stack.  A stack that derives from Bounded_Stack
>would indeed inherit operation Is_Full.
>
 
Since any type that extends a parent type, also inherits its operations,
then in this case, writing

         function is_full( stack: in bounded_stack'class) 
and
         function is_full( stack: in bounded_stack)


make no difference!

correct?

Bill.