[jdom-interest] Additional functionality for class org.jdom.filter.ElementFilter?

Bradley S. Huffman hip at a.cs.okstate.edu
Mon Jul 4 11:40:23 PDT 2005


Michael Kordt writes:

> So if these possibilities of retrieving filtering criteria really do not exis
> t 
> in the current JDOM release, I'd like to suggest adding them in the next rele
> ase 
> (probably JDOM 1.1?) - this would be a small but convenient enhancement to an
>  
> already very comfortable and easy-to-use API for processing XML documents.

So your suggesting getName(), setName(), getNamespace(), setNamespace(). Hmmm
ContentFilter has getters and setters, it seems reasonable that other filters
should too.

Brad


More information about the jdom-interest mailing list