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