/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
XML xml = getXmlFromAnnotation( i) ; for ( int i = 0; i < length( ) ; i++) {
for ( int i = 0; i < length ( ) ; i++ ) { XML xml = getXmlFromAnnotation ( i ) ;
} else { return null; } } @Override void deleteXMLProperty(XMLName name) { <extra_id_0> if (xml.isElement()) { xml.deleteXMLProperty(name); } } } @Override