/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlNode.java
if ( map.get( n.prefix) == null) {
if ( uriToPrefix.get ( n.uri ) == null ) {
private Map<String, String> uriToPrefix = new HashMap<String, String>(); Namespaces() {} void declare(Namespace n) { if (map.get(n.prefix) == null) { map.put(n.prefix, n.uri); } <extra_id_0> uriToPrefix.put(n.uri, n.prefix); } } Namespace getNamespaceByUri(String uri) { if (uriToPrefix.get(uri) == null) return null; return Namespace.create(uri, uriToPrefix.get(uri));