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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	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.241.162 with SMTP id wj2mr16161910pbc.2.1341663706299;
        Sat, 07 Jul 2012 05:21:46 -0700 (PDT)
Path: 
 l9ni11086pbj.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!news.teledata-fn.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 07 Jul 2012 14:21:45 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:13.0) Gecko/20120614 Thunderbird/13.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: about the new Ada 2012 pre/post conditions
References: <jrsjr7$uuo$1@speranza.aioe.org>
 <1hgo6aks03zy.by4pq4xbjsgf$.dlg@40tude.net> <jrsmfh$6fq$1@speranza.aioe.org>
 <npdjip6ohqlt$.1x6bxc9jsaago$.dlg@40tude.net> <js00co$clj$1@munin.nbi.dk>
 <1jvy3elqtnd1j.1sjbk32evhp1f$.dlg@40tude.net> <js2hq5$9fj$1@munin.nbi.dk>
 <1oih2rok18dmt.avbwrres5k12.dlg@40tude.net> <jsttoc$hc2$1@munin.nbi.dk>
 <13hfxjlq0xqtq.x3v8evyf4pku$.dlg@40tude.net> <jt2thn$1hr$1@munin.nbi.dk>
 <13p2n1ve6lbrc.yr8d2a5ljm8$.dlg@40tude.net> <jt80n3$gjh$1@munin.nbi.dk>
 <1ee9qp0cy5me4.1vh22pi92ls6n$.dlg@40tude.net>
 <4ff81ae0$0$9504$9b4e6d93@newsspool1.arcor-online.net>
 <jbeokseeb72m$.lp6dijjc0foj$.dlg@40tude.net>
In-Reply-To: <jbeokseeb72m$.lp6dijjc0foj$.dlg@40tude.net>
Message-ID: <4ff829d9$0$9510$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 07 Jul 2012 14:21:45 CEST
NNTP-Posting-Host: 96b9d6ab.newsspool1.arcor-online.net
X-Trace: 
 DXC=5\JeniZmaUO2:OR3:3gaE@ic==]BZ:afN4Fo<]lROoRAnkgeX?EC@@@2XbN1HO]fNMPCY\c7>ejVHfT71]<6`cNKRYQEFEnGP9O
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-07-07T14:21:45+02:00
List-Id: <comp.lang.ada>

On 07.07.12 13:31, Dmitry A. Kazakov wrote:

>>> There are two kind entities involved A and
>>> B. The check may be attributed to either A or B.
>>
>> There is no need for such attribution.
>
> Still, it is either A or B.

You did notice that monitoring behavior is outside the behavior
that the program given  will contribute?

> The program is not a list of instructions. The latter is called "code" of
> the program.

The list of instruction is the program that the compiler produces from
an Ada program. The program given, the list of instructions, is one in
the set of the only programs that can have any effect.

> But the error is *very* telling.

It's again the dogma versus dogma thing. Still takes time
to nail down ...