comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Forcing Exception Handling
Date: Mon, 28 Feb 2011 21:38:26 +0100
Date: 2011-02-28T21:38:25+01:00	[thread overview]
Message-ID: <4d6c07c1$0$6885$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <02901b13-da72-48ae-9cb3-bf1a10144c44@u3g2000vbe.googlegroups.com>

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...)



  parent reply	other threads:[~2011-02-28 20:38 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-02-28 17:27 Forcing Exception Handling iloAda
2011-02-28 17:32 ` Simon Clubley
2011-02-28 18:33   ` onox
2011-02-28 19:10     ` Simon Clubley
2011-02-28 18:34   ` Vinzent Hoefler
2011-02-28 20:20 ` Florian Weimer
2011-02-28 20:35 ` Ludovic Brenta
2011-03-01  3:54   ` Randy Brukardt
2011-03-01  8:34     ` Dmitry A. Kazakov
2011-03-02  0:00       ` Randy Brukardt
2011-03-02  8:28         ` Dmitry A. Kazakov
2011-02-28 20:38 ` Georg Bauhaus [this message]
2011-03-01  0:19   ` Shark8
2011-03-01  8:56     ` Dmitry A. Kazakov
2011-03-01  9:34       ` iloAda
2011-03-01  9:47         ` Vinzent Hoefler
2011-03-01  9:51         ` Dmitry A. Kazakov
2011-03-01 10:07           ` iloAda
2011-03-01 13:27         ` Mark Lorenzen
2011-03-01 16:11         ` J-P. Rosen
2011-03-02  0:11         ` Randy Brukardt
2011-03-01 15:23       ` Shark8
2011-03-01 15:44         ` Dmitry A. Kazakov
2011-03-02  0:02       ` Randy Brukardt
2011-03-01  2:08 ` Hoàng Đình Long
2011-03-02 13:39 ` ytomino

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox