mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 10:26:02 +00:00 
			
		
		
		
	 cf67ebfb31
			
		
	
	
		cf67ebfb31
		
			
		
	
	
	
	
		
			
			Add `glob.translate()` function that converts a pathname with shell wildcards to a regular expression. The regular expression is used by pathlib to implement `match()` and `glob()`. This function differs from `fnmatch.translate()` in that wildcards do not match path separators by default, and that a `*` pattern segment matches precisely one path segment. When *recursive* is set to true, `**` pattern segments match any number of path segments, and `**` cannot appear outside its own segment. In pathlib, this change speeds up directory walking (because `_make_child_relpath()` does less work), makes path objects smaller (they don't need a `_lines` slot), and removes the need for some gnarly code. Co-authored-by: Jason R. Coombs <jaraco@jaraco.com> Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
		
			
				
	
	
		
			192 lines
		
	
	
	
		
			6 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			192 lines
		
	
	
	
		
			6 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
| """Filename matching with shell patterns.
 | |
| 
 | |
| fnmatch(FILENAME, PATTERN) matches according to the local convention.
 | |
| fnmatchcase(FILENAME, PATTERN) always takes case in account.
 | |
| 
 | |
| The functions operate by translating the pattern into a regular
 | |
| expression.  They cache the compiled regular expressions for speed.
 | |
| 
 | |
| The function translate(PATTERN) returns a regular expression
 | |
| corresponding to PATTERN.  (It does not compile it.)
 | |
| """
 | |
| import os
 | |
| import posixpath
 | |
| import re
 | |
| import functools
 | |
| 
 | |
| __all__ = ["filter", "fnmatch", "fnmatchcase", "translate"]
 | |
| 
 | |
| def fnmatch(name, pat):
 | |
|     """Test whether FILENAME matches PATTERN.
 | |
| 
 | |
|     Patterns are Unix shell style:
 | |
| 
 | |
|     *       matches everything
 | |
|     ?       matches any single character
 | |
|     [seq]   matches any character in seq
 | |
|     [!seq]  matches any char not in seq
 | |
| 
 | |
|     An initial period in FILENAME is not special.
 | |
|     Both FILENAME and PATTERN are first case-normalized
 | |
|     if the operating system requires it.
 | |
|     If you don't want this, use fnmatchcase(FILENAME, PATTERN).
 | |
|     """
 | |
|     name = os.path.normcase(name)
 | |
|     pat = os.path.normcase(pat)
 | |
|     return fnmatchcase(name, pat)
 | |
| 
 | |
| @functools.lru_cache(maxsize=32768, typed=True)
 | |
| def _compile_pattern(pat):
 | |
|     if isinstance(pat, bytes):
 | |
|         pat_str = str(pat, 'ISO-8859-1')
 | |
|         res_str = translate(pat_str)
 | |
|         res = bytes(res_str, 'ISO-8859-1')
 | |
|     else:
 | |
|         res = translate(pat)
 | |
|     return re.compile(res).match
 | |
| 
 | |
| def filter(names, pat):
 | |
|     """Construct a list from those elements of the iterable NAMES that match PAT."""
 | |
|     result = []
 | |
|     pat = os.path.normcase(pat)
 | |
|     match = _compile_pattern(pat)
 | |
|     if os.path is posixpath:
 | |
|         # normcase on posix is NOP. Optimize it away from the loop.
 | |
|         for name in names:
 | |
|             if match(name):
 | |
|                 result.append(name)
 | |
|     else:
 | |
|         for name in names:
 | |
|             if match(os.path.normcase(name)):
 | |
|                 result.append(name)
 | |
|     return result
 | |
| 
 | |
| def fnmatchcase(name, pat):
 | |
|     """Test whether FILENAME matches PATTERN, including case.
 | |
| 
 | |
|     This is a version of fnmatch() which doesn't case-normalize
 | |
|     its arguments.
 | |
|     """
 | |
|     match = _compile_pattern(pat)
 | |
|     return match(name) is not None
 | |
| 
 | |
| 
 | |
| def translate(pat):
 | |
|     """Translate a shell PATTERN to a regular expression.
 | |
| 
 | |
|     There is no way to quote meta-characters.
 | |
|     """
 | |
| 
 | |
|     STAR = object()
 | |
|     parts = _translate(pat, STAR, '.')
 | |
|     return _join_translated_parts(parts, STAR)
 | |
| 
 | |
| 
 | |
| def _translate(pat, STAR, QUESTION_MARK):
 | |
|     res = []
 | |
|     add = res.append
 | |
|     i, n = 0, len(pat)
 | |
|     while i < n:
 | |
|         c = pat[i]
 | |
|         i = i+1
 | |
|         if c == '*':
 | |
|             # compress consecutive `*` into one
 | |
|             if (not res) or res[-1] is not STAR:
 | |
|                 add(STAR)
 | |
|         elif c == '?':
 | |
|             add(QUESTION_MARK)
 | |
|         elif c == '[':
 | |
|             j = i
 | |
|             if j < n and pat[j] == '!':
 | |
|                 j = j+1
 | |
|             if j < n and pat[j] == ']':
 | |
|                 j = j+1
 | |
|             while j < n and pat[j] != ']':
 | |
|                 j = j+1
 | |
|             if j >= n:
 | |
|                 add('\\[')
 | |
|             else:
 | |
|                 stuff = pat[i:j]
 | |
|                 if '-' not in stuff:
 | |
|                     stuff = stuff.replace('\\', r'\\')
 | |
|                 else:
 | |
|                     chunks = []
 | |
|                     k = i+2 if pat[i] == '!' else i+1
 | |
|                     while True:
 | |
|                         k = pat.find('-', k, j)
 | |
|                         if k < 0:
 | |
|                             break
 | |
|                         chunks.append(pat[i:k])
 | |
|                         i = k+1
 | |
|                         k = k+3
 | |
|                     chunk = pat[i:j]
 | |
|                     if chunk:
 | |
|                         chunks.append(chunk)
 | |
|                     else:
 | |
|                         chunks[-1] += '-'
 | |
|                     # Remove empty ranges -- invalid in RE.
 | |
|                     for k in range(len(chunks)-1, 0, -1):
 | |
|                         if chunks[k-1][-1] > chunks[k][0]:
 | |
|                             chunks[k-1] = chunks[k-1][:-1] + chunks[k][1:]
 | |
|                             del chunks[k]
 | |
|                     # Escape backslashes and hyphens for set difference (--).
 | |
|                     # Hyphens that create ranges shouldn't be escaped.
 | |
|                     stuff = '-'.join(s.replace('\\', r'\\').replace('-', r'\-')
 | |
|                                      for s in chunks)
 | |
|                 # Escape set operations (&&, ~~ and ||).
 | |
|                 stuff = re.sub(r'([&~|])', r'\\\1', stuff)
 | |
|                 i = j+1
 | |
|                 if not stuff:
 | |
|                     # Empty range: never match.
 | |
|                     add('(?!)')
 | |
|                 elif stuff == '!':
 | |
|                     # Negated empty range: match any character.
 | |
|                     add('.')
 | |
|                 else:
 | |
|                     if stuff[0] == '!':
 | |
|                         stuff = '^' + stuff[1:]
 | |
|                     elif stuff[0] in ('^', '['):
 | |
|                         stuff = '\\' + stuff
 | |
|                     add(f'[{stuff}]')
 | |
|         else:
 | |
|             add(re.escape(c))
 | |
|     assert i == n
 | |
|     return res
 | |
| 
 | |
| 
 | |
| def _join_translated_parts(inp, STAR):
 | |
|     # Deal with STARs.
 | |
|     res = []
 | |
|     add = res.append
 | |
|     i, n = 0, len(inp)
 | |
|     # Fixed pieces at the start?
 | |
|     while i < n and inp[i] is not STAR:
 | |
|         add(inp[i])
 | |
|         i += 1
 | |
|     # Now deal with STAR fixed STAR fixed ...
 | |
|     # For an interior `STAR fixed` pairing, we want to do a minimal
 | |
|     # .*? match followed by `fixed`, with no possibility of backtracking.
 | |
|     # Atomic groups ("(?>...)") allow us to spell that directly.
 | |
|     # Note: people rely on the undocumented ability to join multiple
 | |
|     # translate() results together via "|" to build large regexps matching
 | |
|     # "one of many" shell patterns.
 | |
|     while i < n:
 | |
|         assert inp[i] is STAR
 | |
|         i += 1
 | |
|         if i == n:
 | |
|             add(".*")
 | |
|             break
 | |
|         assert inp[i] is not STAR
 | |
|         fixed = []
 | |
|         while i < n and inp[i] is not STAR:
 | |
|             fixed.append(inp[i])
 | |
|             i += 1
 | |
|         fixed = "".join(fixed)
 | |
|         if i == n:
 | |
|             add(".*")
 | |
|             add(fixed)
 | |
|         else:
 | |
|             add(f"(?>.*?{fixed})")
 | |
|     assert i == n
 | |
|     res = "".join(res)
 | |
|     return fr'(?s:{res})\Z'
 |