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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,c689b55786a9f2bd
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!eternal-september.org!.POSTED!not-for-mail
From: Warren <ve3wwg@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: for S'Image use Func??
Date: Mon, 10 May 2010 16:05:36 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <Xns9D747B0528E86WarrensBlatherings@188.40.43.245>
References: <Xns9D7085FECB88EWarrensBlatherings@188.40.43.213>
 <op.vcaqajn0ule2fv@garhos> <Xns9D70A3756AAE0WarrensBlatherings@188.40.43.213>
 <hrvg3i$2b3$1@tornado.tornevall.net> <op.vca4jlxbxmjfy8@garhos>
 <hrvt87$54k$1@munin.nbi.dk> <wccd3x7lww8.fsf@shell01.TheWorld.com>
Injection-Date: Mon, 10 May 2010 16:05:36 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="9f8M0iN5t54V+4DF/iqO8g";
	logging-data="12878"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/PYshlDogbKUgq32uo6uHZU+QduYwup1A="
User-Agent: Xnews/5.04.25
X-Face: 
 &6@]C2>ZS=NM|HE-^zWuryN#Z/2_.s9E|G&~DRi|sav9{E}XQJb*\_>=a5"q]\%A;5}LKP][1mA{gZ,Q!j
Cancel-Lock: sha1:bkBjgJY1jkrZYpb7Q/+A69+QN2Q=
Xref: g2news2.google.com comp.lang.ada:11451
Date: 2010-05-10T16:05:36+00:00
List-Id: <comp.lang.ada>

Robert A Duff expounded in news:wccd3x7lww8.fsf@shell01.TheWorld.com:

> "Randy Brukardt" <randy@rrsoftware.com> writes:
> 
>> I actually don't buy the need for the Assert pragma in the first
>> place: such checks are rarely expensive and thus should simply be
>> part of the code always.
> 
> If they're not expensive, then you're not using it enough.  ;-)
> 
> Also, the other advantage of pragma Assert over an Assert
> procedure is that you can put the pragma in declarative parts
> and package specs.

What I liked is the added convenience of having the
source module and line number reported, without me 
having to code for that.

Warren