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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fdc75443ea18fb32
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-29 14:53:03 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!upp1.onvoy!onvoy.com!news-out.visi.com!hermes.visi.com!uunet!ash.uu.net!xyzzy!nntp
From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: Standard Queue status
X-Nntp-Posting-Host: e246420.msc.az.boeing.com
Content-Type: text/plain; charset=us-ascii
Message-ID: <3C06B6B8.F739A3B0@boeing.com>
Sender: nntp@news.boeing.com (Boeing NNTP News Access)
Content-Transfer-Encoding: 7bit
Organization: The Boeing Company
X-Accept-Language: en
References: <yUBM7.7695$4d6.1768979@news11-gui.server.ntli.net>
 <BWq3g0s2usk2@eisner.encompasserve.org>
 <%QRM7.39743$xS6.65958@www.newsranger.com> <9u0qhb$pq5$1@nh.pace.co.uk>
 <u07tltbt28eq1d@corp.supernews.com> <9u0ujd$rhg$1@nh.pace.co.uk>
 <z9aN7.41127$xS6.69040@www.newsranger.com> <ubshlheoj.fsf@gsfc.nasa.gov>
Mime-Version: 1.0
Date: Thu, 29 Nov 2001 22:29:12 GMT
X-Mailer: Mozilla 4.73 [en]C-CCK-MCD Boeing Kit  (WinNT; U)
Xref: archiver1.google.com comp.lang.ada:17196
Date: 2001-11-29T22:29:12+00:00
List-Id: <comp.lang.ada>

Stephen Leake wrote:
> 
> Here are some criteria I remember from this discussion:

I thought we had reached a sort of rough consensus on these kinds of
things. I'll try to express that consensus.

> 
> user must be able to get a list package with a single
> instantiation.

Consensus: Yes.
Me: Yes.

> 
> lists must be safe (ie no dangling pointers, etc) against _any_ list
> or iterator operation

Consensus: Undecided.
Me: 99% safe is good enough.

> 
> lists must be efficient enough for hard real-time use

Consensus: No.
Me: No.

> 
> lists must be safe in a multitasking environment

Consensus: No.
Me: Basic list should be unprotected, and a protected version built on
top of it should also be provided (this comes under the heading of
"common enough" to supply, even though the client can do it himself).

> 
> lists must not be a tagged type

Consensus: No. Must be controlled.
Me: Should not be visibly tagged, but must be controlled.

> 
> lists must be safe for assignment (always do deep copy, or don't allow
> assignment).

Consensus: Yes.
Me: Should be limited.

> 
> list elements must not be [limited] private

Consensus: Yes.
Me: No.

> 
> lists must support elements of any Ada type (private, limited, tagged,
> indefinite)

Consensus: No.
Me: Needn't support indefinite types.

-- 
Jeffrey Carter