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,8eff44ec1bcf8433 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-23 19:26:17 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread2.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3BD626BF.4CAEAF69@acm.org> From: Jeffrey Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Container reqs References: <9qctpn$lil$1@news.huji.ac.il> <3nCy7.29644$ev2.35903@www.newsranger.com> <9qfgla$7sb$3@news.huji.ac.il> <9qnflg$pm$1@news.huji.ac.il> <3BCF57C8.DE99D9C@boeing.com> <3BD0E523.E23FB134@acm.org> <3BD4D157.C96BBAAD@acm.org> <%geB7.39480$ev2.46195@www.newsranger.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 24 Oct 2001 02:26:16 GMT NNTP-Posting-Host: 206.133.140.194 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.prod.itd.earthlink.net 1003890376 206.133.140.194 (Tue, 23 Oct 2001 19:26:16 PDT) NNTP-Posting-Date: Tue, 23 Oct 2001 19:26:16 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net X-Received-Date: Tue, 23 Oct 2001 19:22:27 PDT (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:15109 Date: 2001-10-24T02:26:16+00:00 List-Id: Ted Dennison wrote: > > In article <3BD4D157.C96BBAAD@acm.org>, Jeffrey Carter says... > > > >So it would seem. I think SAL doesn't provide simple instantiation for > >any Ada type. > > I'm curious about this "requirement"; Does it hold for limited types too? If so, > you are limiting the implementations in certian ways. > > As a checkpoint, the STL relies on making copies of objects, so it doesn't work > with C++'s equivalent of limited types. This isn't really too much of a > hardship, as you can use it with pointers to such types. > > It probably wouldn't prove too much of a hardship in Ada to limit the component > library to non-limited definite types. I'm not sure what "requirement" you're talking about. Most of the data structures in the PragmAda Reusable Components can handle any type the client can define an Assign procedure for. That includes many useful limited types, such as most of the data structures. -- Jeff Carter "We burst our pimples at you." Monty Python & the Holy Grail