- From: "Dmitry A. Kazakov" <mailbox@xxxxxxxxxxxxxxxxx>
- Date: Fri, 7 Dec 2007 09:54:36 +0100
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:
y := func(x);
when funcs_important_exception=>null; -- ignore unimportant exception
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.
Dmitry A. Kazakov