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,585fd78267abd80c
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!newsfeed.freenet.de!news.tu-darmstadt.de!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 30 Jul 2008 11:22:38 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.16 (Macintosh/20080707)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: On pragma Precondition etc.
References: <4889886d$0$18827$9b4e6d93@newsspool2.arcor-online.net>
 <Pine.LNX.4.64.0807251224010.10913@medsec1.medien.uni-weimar.de>
 <f9112d8f-1c5a-4533-88ed-b4c22d108ac8@q5g2000prf.googlegroups.com>
 <6etsi6F8mbmbU2@mid.individual.net> <488efc8d$1@news.post.ch>
 <py8uf7h03ctg$.qp3cvq1pos4a$.dlg@40tude.net>
 <488f26e8$0$20705$9b4e6d93@newsspool4.arcor-online.net>
 <1668bcqbkwlun$.mzzrx5m5ug2t$.dlg@40tude.net>
 <488f3d67$0$20703$9b4e6d93@newsspool4.arcor-online.net>
 <13nqxvysv2w75.bpxxsup39g9u$.dlg@40tude.net>
In-Reply-To: <13nqxvysv2w75.bpxxsup39g9u$.dlg@40tude.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <489032df$0$1076$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 30 Jul 2008 11:22:39 CEST
NNTP-Posting-Host: d2660129.newsspool3.arcor-online.net
X-Trace: 
 DXC=:T0G`36`l\nIkjb;<8iR=aMcF=Q^Z^V3h4Fo<]lROoRa4nDHegD_]Reb9AI_b25TPcnc\616M64>jLh>_cHTX3jmGJ\BMRd`39g
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:1382
Date: 2008-07-30T11:22:39+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov schrieb:
> On Tue, 29 Jul 2008 17:55:18 +0200, Georg Bauhaus wrote:

>> What if one precondition states a relation between two suprogram
>> parameters, or between properties of two suprogram parameters?
> 
> This case is equivalent to full multiple dispatch. Ada does not have it. If
> it had multiple dispatch then it would clearer how to deal with the
> corresponding contracts (=conditions).


Design by Contract™ has been made to be a *design* tool.
It starts from the simple truth that we will likely think
about pre/post of subprograms once the language suggests we
can. The checking mechanism supports us by checking our
assumptions as good as it possibly can do this.


DbC is not meant to be reduced to a static proof tool.