Searched refs:pretty_sort (Results 1 – 1 of 1) sorted by relevance
312 String pretty_sort = prettyPathMaker.getPrettyPath(cleanedPath); in main() local313 String[] prettyPartsSort = pretty_sort.split("[|]"); in main()315 … System.out.println("Bad pretty path: " + pretty_sort + ", original: " + cleanedPath); in main()321 String pretty = prettyPathMaker.getOutputForm(pretty_sort); in main()