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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!news.addix.net!border2.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsfeeder.wxs.nl!transit.news.xs4all.nl!195.241.76.212.MISMATCH!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Class hierarchy of exceptions (Ada, C++)
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <d0dkq6$781$1@titan.btinternet.com>
 <1110284070.410136.205090@o13g2000cwo.googlegroups.com>
 <395uqaF5rhu2mU1@individual.net>
 <1111607633.301232.62490@z14g2000cwz.googlegroups.com>
 <d1sjti$5f7$1@titan.btinternet.com> <wccy8cerpgr.fsf@shell01.TheWorld.com>
 <87oed6wvyx.fsf_-_@insalien.org>
 <78nfet0wiu9o.oyhnnedi6wss$.dlg@40tude.net>
 <4245697c$0$27201$9b4e6d93@newsread4.arcor-online.net>
From: Ludovic Brenta <ludovic.brenta@insalien.org>
Date: Mon, 28 Mar 2005 12:32:36 +0200
Message-ID: <878y48vz5n.fsf@insalien.org>
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.3 (gnu/linux)
Cancel-Lock: sha1:QHle6vCo44+3clAJgfpXccr6ThI=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tiscali bv
NNTP-Posting-Date: 28 Mar 2005 12:32:41 CEST
NNTP-Posting-Host: 83.134.239.98
X-Trace: 1112005961 dreader2.news.tiscali.nl 44103 83.134.239.98:36134
X-Complaints-To: abuse@tiscali.nl
Xref: g2news1.google.com comp.lang.ada:10064 comp.lang.c++:47577
 comp.realtime:1769 comp.software-eng:5401
Date: 2005-03-28T12:32:41+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus writes:
> How about
>
> declare
>      ...
>      procedure bounce is
>      begin
>         set_up_information_to_pass;
>      end;
> begin
>     raise with bounce'access;
> end;

You mean that the "Extra_Information" I was contemplating would be
replaced with an access-to-procedure, and the exception handler would
be free to call the procedure?

Maybe this would address Dmitry's concerns about accessibility and
finalization.  The existing accessibility rules are quite clear on
what procedure Bounce can see, and also prevent passing an access to
it to places where Bounce does not exist.

Your proposal is quite interesting.

-- 
Ludovic Brenta.