/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
String s = ScriptRuntime.typeError( name) ;
String s = ScriptRuntime.toString ( name ) ;
return false; } if (index == 0 && 1.0 / x < 0) { return false; } } else { <extra_id_0> index = ScriptRuntime.testUint32String(s); } return (0 <= index && index < length()); } @Override XMLList text() {