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,61e9062c1f23b9d5
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!newsfeed.freenet.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: contracted exceptions
From: Georg Bauhaus <bauhaus+rm.tsoh@maps.futureapps.de>
In-Reply-To: <kyiyvo7rv97m$.vy3bfrwvqfem$.dlg@40tude.net>
References: <1181165630.012508.55290@i38g2000prf.googlegroups.com>
	 <19fxsxv1god43$.1pqq8vgfu2itn$.dlg@40tude.net>
	 <ud507n1rt.fsf_-_@STRIPCAPStelus.net>
	 <wccwsyfa5vf.fsf@shell01.TheWorld.com> <f4ae75$jtp$1@jacob-sparre.dk>
	 <gwqsi47pdu2j.89sc0pb9332p$.dlg@40tude.net>
	 <uzm3aq130.fsf@STRIPCAPStelus.net>
	 <s2uary9xul2i.bsehe8l9otx3.dlg@40tude.net>
	 <usl92wdyj.fsf@STRIPCAPStelus.net>
	 <cdcp1ydis4o7$.185z3b5nusall$.dlg@40tude.net> <m2k5ue8dhk.fsf@mac.com>
	 <1it2vtizha2fi$.jxnoaxmm9sop$.dlg@40tude.net> <m27iqd8g04.fsf@mac.com>
	 <12vqux55uf5rn.1u5enj1mh0ubk$.dlg@40tude.net> <m23b1096w7.fsf@mac.com>
	 <kyiyvo7rv97m$.vy3bfrwvqfem$.dlg@40tude.net>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-Id: <1181499167.27470.21.camel@sonnenregen>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Sun, 10 Jun 2007 20:12:48 +0200
NNTP-Posting-Date: 10 Jun 2007 20:14:23 CEST
NNTP-Posting-Host: 7090f701.newsspool3.arcor-online.net
X-Trace: 
 DXC=TnD84<TjFSn[F<50eo:0knMcF=Q^Z^V3h4Fo<]lROoRaFl8W>\BH3Yb19CKY`H65DeA:ho7QcPOVcjNoP5C`^PInlAQmGhoV=Ol
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16147
Date: 2007-06-10T20:14:23+02:00
List-Id: <comp.lang.ada>

On Sun, 2007-06-10 at 11:21 +0200, Dmitry A. Kazakov wrote: 
> exceptions should be
> contracted and not considered as "oops, we didn't think about this."

That's a good one. We should document what we didn't think about.


> > Also, this check is about a precondition, if the caller violates the
> > precondition she has no right to expect me not to raise unheralded
> > exceptions!
> 
> Oh my. "If you don't do that, then I ..." (:-))

"If you don't do that, then I might ..." is precisely the point of DbC.