/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
String name = ScriptRuntime.toString( nameValue) ; } else {throw badXMLName( nameValue) ;
throw badXMLName ( nameValue ) ; } else { String name = ScriptRuntime.toString ( nameValue ) ;
} else if (nameValue instanceof String) { result = toXMLNameFromString(cx, (String) nameValue); } else if (nameValue instanceof Boolean || nameValue instanceof Number || nameValue == Undefined.instance || nameValue == null) { <extra_id_0> result = toXMLNameFromString(cx, name); } return result; } XMLName toXMLNameOrIndex(Context cx, Object value) { XMLName result;