root
/
spring-framework
mirror of https://github.com/spring-projects/spring-framework.git
1
0
Fork 0
Code Issues Actions 6 Packages Projects Releases Wiki Activity

Optimize AntPathMatcher when checking for potential matches 

Issue: SPR-15477
(cherry picked from commit baa7b1c)
This commit is contained in:
Juergen Hoeller 2017-04-27 21:31:50 +02:00
parent dab56dbb05
commit 84d2e5a3c8
1 changed files with 10 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
spring-core/src/main/java/org/springframework/util/AntPathMatcher.java
View File

@ -1,5 +1,5 @@
/*
* Copyright 2002-2016 the original author or authors.
* Copyright 2002-2017 the original author or authors.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@ -220,8 +220,7 @@ public class AntPathMatcher implements PathMatcher {
if (pathIdxStart > pathIdxEnd) {
// Path is exhausted, only match if rest of pattern is * or **'s
if (pattIdxStart > pattIdxEnd) {
return (pattern.endsWith(this.pathSeparator) ? path.endsWith(this.pathSeparator) :
!path.endsWith(this.pathSeparator));
return (pattern.endsWith(this.pathSeparator) == path.endsWith(this.pathSeparator));
}
if (!fullMatch) {
return true;
@ -318,17 +317,13 @@ public class AntPathMatcher implements PathMatcher {
private boolean isPotentialMatch(String path, String[] pattDirs) {
if (!this.trimTokens) {
char[] pathChars = path.toCharArray();
int pos = 0;
for (String pattDir : pattDirs) {
int skipped = skipSeparator(path, pos, this.pathSeparator);
pos += skipped;
skipped = skipSegment(pathChars, pos, pattDir);
skipped = skipSegment(path, pos, pattDir);
if (skipped < pattDir.length()) {
if (skipped > 0) {
return true;
}
return (pattDir.length() > 0) && isWildcardChar(pattDir.charAt(0));
return (skipped > 0 || (pattDir.length() > 0 && isWildcardChar(pattDir.charAt(0))));
}
pos += skipped;
}
@ -336,16 +331,18 @@ public class AntPathMatcher implements PathMatcher {
return true;
}
private int skipSegment(char[] chars, int pos, String prefix) {
private int skipSegment(String path, int pos, String prefix) {
int skipped = 0;
for (char c : prefix.toCharArray()) {
for (int i = 0; i < prefix.length(); i++) {
char c = prefix.charAt(i);
if (isWildcardChar(c)) {
return skipped;
}
else if (pos + skipped >= chars.length) {
int currPos = pos + skipped;
if (currPos >= path.length()) {
return 0;
}
else if (chars[pos + skipped] == c) {
if (c == path.charAt(currPos)) {
skipped++;
}
}