~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/globbing.py

  • Committer: Canonical.com Patch Queue Manager
  • Date: 2010-09-29 22:03:03 UTC
  • mfrom: (5416.2.6 jam-integration)
  • Revision ID: pqm@pqm.ubuntu.com-20100929220303-cr95h8iwtggco721
(mbp) Add 'break-lock --force'

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2006, 2008 Canonical Ltd
 
1
# Copyright (C) 2006-2010 Canonical Ltd
2
2
 
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
12
12
#
13
13
# You should have received a copy of the GNU General Public License
14
14
# along with this program; if not, write to the Free Software
15
 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
16
 
17
17
"""Tools for converting globs to regular expressions.
18
18
 
22
22
 
23
23
import re
24
24
 
 
25
from bzrlib import errors
25
26
from bzrlib.trace import (
26
 
    warning
 
27
    mutter,
 
28
    warning,
27
29
    )
28
30
 
29
31
 
52
54
 
53
55
        The pattern must not contain capturing groups.
54
56
        The replacement might be either a string template in which \& will be
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 
 
57
        replaced with the match, or a function that will get the matching text
 
58
        as argument. It does not get match object, because capturing is
57
59
        forbidden anyway.
58
60
        """
59
61
        self._pat = None
160
162
 
161
163
    Patterns are translated to regular expressions to expidite matching.
162
164
 
163
 
    The regular expressions for multiple patterns are aggregated into 
164
 
    a super-regex containing groups of up to 99 patterns.  
 
165
    The regular expressions for multiple patterns are aggregated into
 
166
    a super-regex containing groups of up to 99 patterns.
165
167
    The 99 limitation is due to the grouping limit of the Python re module.
166
168
    The resulting super-regex and associated patterns are stored as a list of
167
169
    (regex,[patterns]) in _regex_patterns.
168
 
    
 
170
 
169
171
    For performance reasons the patterns are categorised as extension patterns
170
172
    (those that match against a file extension), basename patterns
171
173
    (those that match against the basename of the filename),
172
174
    and fullpath patterns (those that match against the full path).
173
 
    The translations used for extensions and basenames are relatively simpler 
 
175
    The translations used for extensions and basenames are relatively simpler
174
176
    and therefore faster to perform than the fullpath patterns.
175
177
 
176
 
    Also, the extension patterns are more likely to find a match and 
 
178
    Also, the extension patterns are more likely to find a match and
177
179
    so are matched first, then the basename patterns, then the fullpath
178
180
    patterns.
179
181
    """
 
182
    # We want to _add_patterns in a specific order (as per type_list below)
 
183
    # starting with the shortest and going to the longest.
 
184
    # As some Python version don't support ordered dicts the list below is
 
185
    # used to select inputs for _add_pattern in a specific order.
 
186
    pattern_types = [ "extension", "basename", "fullpath" ]
 
187
 
 
188
    pattern_info = {
 
189
        "extension" : {
 
190
            "translator" : _sub_extension,
 
191
            "prefix" : r'(?:.*/)?(?!.*/)(?:.*\.)'
 
192
        },
 
193
        "basename" : {
 
194
            "translator" : _sub_basename,
 
195
            "prefix" : r'(?:.*/)?(?!.*/)'
 
196
        },
 
197
        "fullpath" : {
 
198
            "translator" : _sub_fullpath,
 
199
            "prefix" : r''
 
200
        },
 
201
    }
 
202
 
180
203
    def __init__(self, patterns):
181
204
        self._regex_patterns = []
182
 
        path_patterns = []
183
 
        base_patterns = []
184
 
        ext_patterns = []
 
205
        pattern_lists = {
 
206
            "extension" : [],
 
207
            "basename" : [],
 
208
            "fullpath" : [],
 
209
        }
185
210
        for pat in patterns:
186
211
            pat = normalize_pattern(pat)
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)
193
 
        self._add_patterns(ext_patterns,_sub_extension,
194
 
            prefix=r'(?:.*/)?(?!.*/)(?:.*\.)')
195
 
        self._add_patterns(base_patterns,_sub_basename, 
196
 
            prefix=r'(?:.*/)?(?!.*/)')
197
 
        self._add_patterns(path_patterns,_sub_fullpath) 
 
212
            pattern_lists[Globster.identify(pat)].append(pat)
 
213
        pi = Globster.pattern_info
 
214
        for t in Globster.pattern_types:
 
215
            self._add_patterns(pattern_lists[t], pi[t]["translator"],
 
216
                pi[t]["prefix"])
198
217
 
199
218
    def _add_patterns(self, patterns, translator, prefix=''):
200
219
        while patterns:
201
220
            grouped_rules = ['(%s)' % translator(pat) for pat in patterns[:99]]
202
221
            joined_rule = '%s(?:%s)$' % (prefix, '|'.join(grouped_rules))
203
 
            self._regex_patterns.append((re.compile(joined_rule, re.UNICODE), 
 
222
            self._regex_patterns.append((re.compile(joined_rule, re.UNICODE),
204
223
                patterns[:99]))
205
224
            patterns = patterns[99:]
206
225
 
207
226
    def match(self, filename):
208
227
        """Searches for a pattern that matches the given filename.
 
228
 
 
229
        :return A matching pattern or None if there is no matching pattern.
 
