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,48fa8e3cfaec41af X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-07-23 08:15:49 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newspeer1-gui.server.ntli.net!ntli.net!news11-gui.server.ntli.net.POSTED!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: Subject: Re: worth the hassle? X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Message-ID: Date: Tue, 23 Jul 2002 16:15:12 +0100 NNTP-Posting-Host: 80.5.140.234 X-Complaints-To: abuse@ntlworld.com X-Trace: news11-gui.server.ntli.net 1027437348 80.5.140.234 (Tue, 23 Jul 2002 16:15:48 BST) NNTP-Posting-Date: Tue, 23 Jul 2002 16:15:48 BST Organization: ntl Cablemodem News Service Xref: archiver1.google.com comp.lang.ada:27335 Date: 2002-07-23T16:15:12+01:00 List-Id: "Stephen Leake" wrote in message news:ulm8232w7.fsf@gsfc.nasa.gov... > If Ada seems to be in your way when you want to do something, it's for > a good reason! > > > What is a good way of getting the pointer to the list? 'access > > doesn't work since list is constant, and I don't want to make the > > parameter an access type since it's not convienant to declare lists > > as aliased all the time. > > You can take the approach I did in SAL; don't store a pointer to > the list in the iterators. That makes the iterators "unsafe", but more > efficient. They must be safe, so that approach isn't appropriate > Or, you can take the approach that Grace.Lists does, and add a layer > of indirection in the List_Type; then you _can_ get an access value to > the list from an "in" parameter. Do you mean something like type a_list_type is ... type list_type is record list : a_list_access; end record; or type list_type is private; ... private type a_list_type is ... type list_type is access a_list_type; ? Where is the grace site?