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