comp.lang.ada
 help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Last chance handler on a PC
Date: Thu, 30 Jan 2020 23:32:39 +0200
Date: 2020-01-30T23:32:39+02:00	[thread overview]
Message-ID: <h9h0bnF6tjaU1@mid.individual.net> (raw)
In-Reply-To: <r0vfju$v3a$1@dont-email.me>

On 2020-01-30 22:51, Jeffrey R. Carter wrote:
> On 1/30/20 9:26 PM, Niklas Holsti wrote:
>>
>> Looks good, but to catch all elaboration-time exceptions (in other 
>> packages) the package that executes that call, in its own elaboration 
>> code, must be elaborated before all other packages. Do you have some 
>> easy way to ensure that, without inserting elaboration pragmas in all 
>> other packages?
> 
> Of course that call has to be done before anything that might raise an 
> exception during elaboration. Usually you'd put it in its own pkg, and 
> then every other library-level unit in the system would with it with a 
> pragma Elaborate_Body for it.

Yes.

> If everything is part of a hierarchy, then only the spec of the root
> package of the hierarchy should need to do that.
That's a good idea, thanks, I'll remember it for next time.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .

  reply	other threads:[~2020-01-30 21:32 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
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 [this message]
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