"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.