[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.


More information about the jdom-interest mailing list