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,e01bd86884246855
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,fb1663c3ca80b502
X-Google-Attributes: gid103376,public
From: dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner)
Subject: Re: Interresting thread in comp.lang.eiffel
Date: 2000/07/12
Message-ID: <8kirdm$fmq1@news.cis.okstate.edu>#1/1
X-Deja-AN: 645669810
References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com>
 <slrn8leffq.ebq.gisle@spurv.ii.uib.no>
  <395886DA.CCE008D2@deepthought.com.au> <3958B07B.18A5BB8C@acm.com>
  <y1d65.620$7%3.33446@news.flash.net> <395A0ECA.940560D1@acm.com>
  <8jd4bb$na7$1@toralf.uib.no> <8jfabb$1d8$1@nnrp1.deja.com>
 <8jhq0m$30u5$1@toralf.uib.no> <8jt4j7$19hpk$1@ID-9852.news.cis.dfn.de>
 <3963CDDE.3E8FB644@earthlink.net> <3963DEBF.79C40BF1@eiffel.com>
 <396502D2.BD8A42E7@earthlink.net> <RSsa5.11075$7%3.784507@news.flash.net>
 <6aHa5.113$6E.23141@ptah.visi.com> <396B4A68.458FA3BC@maths.unine.ch>
 <u6hp4i16$GA.283@cpmsnbbsa07> <VVMa5.12642$7%3.843780@news.flash.net>
 <uRY09RB7$GA.307@cpmsnbbsa07>
Organization: Oklahoma State University
User-Agent: slrn/0.9.6.2 (Linux)
Reply-To: dstarner98@aasaa.ofe.org
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>

On Wed, 12 Jul 2000 11:00:40 -0500, Bob Allen <ballen3@email.msn.com> wrote:
>
>> > for tan what happens if theta is a mutiple of 90+(180*n) or 270+(180*n)
>> > degrees?
>>
>> Just out of curiosity: For "tan", what does the contract look like to
>> specify...
>>
>> If theta is in degrees or radians?
>> The resources (CPU time, memory, etc.) required to use tan?
>> The precision and range of the result? (given that the contract may be
>coded
>> in Eiffel while the implementation is coded in C...)
>>
>> (and you thought this was an overly simplistic example... :)
>>
>>
>
>This is my point exactly, without writting down the contracts, no one knows
>what to expect.
>If you are going to write it down, why not write it in the class source
>rather than in a seperate
>text that is most likely going to be forgotten and never updated.

His point seemed to be that you can't specify those properites
in source code very easily. I can write those in comments easily;
not so easily in code. 

-- 
David Starner - dstarner98@aasaa.ofe.org
http/ftp: x8b4e53cd.dhcp.okstate.edu
It was starting to rain on the night that they cried forever,
It was blinding with snow on the night that they screamed goodbye.
	- Dio, "Rock and Roll Children"