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,585fd78267abd80c
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: On pragma Precondition etc.
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: <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>
Date: Tue, 29 Jul 2008 19:49:13 +0200
Message-ID: <13nqxvysv2w75.bpxxsup39g9u$.dlg@40tude.net>
NNTP-Posting-Date: 29 Jul 2008 19:49:14 CEST
NNTP-Posting-Host: 9b7429a4.newsspool3.arcor-online.net
X-Trace: 
 DXC=d8U8bM2PigXcHPTNZh_e7QMcF=Q^Z^V3X4Fo<]lROoRQ4nDHegD_]RU9BaL^QV8S[P[6LHn;2LCV^[<mhadbfdU[\gV^aJO26Y[a3V438hMJ6P
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:1380
Date: 2008-07-29T19:49:14+02:00
List-Id: <comp.lang.ada>

On Tue, 29 Jul 2008 17:55:18 +0200, Georg Bauhaus wrote:

> Dmitry A. Kazakov schrieb:
> 
>>> Another thing is, should conditions have parts? Possibly
>>> named parts?
>> 
>> No, I think that any condition shall be related to a [sub]type, which gives
>> the name of. I prefer named equivalence.
> 
> 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).

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