Searched refs:setSubstitutionPattern (Results 1 – 14 of 14) sorted by relevance
140 private final PathStarrer pathStarrer = new PathStarrer().setSubstitutionPattern("*");
89 public PathStarrer setSubstitutionPattern(String substitutionPattern) { in setSubstitutionPattern() method in PathStarrer
141 PathStarrer ps = new PathStarrer().setSubstitutionPattern("%A"); in main()
43 private static PathStarrer pathStarrer = new PathStarrer().setSubstitutionPattern("*");
37 PathStarrer pathStarrer = new PathStarrer().setSubstitutionPattern("*"); in testValues()
62 pathStarrer = USE_STARRED_PATHS ? new PathStarrer().setSubstitutionPattern("*") : null; in TestExampleGeneratorDependencies()
94 PathStarrer pathStarrer = new PathStarrer().setSubstitutionPattern("*"); in oldTestInvariantPaths()
980 pathStarrer.setSubstitutionPattern("%A"); in TestZ()1253 PathStarrer starrer = new PathStarrer().setSubstitutionPattern("%A");
56 starrer.setSubstitutionPattern(placeholder); in main()
49 PathStarrer starrer = new PathStarrer().setSubstitutionPattern("*"); in main()
82 static final PathStarrer pathStarrer = new PathStarrer().setSubstitutionPattern("*");
291 final PathStarrer PATH_STARRER = new PathStarrer().setSubstitutionPattern("*");
1311 starredCounter.add(new PathStarrer().setSubstitutionPattern("*").set(path), 1); in gatherStarred()
515 PathStarrer starrer = new PathStarrer().setSubstitutionPattern("%A");