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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ed1f7204771ad6dd
X-Google-Attributes: gid103376,public
From: "Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>
Subject: Re: Other implementations of pragma Abort_Defer?
Date: 1998/01/24
Message-ID: <6ads7q$2pa$2@peuplier.wanadoo.fr>#1/1
X-Deja-AN: 318936953
References: <6a91ej$e1n$1@uuneo.neosoft.com>
 <6aa95k$pou$1@peuplier.wanadoo.fr> <6abpcp$4pe$1@uuneo.neosoft.com>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4
Organization: Adalog
Newsgroups: comp.lang.ada
Date: 1998-01-24T00:00:00+00:00
List-Id: <comp.lang.ada>


>>I have a package that allows you to protect a call to a procedure from
>>abortion. I plan to put it on Adalog's web site as soon as I find the time
>>to write the documentation... In the meantime, I can send it to anyone
>>interested.
>
>
>Indeed I would be interested -- but I hope it doesn't involve protected or
>controlled types, as those are the only alternatives that come to mind, and
>they are a bit heavy in this context (says he who has defended the
>generic-instantiation-to-get-equality-for-nonlimited-types approach for
>Ada83 :) ...
>
Aha, you want a hint... No protected types, but it does use finalization.
I'll send you the package in a separate mail.
(and BTW: of course, a protected type is the easiest way to protect from
abortion; my package is really useful only when the unabortable procedure
must perfom things (typically IOs) that are not allowed from a protected
operation).