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,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a1ce307c10055549 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-16 13:42:10 PST Path: archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "David C. Hoos" Newsgroups: comp.lang.ada Subject: Re: calenday (was Re: IBM Acquires Rational Ada Date: Mon, 16 Dec 2002 15:41:19 -0600 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: References: <3DF1615C.7AAAC86E@adaworks.com> <8db3d6c8.0212091445.12594821@posting.google.com> <3DF628C4.7090607@cogeco.ca> <3DF6653D.3030603@cogeco.ca> <8db3d6c8.0212101850.51506572@posting.google.com> <3DF8D33F.9020205@cogeco.ca> <3DFE1D97.6020109@cogeco.ca> Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1040074923 40746 137.194.161.2 (16 Dec 2002 21:42:03 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 16 Dec 2002 21:42:03 +0000 (UTC) Return-Path: X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.13 Precedence: bulk List-Unsubscribe: , List-Id: comp.lang.ada mail<->news gateway List-Post: List-Help: List-Subscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:31918 Date: 2002-12-16T15:41:19-06:00 ----- Original Message ----- From: "Bill Findlay" Newsgroups: comp.lang.ada To: Sent: Monday, December 16, 2002 2:37 PM Subject: Re: calenday (was Re: IBM Acquires Rational Ada > On 16/12/02 20:25, in article > mailman.1040070362.25927.comp.lang.ada@ada.eu.org, "David C. Hoos" > wrote: > > > > > ----- Original Message ----- > > From: "Bill Findlay" > > > > > >> On 16/12/02 18:38, in article 3DFE1D97.6020109@cogeco.ca, "Warren W. Gay > >> VE3WWG" wrote: > >>> > >>> I would suggest one more small point WRT to: > >>> > >>> type day_name_type is (mon,tue,wed,thu,fri,sat,sun); > >>> > >>> Add a representation clause to guarantee that the values > >>> start with sun => 0, mon => 1 etc. For some code, it is > >>> much easier to work with the day of the week in the form > >>> of a number. > >> > >> I'm puzzled by this advice. > >> > >> day_name_type'Pos(mon) .. day_name_type'Pos(sun) > >> > >> is necessarily 0 .. 6, is it not? > >> > > Yes, the _pos_ attribute is defined by the language as you state, > > but Warren is looking to have the _representation_ specified in > > the package specification. This insures that instantiations of > > Ada.Unchecked_Conversion between day_name_type and > > integer types produce specified results. > > > > Yes, but if what you want is "to work with the day of the week in > the form of a number", why use Unchecked_Conversion when > day_name_type'Pos does what you want without further ado? Suppose you have an array of day_name_type that you want to convert to an array of numbers. It's much cheaper to use Unchecked_Conversion than it is to loop through the array and call the 'Pos function or the 'Val function on each element of the array. > > -- > Bill-Findlay chez blue-yonder.co.uk ("-" => "") > > > _______________________________________________ > comp.lang.ada mailing list > comp.lang.ada@ada.eu.org > http://ada.eu.org/mailman/listinfo/comp.lang.ada >