[jdom-interest] Patch: Element.getChildren(Namespace)

[Hugh Emberson]

Hi Guys,

The following patch adds the method getChildren(Namespace) to element.  This
came about because I found myself writing quite a few loops like this:

         Iterator itr = currentElement.getChildren().iterator();
         while (itr.hasNext()) {
           Element elem = (Element)itr.next();
           if(elem.getNamespaceURI() != NS)
              continue;
         }

I think it is also quite symmetrical with the other getChildren() methods.

The patch is against a relatively recent CVS export.

Cheers,

        Hugh
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Element.diff
Type: text/x-patch
Size: 2042 bytes
Desc: not available
Url : http://jdom.org/pipermail/jdom-interest/attachments/20010220/30d0f66f/Element.bin