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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT 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
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: for S'Image use Func??
Date: Thu, 6 May 2010 21:17:41 -0500
Organization: Jacob Sparre Andersen
Message-ID: <hrvt87$54k$1@munin.nbi.dk>
References: <Xns9D7085FECB88EWarrensBlatherings@188.40.43.213>
 <op.vcaqajn0ule2fv@garhos> <Xns9D70A3756AAE0WarrensBlatherings@188.40.43.213>
 <hrvg3i$2b3$1@tornado.tornevall.net> <op.vca4jlxbxmjfy8@garhos>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1273198663 5268 69.95.181.76 (7 May 2010 02:17:43 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 7 May 2010 02:17:43 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5843
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Xref: g2news2.google.com comp.lang.ada:11351
Date: 2010-05-06T21:17:41-05:00
List-Id: <comp.lang.ada>

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.vca4jlxbxmjfy8@garhos...
...
>Just a question : why the Assert procedure (in PragmARC.Assertion_Handler) 
>? What was the intent as there is already the Assert pragma ? As far as I 
>know, the Assert pragma was already there with Ada 95. Am I wrong with 
>this point ?

A lot of Ada 95 implementations had an Assert pragma, but it was not part of 
the language until Ada 2005. So if you wanted to be 100% portable, you 
didn't use it. (I've still never written an Assert pragma.)

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. (And the ones that are expensive need a lot more control than simply 
on or off: Janus/Ada uses trace switches that can be controlled on a 
per-unit basis.)

But it is so simple that it is harmless even if not very valuable. Thus I 
didn't oppose adding it to the language.

                  Randy.