File Doc Category Size Date Package
DomFilter.java API Doc Example 2261 Fri Feb 01 13:03:22 GMT 2002 None

DomListener

public interface DomListener

Fields Summary
Constructors Summary
Methods Summary
public java.lang.String getLocalName()
public java.lang.String getURI()
public void processTree(org.w3c.dom.Element tree)