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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,953e1a6689d791f6
X-Google-Attributes: gid103376,public
X-Google-Thread: fac41,953e1a6689d791f6
X-Google-Attributes: gidfac41,public
From: "Norman H. Cohen" <ncohen@watson.ibm.com>
Subject: Re: Eiffel and Java
Date: 1996/11/13
Message-ID: <328A411C.388B@watson.ibm.com>#1/1
X-Deja-AN: 196298364
references: <32821C82.2D32524D@sede.unijui.tche.br>
 <E0qMJC.EJt@syd.csa.com.au>
content-type: text/plain; charset=us-ascii
organization: IBM Thomas J. Watson Research Center
mime-version: 1.0
reply-to: ncohen@watson.ibm.com
newsgroups: comp.lang.eiffel,comp.lang.ada
x-mailer: Mozilla 3.0 (Win95; I)
Date: 1996-11-13T00:00:00+00:00
List-Id: <comp.lang.ada>


Don Harrison wrote:

> Jon, don't know why you say this. I have some vague recollection of you
> talking about Sather's separate interface and implementation *inheritance*.
> But Ada doesn't even support that, so I'm not sure what you're thinking
> of. Please explain why you make this association.

Ada DOES support separate interface and implementation inheritance:

   package Interface is
      type Interface_Type is abstract tagged ...;
      ...
   end Interface;

   package Parent_Implementation is
      type Parent_Implementation_Type is
         new Interface.Interface_Type with ...;
      ...
   end Parent_Implementation;

   package Child_Implementation is
      type Child_Implementation_Type is 
         new Interface.Interface_Type with private;
      ...
   private
      type Child_Implementation_Type is 
         new Parent_Implementation.Parent_Implementation_Type
            with ...;
   end Child_Implementation;

The declaration of Child_Implementation_Type in the visible part of the
package declares this type to be descended from Interface_Type, and this
is all that a client of the Child_Implementation package knows about the
type.  The full declaration of Child_Implementation_Type in the private
part indicates that Child_Implementation_Type implements the
Interface_Type interface by inheriting from a particular descendant of
Interface_Type, namely Parent_Implementation_Type.

-- 
Norman H. Cohen
mailto:ncohen@watson.ibm.com
http://www.research.ibm.com/people/n/ncohen