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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b78c363353551702
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.228.227 with SMTP id sl3mr8297647pbc.5.1341457111946;
        Wed, 04 Jul 2012 19:58:31 -0700 (PDT)
Path: 
 l9ni10938pbj.0!nntp.google.com!news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Shark8 <onewingedshark@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: about the new Ada 2012 pre/post conditions
Date: Wed, 4 Jul 2012 19:58:31 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <c27beaae-0a06-48d2-acb7-a9179172085d@googlegroups.com>
References: <jrsjr7$uuo$1@speranza.aioe.org>
 <1oih2rok18dmt.avbwrres5k12.dlg@40tude.net>
 <4fe59ea0$0$9502$9b4e6d93@newsspool1.arcor-online.net>
 <1mkp7fzlk1b0y.1ueinfjn48fcy$.dlg@40tude.net>
 <4fe72b6b$0$9504$9b4e6d93@newsspool1.arcor-online.net>
 <1bbvp3ghpjb5s.1go1s1qvcmagh$.dlg@40tude.net>
 <4fe76fad$0$9507$9b4e6d93@newsspool1.arcor-online.net>
 <1jt8vhzxfrv2i.eohce4d3rwx1$.dlg@40tude.net>
 <4fe83aaa$0$6624$9b4e6d93@newsspool2.arcor-online.net>
 <1pkfv0tiod3rn$.onx6dmaa3if9$.dlg@40tude.net>
 <Pine.LNX.4.64.1206251438390.12735@medsec1.medien.uni-weimar.de>
 <1i1mp8xs3vtl2.1oc4m66qtfgzq.dlg@40tude.net>
 <Pine.LNX.4.64.1206251734140.12735@medsec1.medien.uni-weimar.de>
 <bdpvyb9h7rvt.zbq0kbiq72wj.dlg@40tude.net>
 <Pine.LNX.4.64.1206261316320.22921@medsec1.medien.uni-weimar.de>
 <xmybo646240w$.13rwa9qwsliyp$.dlg@40tude.net>
 <4fe9bde5$0$6566$9b4e6d93@newsspool4.arcor-online.net>
 <z27igg6796oj$.oefrs9mmhzok$.dlg@40tude.net>
 <ec53fb35-8af6-4d30-9353-f8854feea4cf@googlegroups.com>
 <1otknesgpcisl$.112pd12on3vsb$.dlg@40tude.net>
NNTP-Posting-Host: 69.20.190.126
Mime-Version: 1.0
X-Trace: posting.google.com 1341457111 6926 127.0.0.1 (5 Jul 2012 02:58:31
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 5 Jul 2012 02:58:31 +0000 (UTC)
Cc: mailbox@dmitry-kazakov.de
In-Reply-To: <1otknesgpcisl$.112pd12on3vsb$.dlg@40tude.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=69.20.190.126;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Date: 2012-07-04T19:58:31-07:00
List-Id: <comp.lang.ada>

On Saturday, June 30, 2012 3:26:12 AM UTC-5, Dmitry A. Kazakov wrote:
> On Fri, 29 Jun 2012 14:03:27 -0700 (PDT), Shark8 wrote:
>> I'm really confused on why you seem to think the Pre- and Post-condition=
s
>> are bad things.=20
>=20
> That is because you didn't follow the discussion. Pre- and post-condition=
s
> are great things, but only when done correctly.

Ah, now you're equating 'following' with both 'understanding' and 'remember=
ing the nuances' -- I don't agree with that definition, precisely because i=
t excludes the request for clarification so one might understand it.

Also, I don't know where you got the idea that pre- and post-conditions mus=
t not implement anything. If that was the case then, strictly speaking Java=
Doc's pre and postcondition annotating comments are superior to Ada's pre a=
nd post condition because they don't implement anything and are, in fact, j=
ust comments having no actual impact on the program text.