Re: for S'Image use Func??

["Randy Brukardt" <randy@rrsoftware.com>]

"Warren" <ve3wwg@gmail.com> wrote in message 
news:Xns9D747B0528E86WarrensBlatherings@188.40.43.245...
> 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.

Janus/Ada reports that for all exception raises (as well as a complete 
traceback of calls), and always has (even back on the Z80 CP/M version in 
1981), so there isn't any advantage to the pragma over plain Ada code that 
raises an exception on failure. The only thing that is even remotely complex 
that the pragma addresses is putting checks in declarative parts (which is 
not usually a problem with judious use of blocks).

                           Randy.