Searched refs:allPrefixes (Results 1 – 1 of 1) sorted by relevance
446 Enumeration allPrefixes = getPrefixes(); in getPrefixes() local447 while (allPrefixes.hasMoreElements()) { in getPrefixes()448 String prefix = (String) allPrefixes.nextElement(); in getPrefixes()