/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlNode.java
rv.add( getUserData( target) ) ;
rv.add ( createImpl ( node ) ) ;
XmlNode[] getMatchingChildren(Filter filter) { ArrayList<XmlNode> rv = new ArrayList<XmlNode>(); NodeList nodes = this.dom.getChildNodes(); for (int i = 0; i < nodes.getLength(); i++) { Node node = nodes.item(i); if (filter.accept(node)) { <extra_id_0> } } return rv.toArray(new XmlNode[rv.size()]); } XmlNode[] getAttributes() { NamedNodeMap attrs = this.dom.getAttributes();