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,4c459ff0adb576bc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-22 13:22:16 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!HSNX.atgi.net!sjc-peer.news.verio.net!news.verio.net!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Refactoring and Ada
Date: Fri, 22 Feb 2002 15:23:01 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <u7ddjt7jko763b@corp.supernews.com>
References: <3C5AB0B7.9D75D49A@grammatech.com> <3c639940@pull.gecm.com>
 <4519e058.0202080714.1bf916bb@posting.google.com>
 <3C65BFF4.F15A07D0@earthlink.net> <a48ns8$n74$1@nh.pace.co.uk>
 <x7veljqldd6.fsf@smaug.pushface.org> <u6qrqp4dlso46f@corp.supernews.com>
 <DRxVLK5K93Eq@eisner.encompasserve.org> <u750go7j0d1v7e@corp.supernews.com>
 <G5qqkyGimkeC@eisner.encompasserve.org> <3C7324BF.996E182B@adaworks.com>
 <crKc8.703$OD1.124126259@newssvr11.news.prodigy.com>
 <u77m1kircnen46@corp.supernews.com>
 <ZTQc8.51466$lT5.3914605627@newssvr30.news.prodigy.com>
 <u78hac6o7iku15@corp.supernews.com>
 <IIsd8.60275$Y8.4279089199@newssvr30.news.prodigy.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:20267
Date: 2002-02-22T15:23:01-06:00
List-Id: <comp.lang.ada>

> or, for that matter, via System.Address_To_Access_Conversions
> (for Integer in this example).

Or, pragma Import of a C object or subprogram. Or reading from a stream.
(The intended uses of the attribute).

> The OP's saying that 'Valid is useless isn't justified by the problem
with
> unchecked conversion, IMHO.

I agree with this. 'Valid is (almost) useless combined with UC, but that
is true whether or not UC is erroneous -- in most cases (other than
[very] sparse enums and float values) it is trivial to check before
applying UC. So it isn't needed in those cases. That can't be done in
the other cases - C or a file could contain anything.

> What am I missing?

Nothing that I see. The ARG discussion was narrowly focused around
'Valid and UC -- perhaps not everyone realized that.

   Randy Brukardt.