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: a07f3367d7,23c0de5a42cf667e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!aotearoa.belnet.be!news.belnet.be!feeds.phibee-telecom.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!news.weisnix.org!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT packages in Linux distributions
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: <j5e1x31qvn1b$.11ywrjmshtauz$.dlg@40tude.net>
 <87mxw9x7no.fsf@ludovic-brenta.org>
 <t8liq7w6ffnm$.19yq5hkq6tdto$.dlg@40tude.net> <op.vcgi9oqzule2fv@garhos>
 <w1q9e75h9kzi.4p81vh3kannn$.dlg@40tude.net> <op.vch6dsqmxmjfy8@garhos>
 <16bz9kvbqa8y9$.155ntpwpwl29d.dlg@40tude.net>
 <4be97bea$0$2966$ba4acef3@reader.news.orange.fr> <op.vcjtnsp5xmjfy8@garhos>
 <quqkqeas8pu2$.1w5pelct29juv.dlg@40tude.net>
 <Pine.LNX.4.64.1005121017020.21749@medsec1.medien.uni-weimar.de>
 <1p87qdlnjbufg.127laayhrw9x3$.dlg@40tude.net> <op.vclocqp9ule2fv@garhos>
 <4j73xhgimt6r$.pu55kne2p2w5$.dlg@40tude.net>
 <4beaeeed$0$6888$9b4e6d93@newsspool2.arcor-online.net>
 <wccocgij9wl.fsf@shell01.TheWorld.com>
Date: Sat, 15 May 2010 11:40:53 +0200
Message-ID: <1psyfj84moq7f$.18qrfmyi0s0ng$.dlg@40tude.net>
NNTP-Posting-Date: 15 May 2010 11:40:53 CEST
NNTP-Posting-Host: 1915e774.newsspool4.arcor-online.net
X-Trace: 
 DXC=:gPQ>P>9V]@WDmlTRbh@=I4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOK:USWjSLAc9C[6LHn;2LCVN[<mhadbfdUKa7JIAeETAnNM?3c:m[ICbN
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:11630
Date: 2010-05-15T11:40:53+02:00
List-Id: <comp.lang.ada>

On Fri, 14 May 2010 20:17:30 -0400, Robert A Duff wrote:

> By the way, I don't think "static" is a property of assertions.
> It's a property of how they're checked.  If we have
> a precondition that "X > Y" (where X and Y are formal parameters),
> that's neither "static" nor "dynamic" in and of itself.

It becomes static or dynamic when you define of which language the formula
"X > Y" is. If it is of the "language of Ada bodies," e.g. compiled into a
run-time code, then it is dynamic. If it is of the "language of Ada
specifications" (compiled into compiler messages), then it is static. Ada,
at least in its earlier years, tried to segregate these.

> One tool (e.g. an Ada compiler) might check it dynamically.

That would be true C...

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