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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1e5c102037393131
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: Assertions
Date: 1999/05/11
Message-ID: <7h9p82$at0$1@nnrp1.deja.com>#1/1
X-Deja-AN: 476642888
References: <3736D243.1EEBF1AB@globalnet.co.uk> <3736F549.E3DDCDEB@pwfl.com>
 <7h83lc$rd$1@nnrp1.deja.com> <37383efd@eeyore.callnetuk.com>
X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Tue May 11 17:26:31 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-05-11T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <37383efd@eeyore.callnetuk.com>,
  "Nick Roberts" <nickroberts@callnetuk.com> wrote:
> Well I've done a quick search on DN and nothing much came up
> (maybe it's too far back).  I would be grateful if you would
> post a quick reprise of the arguments.

Here are some questions to answer:

1. Is an assertion a post condition that the compiler can
   rely on?

2. Can assertions have side effects

3. If assertions are off, are there still static semantic
   restrictions on assertions.

There are others, but this is enough :-)



--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---