Re: Exceptions

On Thu, 06 Dec 2007 15:24:44 -0600, tmoran@xxxxxxx wrote:

Is there any way to force programmers to catch exception that
your function throws?

Do you mean force them to write code like:
begin
y := func(x);
exception
when funcs_important_exception=>null; -- ignore unimportant exception
end;

Semantics of exception handling is a different story. When a contract is
satisfied, its implementation can still be incorrect.

When "a way to force" reads "exceptions contract", then the answer is no,
there is no way, alas.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
.