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