Searched defs:starredCounter (Results 1 – 1 of 1) sorted by relevance
880 Counter<String> starredCounter = new Counter<>(); in showCoverage() local1310 public static void gatherStarred(String path, Counter<String> starredCounter) { in gatherStarred()