From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Last chance handler on a PC
Date: Fri, 31 Jan 2020 09:51:38 +0100
Date: 2020-01-31T09:51:38+01:00 [thread overview]
Message-ID: <r10pqq$8j7$1@dont-email.me> (raw)
In-Reply-To: <r10j9l$9g3$1@dont-email.me>
Le 31/01/2020 à 08:00, Jeffrey R. Carter a écrit :
> This only handles exceptions in the executable part of the pkg. To
> handle exceptions in the declarative part of pkgs, you need to have set
> a termination handler for the environment task.
>
Right; but AdaControl also has a check that declarations do not perform
operations that could raise exceptions (which is quite sane to check)?
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2020-01-31 8:51 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-01-30 8:55 Last chance handler on a PC ahlan
2020-01-30 9:15 ` J-P. Rosen
2020-01-30 9:17 ` Egil H H
2020-01-30 19:27 ` ahlan
2020-01-31 5:53 ` J-P. Rosen
2020-01-31 7:00 ` Jeffrey R. Carter
2020-01-31 8:51 ` J-P. Rosen [this message]
2020-01-30 9:25 ` Dmitry A. Kazakov
2020-01-30 19:10 ` Lucretia
2020-01-30 19:35 ` ahlan
2020-01-30 20:02 ` Jeffrey R. Carter
2020-01-30 20:26 ` Niklas Holsti
2020-01-30 20:51 ` Jeffrey R. Carter
2020-01-30 21:32 ` Niklas Holsti
2020-01-31 11:12 ` Simon Wright
2020-01-31 11:19 ` Simon Wright
2020-01-31 12:30 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox