[jdom-interest] Suggestion for new methods for the Element class

[Patrick Dowler]

On Mon, 30 Oct 2000, you wrote:
> > public int getChildCount();
> 
> We already have elt.getChildren().size()

It must be said, though, that creating anew PartialList just to
get the size (an int) is a bit heavy... not that I'm advocating 
any sort of premature optimisation :-)

-- 

Patrick Dowler
Canadian Astronomy Data Centre