Searched defs:prettyString (Results 1 – 2 of 2) sorted by relevance
55 String prettyString = (String) path_prettyPath_sortable.get(path); in getPrettyPath() local81 …private void addBackmap(String prettyString, String path, Map<String, String> prettyPath_path_map)… in addBackmap() argument
222 PathHeader prettyString = prettyPathMaker.fromPath(path); in main() local