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: fac41,9a0ff0bffdf63657
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
From: Ken Carpenter <kencr@home.com>
Subject: Re: Module size (was Re: Software landmines)
Date: 1998/09/08
Message-ID: <35F4A7AB.87E3BB30@home.com>#1/1
X-Deja-AN: 388909040
Content-Transfer-Encoding: 7bit
References: <6snlos$bh6$1@hirame.wwa.com> <35F0BC05.61919244@s054.aone.net.au>
 <6srhl8$spv$1@hirame.wwa.com> <35F1B435.403AE1AC@s054.aone.net.au>
 <EyuIF5.IGx@ecf.toronto.edu>
Content-Type: text/plain; charset=us-ascii
Organization: @Home Network
MIME-Version: 1.0
Reply-To: kenc@istar.ca
NNTP-Posting-Date: Mon, 07 Sep 1998 20:42:35 PDT
Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada
Date: 1998-09-08T00:00:00+00:00
List-Id: <comp.lang.ada>

Patrick Doyle wrote:
> 
> In article <35F1B435.403AE1AC@s054.aone.net.au>,
> Loryn Jenkins  <loryn@acm.org> wrote:
> >> Here are two classes that appear to have the same interface.
> >
> >But they don't have the same interface. It is just that your formalism
> >doesn't have the power to describe the semantics. Were this written in
> >Eiffel, you would find the postconditions and invariant, and possibly
> >the preconditions, would differ.
> >
> >Thus the interfaces are quite different.
> 
> And yet, if these two classes were both inherited into a third class,
> would these two features no be merged into one?  It seems that, at
> some level, even Eiffel regards these two interface points as
> being equivalent.

Fortunately in Eiffel, the programmer (who understands that the
interfaces are NOT the same) may easily rename one or both methods.

I know that you know this Patrick...just pointing it out for others.


Ken Carpenter