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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID,
	RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME 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: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: Other implementations of pragma Abort_Defer?
Date: 1998/01/26
Message-ID: <01bd2aa0$c4925420$34fe82c1@xhv46.dial.pipex.com>#1/1
X-Deja-AN: 319460726
Content-Transfer-Encoding: 7bit
References: <6a91ej$e1n$1@uuneo.neosoft.com>
 <6aa95k$pou$1@peuplier.wanadoo.fr> <6abpcp$4pe$1@uuneo.neosoft.com>
 <6ads7q$2pa$2@peuplier.wanadoo.fr> <6ag78c$86t$1@uuneo.neosoft.com>
Content-Type: text/plain; charset=ISO-8859-1
Organization: UUNet UK server (post doesn't reflect views of UUNet UK)
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-01-26T00:00:00+00:00
List-Id: <comp.lang.ada>


The problem of using such a pragma will generally be lack of portability
(unless, of course, all compiler providers agree to support it!).  The
other methods, mentioned earlier in this thread, of achieving the same
effect, although they are less concise, are portable.  I'm sure the package
mentioned in Jean-Pierre's post would be very interesting, and useful to
some.

I think this thread also raises a wider question: is there a mechanism
(formal or informal) in existence whereby compiler providers can agree
(even if it is only partially) upon the syntax and function of non-standard
pragmas and attributes?

-- 

Nick Roberts
Croydon, UK

Proprietor, ThoughtWing Software; Independent Software Development
Consultant
* Nick.Roberts@dial.pipex.com * Voicemail & Fax +44 181-405 1124 *
*** Always game for a verbal joust (usually as the turkey) ***


Pat Rogers <progers@acm.org> wrote in article
<6ag78c$86t$1@uuneo.neosoft.com>...
> Jean-Pierre Rosen wrote in message <6ads7q$2pa$2@peuplier.wanadoo.fr>...
> >>>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.
> 
> Using the GNAT-defined pragma, one says:
> 
>     procedure Unabortably_Do_This is
>     begin
>        pragma Abort_Defer;
>        -- things to do with abort deferred....
>     end Unabortably_Do_This;
> 
> 
> It is a shame we can't just say:
> 
>     pragma Convention( Abort_Deferred, Unabortably_Do_This );
> 
> 
> The real question I originally asked, though, is how many other vendors
also
> implement a pragma to do the same as Abort_Defer?  There has been some
> cooperation on other aspects, is there any here?