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