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