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,1a4156f047b063f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 28 Feb 2011 21:38:26 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.14) Gecko/20110123 Thunderbird/3.1.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Forcing Exception Handling
References: <02901b13-da72-48ae-9cb3-bf1a10144c44@u3g2000vbe.googlegroups.com>
In-Reply-To: 
 <02901b13-da72-48ae-9cb3-bf1a10144c44@u3g2000vbe.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4d6c07c1$0$6885$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 28 Feb 2011 21:38:25 CET
NNTP-Posting-Host: 90b24548.newsspool2.arcor-online.net
X-Trace: 
 DXC=\K]46iaeokG2:OR3:3gaE@A9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOK]C][NlR?aXOPCY\c7>ejVH0j8Ao>\Q?SINEdkKF4[DkO
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:17650
Date: 2011-02-28T21:38:25+01:00
List-Id: <comp.lang.ada>

On 2/28/11 6:27 PM, iloAda 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!!

IIRC, the new aspect specifications of Ada 2012 can be
used to specify that some exception might be raised.
Not sure, though.

(Given that the feature is controversial in Java,
not everyone might want them for this...)