[jdom-interest] Iterator.remove() is calling a non-overloadedmethod
to remove children from an element.
jhunter at collab.net
Wed Sep 27 14:07:48 PDT 2000
> It might be a little harder to fix than it looks, most
> likely PartialList will have to provide its own Iterator
> (or perhaps someone can write a ListView-type class that does
. not replicate storage and is not so gory).
Yep. It's not a trivial fix (thus it's in the TODO.txt file and not
already done in the code) but it's a pretty straightforward fix. I
suspect you could wrap a PartialListIterator around the ListItr normally
returned, and have it remove the elt from the backing list and then let
ListItr do its normal thing.
More information about the jdom-interest