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.6 required=5.0 tests=BAYES_40,INVALID_MSGID
	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: "Bob Allen" <ballen3@email.msn.com>
Subject: Re: Interresting thread in comp.lang.eiffel
Date: 2000/07/12
Message-ID: <uRY09RB7$GA.307@cpmsnbbsa07>#1/1
X-Deja-AN: 645507575
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>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
X-MSMail-Priority: Normal
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>


> > 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.

Bob Allen