Searched refs:BADNAME_REPLACEMENT (Results 1 – 1 of 1) sorted by relevance
215 return name.replace(".", BADNAME_REPLACEMENT); in escapeIdentifier()224 return name.replace(BADNAME_REPLACEMENT, "."); in unescapeIdentifier()291 public static String BADNAME_REPLACEMENT = "__DOT__"; field in Utils