Searched refs:prettySet (Results 1 – 1 of 1) sorted by relevance
127 Set<PathHeader> prettySet = new TreeSet<PathHeader>(); in main() local199 prettySet.clear(); in main()224 prettySet.add(prettyString); in main()268 for (PathHeader prettyPath : prettySet) { in main()