From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7d3cb5920e882220
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!uns-out.usenetserver.com!news.usenetserver.com!pc02.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Exceptions
References: 
 <5947aa62-2547-4fbb-bc46-1111b4a0dcc9@x69g2000hsx.googlegroups.com>
From: Stephen Leake <stephen_leake@stephe-leake.org>
Date: Sat, 08 Dec 2007 05:03:58 -0500
Message-ID: <u63z9cxkh.fsf@stephe-leake.org>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/22.1 (windows-nt)
Cancel-Lock: sha1:Q5gwmEBftXfhnG7QM18pFY4wlNQ=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 406a8475a6c07e05e48ed07449
Xref: g2news1.google.com comp.lang.ada:18778
Date: 2007-12-08T05:03:58-05:00
List-Id: <comp.lang.ada>

shaunpatterson@gmail.com writes:

> Is there any way to force programmers to catch exception that
> your function throws? Something like Java forcing coders to
> put try/catch blocks

What do you mean by "force"?

If your function throws an exception, in Ada or Java, the runtime
semantics define what happens.

If a caller of your function wants to handle the exception, they can. 

If they don't want to, they can do that as well.

What is the use case you have in mind?

-- 
-- Stephe