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_00,FROM_WORDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ac61eafbef01b3f9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-29 19:45:51 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!hub.org!hub.org!nntp1.njy.teleglobe.net!teleglobe.net!news.stealth.net!news-east.rr.com!news.rr.com!chnws02.mediaone.net!news-out.cwix.com!newsfeed.cwix.com!newscon06.news.prodigy.com!prodigy.com!newscon07!newscon07!postmaster.news.prodigy.com!newssvr16.news.prodigy.com.POSTED!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada References: <3AB78417.236D1AFF@praxis-cs.co.uk> Subject: Re: Question about 'valid Organization: ex-FlashNet, now Prodigy X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: NNTP-Posting-Host: 65.65.209.165 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr16.news.prodigy.com 985923703 6207069 65.65.209.165 (Thu, 29 Mar 2001 22:41:43 EST) NNTP-Posting-Date: Thu, 29 Mar 2001 22:41:43 EST Date: Fri, 30 Mar 2001 03:41:43 GMT Xref: supernews.google.com comp.lang.ada:6227 Date: 2001-03-30T03:41:43+00:00 List-Id: "Robert A Duff" wrote in message news:wcclmpo86yd.fsf@world.std.com... : Peter Amey writes: : > I am currently very interested in validating aribitrary bit patterns : > that arrive via memory mapped ports and want to really understand the : > role of 'valid in these cases. : : I would avoid hole-y enums for this purpose, and just use integer types : that happen to have no extra values (eg "mod 2**32" or whatever). Oh, I hope not. I was a big supporter of 'Valid precisely because we always had to do such annoying workarounds in Ada83...