Searched refs:prettyPath_path_map (Results 1 – 1 of 1) sorted by relevance
81 …rivate void addBackmap(String prettyString, String path, Map<String, String> prettyPath_path_map) { in addBackmap() argument82 String old = (String) prettyPath_path_map.get(prettyString); in addBackmap()88 prettyPath_path_map.put(prettyString, path); // bijection in addBackmap()