Re: Exceptions

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 11 Gru, 09:07, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:

> For code I have control over, I agree with Bob, except I use a
> different exception; raise Programmer_Error if you've detected a bug.

I understand that this way you want to signal something much more
severe than "mere" Constraint_Error or such.
The problem is that Program_Error can be shut up by some null handler
or it can be translated to some other exception and then lose its
original weight.

Why not terminating the program right on the spot by simply:

pragma Assert (False);

?
(yes, there are compiler options to switch it off as well)

Does anybody use this strategy in regular code?
I happen to use it in test units and I find it very appropriate there.
Any thoughts on using assertions, including Assert(False), in
production code?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com