comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison<dennison@telepath.com>
Subject: Re: list strawman
Date: Mon, 07 Jan 2002 22:51:31 GMT
Date: 2002-01-07T22:51:31+00:00	[thread overview]
Message-ID: <TDp_7.7787$cD4.14471@www.newsranger.com> (raw)
In-Reply-To: upu4l3jg9.fsf@gsfc.nasa.gov

In article <upu4l3jg9.fsf@gsfc.nasa.gov>, Stephen Leake says...
>
>Ted Dennison<dennison@telepath.com> writes:
>
>> If you could move the tagged-ness to the private section, I'd prefer

>I agree, but I needed the 'Class in functions returning Iterator to
>avoid dispatching on two types. If I use 'Class in the public part,
>the type has to be _publicly_ tagged.
>
>An alternate solution is to wrap the Controlled iterator type in a
>record, so that the public Iterator type is not itself tagged.

That's precisely what I did. The iterator is not tagged, but is a record with
one field whose type is derived from Controlled. 

>You're right; I'm not doing this right. I think it is easy to fix; in
>Finalize (List), loop thru the Iterator_list, and call
>Invalidate_Iterator. Apparently I meant to do that, because I declared
>the subprogram Invalidate_Iterator, but I never call it :).

Right. That's the way it looked to me too.

>Yes, that is a good design policy. But currently, in Initialize
>(Iterator), I add the iterator to the List's Iterator_List. So that
>doesn't get done in some cases. I need to change this.

Ahhh, so I see. Which list are you talking about though? The user has never
specified a list at this point, and Object.IA.List (which you dereference) is
probably going to be null (not to mention Object.IA itself).

>> I actually have been checking for leaks too, with some code internal
>> to the package. I essentially increment an alloction counter at
>
>Yes, but my Test_Storage_Pools does the same thing, without modifying
>the source; it's a generic parameter (the storage_pool). That makes it
>easier to take out in a release. And you don't have to worry about
>forgetting a "new".

I may look into that, if its something that can easily be fit into a dumb test
case. The way I have it in there now is good to prove that there are no leaks to
someone who is interested, but its a bit of a hack and clutters up the code
quite a bit.

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html

No trees were killed in the sending of this message. 
However a large number of electrons were terribly inconvenienced.



  reply	other threads:[~2002-01-07 22:51 UTC|newest]

Thread overview: 63+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-01-06 20:55 list strawman Stephen Leake
2002-01-07 15:56 ` Ted Dennison
2002-01-07 15:57   ` Ted Dennison
2002-01-07 16:33   ` Stephen Leake
2002-01-07 16:37     ` Stephen Leake
2002-01-07 19:31       ` Ted Dennison
2002-01-07 19:26     ` Ted Dennison
2002-01-07 22:05       ` Stephen Leake
2002-01-07 22:51         ` Ted Dennison [this message]
2002-01-08  0:48           ` Steven Deller
2002-01-08 15:32             ` Ted Dennison
2002-01-08 15:43               ` Jean-Marc Bourguet
2002-01-08 17:07                 ` Ted Dennison
2002-01-08 17:21                   ` Jean-Marc Bourguet
2002-01-08 19:12                     ` Ted Dennison
2002-01-09  8:09                       ` Jean-Marc Bourguet
2002-01-09 18:37                         ` Ted Dennison
2002-01-11  9:37                           ` Jean-Marc Bourguet
2002-01-11 17:03                             ` Ted Dennison
2002-01-11 17:47                               ` Jeffrey Carter
2002-01-12 15:10                               ` Jean-Marc Bourguet
2002-01-13 10:18                                 ` Jean-Marc Bourguet
2002-01-14 16:02                                 ` Ted Dennison
2002-01-14 16:22                                   ` Jean-Marc Bourguet
2002-01-08 19:57                     ` Steven Deller
2002-01-08 19:54                 ` Steven Deller
2002-01-08 19:54               ` Steven Deller
2002-01-08 20:46                 ` Ted Dennison
2002-01-08 21:21                   ` Stephen Leake
2002-01-08 21:49                     ` Ted Dennison
2002-01-09  9:21                       ` Thomas Wolf
2002-01-09 15:20                         ` Ted Dennison
2002-01-09 15:53                           ` Stephen Leake
2002-01-09 21:21                             ` Ted Dennison
2002-01-09 17:42                         ` Mark Lundquist
2002-01-09 21:02                           ` Jeffrey Carter
2002-01-10  8:47                             ` Thomas Wolf
2002-01-11 17:38                               ` Jeffrey Carter
2002-01-11 21:52                                 ` Chad Robert Meiners
2002-01-12  5:45                                   ` Jeffrey Carter
2002-01-12 22:20                                     ` Chad R. Meiners
2002-01-13 17:03                                       ` Jeffrey Carter
2002-01-13 23:47                                         ` Chad R. Meiners
2002-01-14  1:32                                           ` Ted Dennison
2002-01-14  5:12                                           ` Jeffrey Carter
2002-01-14  5:12                                           ` Jeffrey Carter
2002-01-10 14:39                           ` Ted Dennison
2002-01-11  5:34                             ` Mark Biggar
2002-01-12 12:20                               ` Simon Wright
2002-01-14 14:53                                 ` Matthew Heaney
2002-01-16  5:56                                   ` Simon Wright
2002-01-18  9:15                           ` Overridability of _private_ predefined "=" [was Re: list strawman] Vincent Marciante
2002-01-19 16:58                             ` Vincent Marciante
2002-01-19 22:42                               ` Nick Roberts
2002-01-09  3:10                     ` list strawman Ted Dennison
2002-01-09 19:09                       ` Ted Dennison
2002-01-08 21:26               ` Georg Bauhaus
2002-01-08 22:13                 ` Ted Dennison
2002-01-09 20:52               ` Jeffrey Carter
2002-02-17 15:04 ` Florian Weimer
2002-02-17 15:05 ` Florian Weimer
2002-02-18  1:43   ` Stephen Leake
2002-02-18  8:57     ` Florian Weimer
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox