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,e8c8d1c63ffacf0d
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Constraint checking of actuals passed to Attributes
Date: 2000/05/09
Message-ID: <8f9a87$97r$1@nnrp1.deja.com>#1/1
X-Deja-AN: 621135957
References: <391250A8.99D1585C@hotmail.com> <39171B69.2F983487@averstar.com>
 <8f93lm$1es$1@nnrp1.deja.com> <8f99gf$8eo$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x21.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue May 09 15:18:51 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-05-09T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <8f99gf$8eo$1@nnrp1.deja.com>,
  Ted Dennison <dennison@telepath.com> wrote:

> It does seem that this constrains the possible effects to just
> the object in question.

If you say so, I guess people can read all sorts of things into
a vague requirement that is not well stated. I certainly don't
see the slightest hint to justify this viewpoint. It only talks
about other values becoming abnormal, not about being affected
in other ways, e.g. having values outside their subtype.


Sent via Deja.com http://www.deja.com/
Before you buy.