Searched refs:uriIndex (Results 1 – 1 of 1) sorted by relevance
1396 int uriIndex = -1; in getPrefix() local1403 uriIndex = m_prefixMappings.indexOf(uri, ++uriIndex); in getPrefix()1404 } while ( (uriIndex & 0x01) == 0); in getPrefix()1406 if (uriIndex >= 0) in getPrefix()1408 prefix = (String) m_prefixMappings.elementAt(uriIndex - 1); in getPrefix()