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-30 04:42:27 PST
Sender: sjw@galadriel.frlngtn.gecm.com
Newsgroups: comp.lang.ada
Subject: Re: Standard Queue status
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>
From: Simon Wright <simon.j.wright@amsjv.com>
Date: 30 Nov 2001 12:40:50 +0000
Message-ID: <x7vadx4bfe5.fsf@galadriel.frlngtn.gecm.com>
Organization: Alenia Marconi Systems, ISD, Farlington
X-Newsreader: Gnus v5.5/Emacs 20.3
NNTP-Posting-Host: galadriel.frlngtn.gecm.com
X-Trace: 30 Nov 2001 12:29:19 GMT, galadriel.frlngtn.gecm.com
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.mathworks.com!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!galadriel.frlngtn.gecm.com
Xref: archiver1.google.com comp.lang.ada:17210
Date: 2001-11-30T12:40:50+00:00
List-Id: <comp.lang.ada>

Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:

> Here are some criteria I remember from this discussion:
> 
> user must be able to get a list package with a single
> instantiation. 

don't care

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

I need to know what operations are safe and what operations aren't

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

yes

> lists must be safe in a multitasking environment

I'm prepared to supervise access myself, I think

> lists must not be a tagged type

don't care

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

yes

> list elements must not be private

?

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

I'm pretty sure I want this, how expensive is it going to be?



Should the list work under JGNAT? (or OA or .. other JVM-tageted
compiler). The BCs don't, because of nasty tricks to do with avoiding
aliasing and converting an "in" by-reference parameter to a variable.