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: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
X-Google-Thread: fac41,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
From: Samuel Mize <smize@link.com>
Subject: Re: Interface/Implementation (was Re: Design by Contract)
Date: 1997/09/10
Message-ID: <341703FF.2D2F@link.com>#1/1
X-Deja-AN: 271422299
References: <EG0nDv.EJD@ecf.toronto.edu> <EG7zJn.366@syd.csa.com.au>
 <3415B700.1088@pseserv3.fw.hac.com>
 <01bcbe0c$beb2b8c0$0100007f@Yeif-1.eiffel.fi>
Reply-To: smize@link.com
Organization: Hughes Training Inc.
Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1997-09-10T00:00:00+00:00
List-Id: <comp.lang.ada>


Veli-Pekka Nousiainen wrote:
> That is not the way I create my interfaces in Eiffel.
> I succest that you try EiffelCase and forward engineering.
> See what it generates from your detail design.
> Apply then 'short' and compare the results. Suprise might follow...
> VP

This might well be a compelling argument, if everyone working
in Ada had EiffelCase available and knew your methods.

Since we don't, if you want to convince us, you'll have to
describe the tool, the method, and the results.

Sam Mize