~bzr-pqm/bzr/bzr.dev

3398.1.1 by Ian Clatworthy
simplify the custom Globster to only care about ordering
1
# Copyright (C) 2006, 2008 Canonical Ltd
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
2
3
# This program is free software; you can redistribute it and/or modify
4
# it under the terms of the GNU General Public License as published by
5
# the Free Software Foundation; either version 2 of the License, or
6
# (at your option) any later version.
7
#
8
# This program is distributed in the hope that it will be useful,
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
# GNU General Public License for more details.
12
#
13
# You should have received a copy of the GNU General Public License
14
# along with this program; if not, write to the Free Software
4183.7.1 by Sabin Iacob
update FSF mailing address
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
16
17
"""Tools for converting globs to regular expressions.
18
19
This module provides functions for converting shell-like globs to regular
20
expressions.
21
"""
22
23
import re
24
25
from bzrlib.trace import (
26
    warning
27
    )
28
29
30
class Replacer(object):
31
    """Do a multiple-pattern substitution.
32
33
    The patterns and substitutions are combined into one, so the result of
34
    one replacement is never substituted again. Add the patterns and
35
    replacements via the add method and then call the object. The patterns
36
    must not contain capturing groups.
37
    """
38
39
    _expand = re.compile(ur'\\&')
40
41
    def __init__(self, source=None):
42
        self._pat = None
43
        if source:
44
            self._pats = list(source._pats)
45
            self._funs = list(source._funs)
46
        else:
47
            self._pats = []
48
            self._funs = []
49
50
    def add(self, pat, fun):
51
        r"""Add a pattern and replacement.
52
53
        The pattern must not contain capturing groups.
54
        The replacement might be either a string template in which \& will be
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
55
        replaced with the match, or a function that will get the matching text
56
        as argument. It does not get match object, because capturing is
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
57
        forbidden anyway.
58
        """
59
        self._pat = None
60
        self._pats.append(pat)
61
        self._funs.append(fun)
62
63
    def add_replacer(self, replacer):
64
        r"""Add all patterns from another replacer.
65
66
        All patterns and replacements from replacer are appended to the ones
67
        already defined.
68
        """
69
        self._pat = None
70
        self._pats.extend(replacer._pats)
71
        self._funs.extend(replacer._funs)
72
73
    def __call__(self, text):
74
        if not self._pat:
75
            self._pat = re.compile(
76
                    u'|'.join([u'(%s)' % p for p in self._pats]),
77
                    re.UNICODE)
78
        return self._pat.sub(self._do_sub, text)
79
80
    def _do_sub(self, m):
81
        fun = self._funs[m.lastindex - 1]
82
        if hasattr(fun, '__call__'):
83
            return fun(m.group(0))
84
        else:
85
            return self._expand.sub(m.group(0), fun)
86
87
88
_sub_named = Replacer()
89
_sub_named.add(ur'\[:digit:\]', ur'\d')
90
_sub_named.add(ur'\[:space:\]', ur'\s')
91
_sub_named.add(ur'\[:alnum:\]', ur'\w')
92
_sub_named.add(ur'\[:ascii:\]', ur'\0-\x7f')
93
_sub_named.add(ur'\[:blank:\]', ur' \t')
94
_sub_named.add(ur'\[:cntrl:\]', ur'\0-\x1f\x7f-\x9f')
95
96
97
def _sub_group(m):
98
    if m[1] in (u'!', u'^'):
99
        return u'[^' + _sub_named(m[2:-1]) + u']'
100
    return u'[' + _sub_named(m[1:-1]) + u']'
101
102
103
def _invalid_regex(repl):
104
    def _(m):
2135.2.7 by Kent Gibson
Implement JAM's review suggestions.
105
        warning(u"'%s' not allowed within a regular expression. "
106
                "Replacing with '%s'" % (m, repl))
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
107
        return repl
108
    return _
109
110
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
111
def _trailing_backslashes_regex(m):
2298.8.2 by Kent Gibson
Review fixes for lp86451 patch.
112
    """Check trailing backslashes.
113
114
    Does a head count on trailing backslashes to ensure there isn't an odd
115
    one on the end that would escape the brackets we wrap the RE in.
116
    """
117
    if (len(m) % 2) != 0:
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
118
        warning(u"Regular expressions cannot end with an odd number of '\\'. "
119
                "Dropping the final '\\'.")
120
        return m[:-1]
121
    return m
