Searched defs:newPrefix (Results 1 – 6 of 6) sorted by relevance
35 private final String newPrefix; field in ModifyQualifiedNames37 public ModifyQualifiedNames(String oldPrefix, String newPrefix) { in ModifyQualifiedNames()
139 String newPrefix = null; in buildFilter() local
43 String newPrefix = fullyQualify(makeUnique(actualName)); in withSubScope() local
182 String newPrefix = s.substring(0, s.indexOf('-')); in showCodes() local
489 … String newPrefix = zone_country.get(zone); // english.getName("tzid", zone_country.get(zone), in writeZonePrettyPath() local
9154 TString newPrefix; in pushNamespace() local