Use custom path separator for pattern comparisons

As pointed out in gh-33085, the `AntPatternComparator` hardcodes the "/"
separator when checking for "catch all" patterns like "/**".
This commit ensures that the custom path separator is used for those
checks, in order to guarantee consistent comparator results.

See gh-33085

Author: bclozel

Diff for: spring-core/src/main/java/org/springframework/util/AntPathMatcher.java

@@ -635,7 +635,7 @@ else if (path1EndsWithSeparator || path2StartsWithSeparator) {
 	 */
 	@Override
 	public Comparator<String> getPatternComparator(String path) {
-		return new AntPatternComparator(path);
+		return new AntPatternComparator(path, this.pathSeparator);
 	}
 
 
@@ -770,8 +770,15 @@ protected static class AntPatternComparator implements Comparator<String> {
 
 		private final String path;
 
+		private final String pathSeparator;
+
 		public AntPatternComparator(String path) {
+			this(path, DEFAULT_PATH_SEPARATOR);
+		}
+
+		public AntPatternComparator(String path, String pathSeparator) {
 			this.path = path;
+			this.pathSeparator = pathSeparator;
 		}
 
 		/**
@@ -782,8 +789,8 @@ public AntPatternComparator(String path) {
 		 */
 		@Override
 		public int compare(String pattern1, String pattern2) {
-			PatternInfo info1 = new PatternInfo(pattern1);
-			PatternInfo info2 = new PatternInfo(pattern2);
+			PatternInfo info1 = new PatternInfo(pattern1, this.pathSeparator);
+			PatternInfo info2 = new PatternInfo(pattern2, this.pathSeparator);
 
 			if (info1.isLeastSpecific() && info2.isLeastSpecific()) {
 				return 0;
@@ -865,12 +872,12 @@ private static class PatternInfo {
 			@Nullable
 			private Integer length;
 
-			public PatternInfo(@Nullable String pattern) {
+			PatternInfo(@Nullable String pattern, String pathSeparator) {
 				this.pattern = pattern;
 				if (this.pattern != null) {
 					initCounters();
-					this.catchAllPattern = this.pattern.equals("/**");
-					this.prefixPattern = !this.catchAllPattern && this.pattern.endsWith("/**");
+					this.catchAllPattern = this.pattern.equals(pathSeparator + "**");
+					this.prefixPattern = !this.catchAllPattern && this.pattern.endsWith(pathSeparator + "**");
 				}
 				if (this.uriVars == 0) {
 					this.length = (this.pattern != null ? this.pattern.length() : 0);

Diff for: spring-core/src/test/java/org/springframework/util/AntPathMatcherTests.java

@@ -524,6 +524,16 @@ void patternComparator() {
 		assertThat(comparator.compare("*/**", "*")).isEqualTo(1);
 	}
 
+	@Test
+	void patternComparatorWithDotSeparator() {
+		Comparator<String> comparator = dotSeparatedPathMatcher.getPatternComparator("price.stock.spring");
+
+		assertThat(comparator.compare(null, null)).isEqualTo(0);
+		assertThat(comparator.compare("price.stock.ticker/symbol", "price.stock.ticker/symbol")).isEqualTo(0);
+		assertThat(comparator.compare("price.stock.**", "price.stock.ticker")).isEqualTo(1);
+	}
+
+
 	@Test
 	void patternComparatorSort() {
 		Comparator<String> comparator = pathMatcher.getPatternComparator("/hotels/new");