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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no 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!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!news.germany.com!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: contracted exceptions
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
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>
 <1181499167.27470.21.camel@sonnenregen>
Date: Mon, 11 Jun 2007 09:55:45 +0200
Message-ID: <1fy2z2xuab4mq$.ldkas2di6f7r.dlg@40tude.net>
NNTP-Posting-Date: 11 Jun 2007 09:53:09 CEST
NNTP-Posting-Host: d7123500.newsspool4.arcor-online.net
X-Trace: 
 DXC=YI1FK6E9S7C6PJ?[X6JIXE4IUK<Cl32<A4Fo<]lROoRA4nDHegD_]REIW<>aDKH^WGDNcfSJ;bb[EFCTGGVUmh?DLK[5LiR>kgBYShQ66G`^:E
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16151
Date: 2007-06-11T09:53:09+02:00
List-Id: <comp.lang.ada>

On Sun, 10 Jun 2007 20:12:48 +0200, Georg Bauhaus wrote:

> On Sun, 2007-06-10 at 11:21 +0200, Dmitry A. Kazakov wrote: 

>> 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.

In that context "do" was "respect the contract." DbC assumes that all
parties always do it, if they don't then we cannot apply any DbC reasoning
about what is going on: 42.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de