Searched refs:pathFilterString (Results 1 – 1 of 1) sorted by relevance
271 String pathFilterString = options[PATH_FILTER].value; in main() local273 if (!pathFilterString.equals(".*")) { in main()274 pathFilter = PatternCache.get(pathFilterString).matcher(""); in main()