230
        """
 
231
        try:
 
232
            for regex, patterns in self._regex_patterns:
 
233
                match = regex.match(filename)
 
234
                if match:
 
235
                    return patterns[match.lastindex -1]
 
236
        except errors.InvalidPattern, e:
 
237
            # We can't show the default e.msg to the user as thats for
 
238
            # the combined pattern we sent to regex. Instead we indicate to
 
239
            # the user that an ignore file needs fixing.
 
240
            mutter('Invalid pattern found in regex: %s.', e.msg)
 
241
            e.msg = "File ~/.bazaar/ignore or .bzrignore contains error(s)."
 
242
            bad_patterns = ''
 
243
            for _, patterns in self._regex_patterns:
 
244
                for p in patterns:
 
245
                    if not Globster.is_pattern_valid(p):
 
246
                        bad_patterns += ('\n  %s' % p)
 
247
            e.msg += bad_patterns
 
248
            raise e
 
249
        return None
 
250
 
 
251
    @staticmethod
 
252
    def identify(pattern):
 
253
        """Returns pattern category.
 
254
 
 
255
        :param pattern: normalized pattern.
 
256
        Identify if a pattern is fullpath, basename or extension
 
257
        and returns the appropriate type.
 
258
        """
 
259
        if pattern.startswith(u'RE:') or u'/' in pattern:
 
260
            return "fullpath"
 
261
        elif pattern.startswith(u'*.'):
 
262
            return "extension"
 
263
        else:
 
264
            return "basename"
 
265
 
 
266
    @staticmethod
 
267
    def is_pattern_valid(pattern):
 
268
        """Returns True if pattern is valid.
 
269
 
 
270
        :param pattern: Normalized pattern.
 
271
        is_pattern_valid() assumes pattern to be normalized.
 
272
        see: globbing.normalize_pattern
 
273
        """
 
274
        result = True
 
275
        translator = Globster.pattern_info[Globster.identify(pattern)]["translator"]
 
276
        tpattern = '(%s)' % translator(pattern)
 
277
        try:
 
278
            re_obj = re.compile(tpattern, re.UNICODE)
 
279
            re_obj.search("") # force compile
 
280
        except errors.InvalidPattern, e:
 
281
            result = False
 
282
        return result
 
283
 
 
284
 
 
285
class ExceptionGlobster(object):
 
286
    """A Globster that supports exception patterns.
 
287
    
 
288
    Exceptions are ignore patterns prefixed with '!'.  Exception
 
289
    patterns take precedence over regular patterns and cause a 
 
290
    matching filename to return None from the match() function.  
 
291
    Patterns using a '!!' prefix are highest precedence, and act 
 
292
    as regular ignores. '!!' patterns are useful to establish ignores
 
293
    that apply under paths specified by '!' exception patterns.
 
294
    """
 
295
    
 
296
    def __init__(self,patterns):
 
297
        ignores = [[], [], []]
 
298
        for p in patterns:
 
299
            if p.startswith(u'!!'):
 
300
                ignores[2].append(p[2:])
 
301
            elif p.startswith(u'!'):
 
302
                ignores[1].append(p[1:])
 
303
            else:
 
304
                ignores[0].append(p)
 
305
        self._ignores = [Globster(i) for i in ignores]
209
306
        
 
307
    def match(self, filename):
 
308
        """Searches for a pattern that matches the given filename.
 
309
 
210
310
        :return A matching pattern or None if there is no matching pattern.
211
311
        """
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
217
 
 
 
312
        double_neg = self._ignores[2].match(filename)
 
313
        if double_neg:
 
314
            return "!!%s" % double_neg
 
315
        elif self._ignores[1].match(filename):
 
316
            return None
 
317
        else:
 
318
            return self._ignores[0].match(filename)
218
319
 
219
320
class _OrderedGlobster(Globster):
220
321
    """A Globster that keeps pattern order."""
228
329
        self._regex_patterns = []
229
330
        for pat in patterns:
230
331
            pat = normalize_pattern(pat)
231
 
            if pat.startswith(u'RE:') or u'/' in pat:
232
 
                self._add_patterns([pat], _sub_fullpath) 
233
 
            elif pat.startswith(u'*.'):
234
 
                self._add_patterns([pat], _sub_extension,
235
 
                    prefix=r'(?:.*/)?(?!.*/)(?:.*\.)')
236
 
            else:
237
 
                self._add_patterns([pat], _sub_basename, 
238
 
                    prefix=r'(?:.*/)?(?!.*/)')
239
 
 
240
 
 
 
332
            t = Globster.identify(pat)
 
333
            self._add_patterns([pat], Globster.pattern_info[t]["translator"],
 
334
                Globster.pattern_info[t]["prefix"])
 
335
 
 
336
 
 
337
_slashes = re.compile(r'[\\/]+')
241
338
def normalize_pattern(pattern):
242
339
    """Converts backslashes in path patterns to forward slashes.
243
 
    
 
340
 
244
341
    Doesn't normalize regular expressions - they may contain escapes.
245
342
    """
246
 
    if not pattern.startswith('RE:'):
247
 
        pattern = pattern.replace('\\','/')
248
 
    return pattern.rstrip('/')
 
343
    if not (pattern.startswith('RE:') or pattern.startswith('!RE:')):
 
344
        pattern = _slashes.sub('/', pattern)
 
345
    if len(pattern) > 1:
 
346
        pattern = pattern.rstrip('/')
 
347
    return pattern