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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,31d67020d4b04d5b X-Google-Attributes: gid103376,public From: dewar@gnat.com Subject: Re: Simple Real_Time.Time_Span question Date: 1998/10/16 Message-ID: <708kf1$3g2$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 401951687 References: <705n7o$ro2$1@nnrp1.dejanews.com> <707v7m$3aa$1@nnrp1.dejanews.com> X-Http-Proxy: 1.0 x13.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Fri Oct 16 23:22:09 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/2.02 (OS/2; I) Date: 1998-10-16T00:00:00+00:00 List-Id: In article <707v7m$3aa$1@nnrp1.dejanews.com>, dennison@telepath.com wrote: > In article , > stt@houdini.camb.inmet.com (Tucker Taft) wrote: > > dennison@telepath.com wrote: > > > > : ... > > : Even though this code has to be portable, I probably would have considered > > : cheating and using Duration if I could have found any documentation from my > > : compiler vendor on how it is implemented. Unfortunately, there seem to be > > : *no* documentation requirements on Duration (unlike all *other* predefined > > : types), so my vendor didn't bother to document it. Lucky me. > > > > There should be an "annex M" which contains such information. > > > > Yes, there is an annex M. No, it does not contain that information. It has > entries for the predefined integer types declared in Standard (13), and the > predefined floating-point types declared in Standard (17), but none for the > predefined fixed-point types declared in Standard. As far as I can tell from > the LRM's annex M, there are *no* documentation requirements for Duration. > I'd be happy to be proven wrong (cuz then I could go bitch at my vendor). Well most certainly Duration'Small must be documented, this is perfectly clear from the RM. In M, we have 2 Whether or not each recommendation given in Implementation Advice is followed. See 1.1.2(37). Certainly one hopes that this requirement is followed! In section 9.6, we have Implementation Advice 30 Whenever possible in an implementation, the value of Duration'Small should be no greater than 100 microseconds. So clearly this must be documented, and that is really what you are interested in here. The GNAT RM contains this required documentation, and there you can find: @findex Duration'Small @item 9.6(30-31): Duration'Small @sp 1 @cartouche Whenever possible in an implementation, the value of @code{Duration'Small} should be no greater than 100 microseconds. @end cartouche Followed. (@code{Duration'Small} = 10**(-9)). (This is the original texi source, from which we make HTML, postscript, and the info file that emacs can view, as well as OS/2 and WinNT format help files. The cartouche makes a nice box around the answer :-) Robert Dewar Ada Core Technologies -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own