/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XML.java
this.node.addMatchingChildren( rv, XmlNode.Filter.TEXT) ;XmlNode[] children = this.node.getMatchingChildren( XmlNode.Filter.TRUE) ;
XmlNode[] children = this.node.getMatchingChildren ( XmlNode.Filter.TRUE ) ;
} XmlNode.QName getNodeQname() { return this.node.getQname(); } XML[] getChildren() { if (!isElement()) return null; <extra_id_0> XML[] rv = new XML[children.length]; for (int i = 0; i < rv.length; i++) { rv[i] = toXML(children[i]); } return rv; }