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,b3f788f59498d3af
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!213.200.89.82.MISMATCH!tiscali!newsfeed1.ip.tiscali.net!newsfeed00.sul.t-online.de!t-online.de!ndsoftware.com!npeer.de.kpn-eurorings.net!npeer0.kpn.DE!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 22 Jun 2007 20:15:02 +0200
From: Georg Bauhaus <bauhaus.rm.tsoh@maps.futureapps.de>
Organization: #
User-Agent: Thunderbird 1.5.0.12 (Macintosh/20070509)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Exceptions and out procedure arguments (using GNAT GPL)
References: <79c673pq5htg508nkoi935n3udqg5ps7r8@4ax.com>
 <1182181497.595409.300500@a26g2000pre.googlegroups.com>
 <drle731ukcmhlt5km966imoudr5s92napd@4ax.com>
 <1182238493.512406.168820@o61g2000hsh.googlegroups.com>
 <1182266486.650797.262430@a26g2000pre.googlegroups.com>
 <u1ofbjnyd74k$.9604oalmbm4q$.dlg@40tude.net>
 <4678c6a0$0$23135$9b4e6d93@newsspool1.arcor-online.net>
 <1o6rnwgzezcr2$.mv31ct5mmmso$.dlg@40tude.net>
 <1182329193.7759.30.camel@kartoffel>
 <f9r2vckevf2w.ym9pgqu88b03$.dlg@40tude.net>
 <1182334409.7759.39.camel@kartoffel>
 <1mhmyqf4l1lzn$.42eeylu5yrjk.dlg@40tude.net>
 <1182349018.7759.51.camel@kartoffel>
 <1d3hk782jujgz$.182e58lrsup7s.dlg@40tude.net>
 <46797c40$0$23133$9b4e6d93@newsspool1.arcor-online.net>
 <mnu9sx94u3iw.1c5w74tm0h0yd$.dlg@40tude.net>
 <1182419529.23934.17.camel@kartoffel>
 <1lyxtgyzyuh8m.yvrov7e73y09.dlg@40tude.net>
In-Reply-To: <1lyxtgyzyuh8m.yvrov7e73y09.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <467c10e5$0$14879$9b4e6d93@newsspool4.arcor-online.net>
NNTP-Posting-Date: 22 Jun 2007 20:11:50 CEST
NNTP-Posting-Host: ac84dbfd.newsspool4.arcor-online.net
X-Trace: 
 DXC=<jg1\YLjTbUHigV@eW57PQ4IUK<Cl32<Q4Fo<]lROoRQ4nDHegD_]RURn0]o_IK]`_A:ho7QcPOVS>5P;mjk=H<W6<<=8<FH3`Y
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16301
Date: 2007-06-22T20:11:50+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> 
> I didn't talk about formal correctness or pre-/postconditions, but if you
> bring this topic in. What is so difficult in:

I had this in mind:
"Actually I think that boils down to your [Adam Beneschan's] stand point
on exceptions vs. program correctness. Mine is that any exception shall
be a valid (correct) outcome.

"In other words, exceptions are a subject of DbC, they aren't a vehicle of. "

How, exactly, can exception be made a subject of DbC (other than
banning them)?