Re: Contract checking in Ada

[Martin Dowie <martin.dowie@btopenworld.com>]

Duncan Sands wrote:
> Hi Tapio,
> 
> 
>>Ada has very powerful run-time checking system which allows for safe
>>programming and efficient execution, depending on the user's needs. As
>>I look at the ARM and GNAT Runtime Library sources, I have noticed
>>that this does not unfortunately apply to Ada's standard library. Many
>>subprograms check that its parameters are valid. I'm not saying that
>>parameter validity checking is bad, becuase it is very useful, but the
>>user should be able to disable it, when (s)he is certain, that the
>>conditions will not fail. I'm quite surprised that Ada2005 does not
>>replace library functions' parameter checks with pragma Assert, in
>>which
>>case user could disable checking. In GNAT library, for example, many
>>checks
>>are done twice (or even more times), because the library has its own
>>checks
>>and the language has its own.
> 
> 
> the GNAT run-time library is built without run-time checks (-gnatp).

I think that the OP is complaining that there are explicit checks
in the subprograms that /can't/ be turned off - even though you
know that you're code isn't "broken".

Cheers

-- Martin