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: Ted Dennison <dennison@telepath.com>
Subject: Re: Constraint checking of actuals passed to Attributes
Date: 2000/05/12
Message-ID: <8fhtbt$sb4$1@nnrp1.deja.com>#1/1
X-Deja-AN: 622710709
References: <391250A8.99D1585C@hotmail.com> <39171B69.2F983487@averstar.com>
 <8f93lm$1es$1@nnrp1.deja.com> <wcc4s8721fj.fsf@world.std.com>
 <8f9snr$vbr$1@nnrp1.deja.com> <wccitwnmi4r.fsf@world.std.com>
 <yecitwn9kmr.fsf@king.cts.com> <391C543F.83B2A408@averstar.com>
 <8fhnnj$ltd$1@nnrp1.deja.com> <wccsnvnsdpv.fsf@world.std.com>
X-Http-Proxy: 1.0 x34.deja.com:80 (Squid/1.1.22) for client 204.48.27.130
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri May 12 21:33:50 2000 GMT
X-MyDeja-Info: XMYDJUIDtedennison
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.7 [en] (WinNT; I)
Date: 2000-05-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <wccsnvnsdpv.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> Ted Dennison <dennison@telepath.com> writes:
>
> > But I still don't understand the logic behind making misuse of an
> > overlay an "invalid" case rather than an "abonormal" (and thus

> Certainly you can cause abnormal objects, and erroneousness, by
certain
> misuses of address clauses and unchecked conversions of access values,
> both of which can be used to make overlays.

Can you? The relevant section in 13.9.1 only mentions aborted
assignements and parameters passed to imported procedures. But then
paragraph 14 does say that objects can become abnormal in other ways
too. Perhaps my problem is that I'm missing where "abmormal" is truly
defined.

--
T.E.D.

http://www.telepath.com/~dennison/Ted/TED.html


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