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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ac61eafbef01b3f9,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-20 08:26:14 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!194.25.134.62!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!news-feed1.de1.concert.net!fu-berlin.de!uni-berlin.de!193.114.91.187!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Question about 'valid Date: Tue, 20 Mar 2001 16:23:51 +0000 Organization: Praxis Critical Systems Message-ID: <3AB78417.236D1AFF@praxis-cs.co.uk> NNTP-Posting-Host: 193.114.91.187 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 985105435 121212 193.114.91.187 (16 [69815]) X-Mailer: Mozilla 4.73 [en] (WinNT; U) X-Accept-Language: en Xref: supernews.google.com comp.lang.ada:5905 Date: 2001-03-20T16:23:51+00:00 List-Id: Can I ask for the collected wisdom on the following please: Given X : T; If X'Valid is true and X is scalar is it always true that: X in T; X >= T'First; X <= T'Last; If the answer is yes then is it still true if T is an enumeration type with a representation clause which leads to holes in its representation. 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. TIA Peter -- --------------------------------------------------------------------------- __ Peter Amey, Product Manager ) Praxis Critical Systems Ltd / 20, Manvers Street, Bath, BA1 1PX / 0 Tel: +44 (0)1225 466991 (_/ Fax: +44 (0)1225 469006 http://www.praxis-cs.co.uk/ --------------------------------------------------------------------------