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