Re: Ada exceptions. unchecked?

[Hyman Rosen <hyrosen@mail.com>]

Darren New wrote:
> I suspect the point in Java was to *force* you to deal with it.
 > How many C programmers write something like
> 
>   buffer = malloc(size);
>   fill_in_buffer(buffer, size);
>   write(handle, buffer, size);
> 
> without checking that malloc succeeded or that the write actually wrote the
> right number of characters? If malloc() and write() threw exceptions that
> you were *required* to catch or declare, you couldn't get away with this.
> The real problem is callbacks and exceptions, not just the declared
> exeptions.

The point is to force the program to deal with problems.
So in your example, malloc will throw an exception if it
fails to allocate memory, and write could throw if it is
given a null pointer. That's fine. And at some point in
the program we could have an exception handler that deals
with this. But why does every intervening function in the
call tree have to state for the record that it knows that
something it calls may throw such an exception, if it is
not the place where the exception is handled?