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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1a4156f047b063f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!j9g2000prj.googlegroups.com!not-for-mail
From: =?UTF-8?B?SG/DoG5nIMSQw6xuaCBMb25n?= <long.hdi@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Forcing Exception Handling
Date: Mon, 28 Feb 2011 18:08:58 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <33fd3796-b50c-4f2b-8fc9-645d3292d96e@j9g2000prj.googlegroups.com>
References: <02901b13-da72-48ae-9cb3-bf1a10144c44@u3g2000vbe.googlegroups.com>
NNTP-Posting-Host: 123.27.240.158
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1298945339 21642 127.0.0.1 (1 Mar 2011 02:08:59
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 1 Mar 2011 02:08:59 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: j9g2000prj.googlegroups.com; posting-host=123.27.240.158;
 posting-account=paWW-woAAABZ2b_q4k_Ldv6hEcjqv5lX
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US)
 AppleWebKit/534.13 (KHTML,
 like Gecko) Chrome/9.0.597.98 Safari/534.13,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:18624
Date: 2011-02-28T18:08:58-08:00
List-Id: <comp.lang.ada>

On Mar 1, 12:27=A0am, iloAda <egzgh...@gmail.com> wrote:
> Hello everybody,
>
> I was wondering if there is a way in Ada to force exception handling.
> For instance, if there is a call to a function that may raise an
> exception, force the caller to handle that exception.
> I was wondering if there is a compile time pragma that will isntruct
> the compiler to force the handling of exceptions!!
>
> Thanks guys
>
> Elie

In fact, no Java compiler can force you to handle an exception.

If you don't want to catch an exception, just throw it again. No
compiler can force you to catch that exception if you don't want to (I
am talking about Java).