122
123
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
124
_sub_re = Replacer()
125
_sub_re.add(u'^RE:', u'')
126
_sub_re.add(u'\((?!\?)', u'(?:')
127
_sub_re.add(u'\(\?P<.*>', _invalid_regex(u'(?:'))
128
_sub_re.add(u'\(\?P=[^)]*\)', _invalid_regex(u''))
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
129
_sub_re.add(ur'\\+$', _trailing_backslashes_regex)
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
130
131
2135.2.2 by Kent Gibson
Ignore pattern matcher (glob.py) patches:
132
_sub_fullpath = Replacer()
133
_sub_fullpath.add(ur'^RE:.*', _sub_re) # RE:<anything> is a regex
134
_sub_fullpath.add(ur'\[\^?\]?(?:[^][]|\[:[^]]+:\])+\]', _sub_group) # char group
135
_sub_fullpath.add(ur'(?:(?<=/)|^)(?:\.?/)+', u'') # canonicalize path
136
_sub_fullpath.add(ur'\\.', ur'\&') # keep anything backslashed
137
_sub_fullpath.add(ur'[(){}|^$+.]', ur'\\&') # escape specials
138
_sub_fullpath.add(ur'(?:(?<=/)|^)\*\*+/', ur'(?:.*/)?') # **/ after ^ or /
139
_sub_fullpath.add(ur'\*+', ur'[^/]*') # * elsewhere
140
_sub_fullpath.add(ur'\?', ur'[^/]') # ? everywhere
141
142
143
_sub_basename = Replacer()
144
_sub_basename.add(ur'\[\^?\]?(?:[^][]|\[:[^]]+:\])+\]', _sub_group) # char group
145
_sub_basename.add(ur'\\.', ur'\&') # keep anything backslashed
146
_sub_basename.add(ur'[(){}|^$+.]', ur'\\&') # escape specials
147
_sub_basename.add(ur'\*+', ur'.*') # * everywhere
148
_sub_basename.add(ur'\?', ur'.') # ? everywhere
149
150
151
def _sub_extension(pattern):
152
    return _sub_basename(pattern[2:])
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
153
154
155
class Globster(object):
156
    """A simple wrapper for a set of glob patterns.
157
158
    Provides the capability to search the patterns to find a match for
159
    a given filename (including the full path).
160
161
    Patterns are translated to regular expressions to expidite matching.
162
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
163
    The regular expressions for multiple patterns are aggregated into
164
    a super-regex containing groups of up to 99 patterns.
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
165
    The 99 limitation is due to the grouping limit of the Python re module.
166
    The resulting super-regex and associated patterns are stored as a list of
167
    (regex,[patterns]) in _regex_patterns.
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
168
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
169
    For performance reasons the patterns are categorised as extension patterns
170
    (those that match against a file extension), basename patterns
171
    (those that match against the basename of the filename),
172
    and fullpath patterns (those that match against the full path).
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
173
    The translations used for extensions and basenames are relatively simpler
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
174
    and therefore faster to perform than the fullpath patterns.
175
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
176
    Also, the extension patterns are more likely to find a match and
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
177
    so are matched first, then the basename patterns, then the fullpath
178
    patterns.
179
    """
180
    def __init__(self, patterns):
181
        self._regex_patterns = []
182
        path_patterns = []
183
        base_patterns = []
184
        ext_patterns = []
185
        for pat in patterns:
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
186
            pat = normalize_pattern(pat)
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
187
            if pat.startswith(u'RE:') or u'/' in pat:
188
                path_patterns.append(pat)
189
            elif pat.startswith(u'*.'):
190
                ext_patterns.append(pat)
191
            else:
192
                base_patterns.append(pat)
2135.2.2 by Kent Gibson
Ignore pattern matcher (glob.py) patches:
193
        self._add_patterns(ext_patterns,_sub_extension,
194
            prefix=r'(?:.*/)?(?!.*/)(?:.*\.)')
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
195
        self._add_patterns(base_patterns,_sub_basename,
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
196
            prefix=r'(?:.*/)?(?!.*/)')
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
197
        self._add_patterns(path_patterns,_sub_fullpath)
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
198
199
    def _add_patterns(self, patterns, translator, prefix=''):
200
        while patterns:
201
            grouped_rules = ['(%s)' % translator(pat) for pat in patterns[:99]]
202
            joined_rule = '%s(?:%s)$' % (prefix, '|'.join(grouped_rules))
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
203
            self._regex_patterns.append((re.compile(joined_rule, re.UNICODE),
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
204
                patterns[:99]))
205
            patterns = patterns[99:]
206
207
    def match(self, filename):
208
        """Searches for a pattern that matches the given filename.
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
209
2135.2.1 by Kent Gibson
Added glob module to replace broken fnmatch based ignore pattern matching (#57637)
210
        :return A matching pattern or None if there is no matching pattern.
211
        """
212
        for regex, patterns in self._regex_patterns:
213
            match = regex.match(filename)
214
            if match:
215
                return patterns[match.lastindex -1]
216
        return None
3398.1.1 by Ian Clatworthy
simplify the custom Globster to only care about ordering
217
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
218
class ExceptionGlobster(object):
219
    """A Globster that supports exception patterns.
4948.5.5 by John Whitley
Add descriptive text to ExcludingGlobster.
220
    
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
221
    Exceptions are ignore patterns prefixed with '!'.  Exception
222
    patterns take precedence over regular patterns and cause a 
223
    matching filename to return None from the match() function.  
224
    Patterns using a '!!' prefix are highest precedence, and act 
225
    as regular ignores. '!!' patterns are useful to establish ignores
226
    that apply under paths specified by '!' exception patterns.
4948.5.5 by John Whitley
Add descriptive text to ExcludingGlobster.
227
    """
4948.5.3 by John Whitley
Refactor the exclusion handling functionality out of
228
    
229
    def __init__(self,patterns):
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
230
        ignores = [[], [], []]
4948.5.3 by John Whitley
Refactor the exclusion handling functionality out of
231
        for p in patterns:
4948.5.6 by John Whitley
A trial implementation of '!!' syntax for double-negative ignore exclusions.
232
            if p.startswith(u'!!'):
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
233
                ignores[2].append(p[2:])
4948.5.6 by John Whitley
A trial implementation of '!!' syntax for double-negative ignore exclusions.
234
            elif p.startswith(u'!'):
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
235
                ignores[1].append(p[1:])
4948.5.3 by John Whitley
Refactor the exclusion handling functionality out of
236
            else:
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
237
                ignores[0].append(p)
238
        self._ignores = [Globster(i) for i in ignores]
4948.5.3 by John Whitley
Refactor the exclusion handling functionality out of
239
        
240
    def match(self, filename):
241
        """Searches for a pattern that matches the given filename.
242
243
        :return A matching pattern or None if there is no matching pattern.
244
        """
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
245
        double_neg = self._ignores[2].match(filename)
4948.5.6 by John Whitley
A trial implementation of '!!' syntax for double-negative ignore exclusions.
246
        if double_neg:
247
            return "!!%s" % double_neg
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
248
        elif self._ignores[1].match(filename):
4948.5.3 by John Whitley
Refactor the exclusion handling functionality out of
249
            return None
250
        else:
4948.5.7 by John Whitley
Terminology change: exclusion => exception.
251
            return self._ignores[0].match(filename)
3398.1.1 by Ian Clatworthy
simplify the custom Globster to only care about ordering
252
253
class _OrderedGlobster(Globster):
254
    """A Globster that keeps pattern order."""
255
256
    def __init__(self, patterns):
257
        """Constructor.
258
259
        :param patterns: sequence of glob patterns
260
        """
261
        # Note: This could be smarter by running like sequences together
262
        self._regex_patterns = []
263
        for pat in patterns:
264
            pat = normalize_pattern(pat)
265
            if pat.startswith(u'RE:') or u'/' in pat:
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
266
                self._add_patterns([pat], _sub_fullpath)
3398.1.1 by Ian Clatworthy
simplify the custom Globster to only care about ordering
267
            elif pat.startswith(u'*.'):
268
                self._add_patterns([pat], _sub_extension,
269
                    prefix=r'(?:.*/)?(?!.*/)(?:.*\.)')
270
            else:
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
271
                self._add_patterns([pat], _sub_basename,
3398.1.1 by Ian Clatworthy
simplify the custom Globster to only care about ordering
272
                    prefix=r'(?:.*/)?(?!.*/)')
273
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
274
4792.4.1 by Gordon Tyler
Fixed globbing.normalize_pattern to not strip '/' down to '' and normalize multiple slashes.
275
_slashes = re.compile(r'[\\/]+')
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
276
def normalize_pattern(pattern):
277
    """Converts backslashes in path patterns to forward slashes.
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
278
2298.8.2 by Kent Gibson
Review fixes for lp86451 patch.
279
    Doesn't normalize regular expressions - they may contain escapes.
2298.8.1 by Kent Gibson
Normalise ignore patterns to use '/' path separator.
280
    """
4948.5.4 by John Whitley
bzrlib.globbing.normalize_pattern needed fix to avoid mangling ignore
281
    if not (pattern.startswith('RE:') or pattern.startswith('!RE:')):
4792.4.1 by Gordon Tyler
Fixed globbing.normalize_pattern to not strip '/' down to '' and normalize multiple slashes.
282
        pattern = _slashes.sub('/', pattern)
283
    if len(pattern) > 1:
284
        pattern = pattern.rstrip('/')
285
    return pattern