~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/mutabletree.py

  • Committer: Martin Pool
  • Date: 2007-07-04 09:21:56 UTC
  • mto: This revision was merged to the branch mainline in revision 2584.
  • Revision ID: mbp@sourcefrog.net-20070704092156-us6h516qevsps4dg
Remove LockDir.wait()

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2006, 2007 Canonical Ltd
 
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
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
16
 
 
17
"""MutableTree object.
 
18
 
 
19
See MutableTree for more details.
 
20
"""
 
21
 
 
22
 
 
23
from bzrlib.lazy_import import lazy_import
 
24
lazy_import(globals(), """
 
25
import os
 
26
 
 
27
from bzrlib import (
 
28
    add,
 
29
    bzrdir,
 
30
    )
 
31
from bzrlib.osutils import dirname
 
32
from bzrlib.trace import mutter, warning
 
33
""")
 
34
 
 
35
from bzrlib import (
 
36
    errors,
 
37
    osutils,
 
38
    tree,
 
39
    )
 
40
from bzrlib.decorators import needs_read_lock, needs_write_lock
 
41
from bzrlib.osutils import splitpath
 
42
from bzrlib.symbol_versioning import DEPRECATED_PARAMETER
 
43
 
 
44
 
 
45
def needs_tree_write_lock(unbound):
 
46
    """Decorate unbound to take out and release a tree_write lock."""
 
47
    def tree_write_locked(self, *args, **kwargs):
 
48
        self.lock_tree_write()
 
49
        try:
 
50
            return unbound(self, *args, **kwargs)
 
51
        finally:
 
52
            self.unlock()
 
53
    tree_write_locked.__doc__ = unbound.__doc__
 
54
    tree_write_locked.__name__ = unbound.__name__
 
55
    return tree_write_locked
 
56
 
 
57
 
 
58
class MutableTree(tree.Tree):
 
59
    """A MutableTree is a specialisation of Tree which is able to be mutated.
 
60
 
 
61
    Generally speaking these mutations are only possible within a lock_write
 
62
    context, and will revert if the lock is broken abnormally - but this cannot
 
63
    be guaranteed - depending on the exact implementation of the mutable state.
 
64
 
 
65
    The most common form of Mutable Tree is WorkingTree, see bzrlib.workingtree.
 
66
    For tests we also have MemoryTree which is a MutableTree whose contents are
 
67
    entirely in memory.
 
68
 
 
69
    For now, we are not treating MutableTree as an interface to provide
 
70
    conformance tests for - rather we are testing MemoryTree specifically, and 
 
71
    interface testing implementations of WorkingTree.
 
72
 
 
73
    A mutable tree always has an associated Branch and BzrDir object - the
 
74
    branch and bzrdir attributes.
 
75
    """
 
76
 
 
77
    @needs_tree_write_lock
 
78
    def add(self, files, ids=None, kinds=None):
 
79
        """Add paths to the set of versioned paths.
 
80
 
 
81
        Note that the command line normally calls smart_add instead,
 
82
        which can automatically recurse.
 
83
 
 
84
        This adds the files to the inventory, so that they will be
 
85
        recorded by the next commit.
 
86
 
 
87
        :param files: List of paths to add, relative to the base of the tree.
 
88
        :param ids: If set, use these instead of automatically generated ids.
 
89
            Must be the same length as the list of files, but may
 
90
            contain None for ids that are to be autogenerated.
 
91
        :param kinds: Optional parameter to specify the kinds to be used for
 
92
            each file.
 
93
 
 
94
        TODO: Perhaps callback with the ids and paths as they're added.
 
95
        """
 
96
        if isinstance(files, basestring):
 
97
            assert(ids is None or isinstance(ids, basestring))
 
98
            assert(kinds is None or isinstance(kinds, basestring))
 
99
            files = [files]
 
100
            if ids is not None:
 
101
                ids = [ids]
 
102
            if kinds is not None:
 
103
                kinds = [kinds]
 
104
 
 
105
        files = [path.strip('/') for path in files]
 
106
 
 
107
        if ids is None:
 
108
            ids = [None] * len(files)
 
109
        else:
 
110
            assert(len(ids) == len(files))
 
111
            ids = [osutils.safe_file_id(file_id) for file_id in ids]
 
112
 
 
113
        if kinds is None:
 
114
            kinds = [None] * len(files)
 
115
        else:
 
116
            assert(len(kinds) == len(files))
 
117
        for f in files:
 
118
            # generic constraint checks:
 
119
            if self.is_control_filename(f):
 
120
                raise errors.ForbiddenControlFileError(filename=f)
 
121
            fp = splitpath(f)
 
122
        # fill out file kinds for all files [not needed when we stop 
 
123
        # caring about the instantaneous file kind within a uncommmitted tree
 
124
        #
 
125
        self._gather_kinds(files, kinds)
 
126
        self._add(files, ids, kinds)
 
127
 
 
128
    def add_reference(self, sub_tree):
 
129
        """Add a TreeReference to the tree, pointing at sub_tree"""
 
130
        raise errors.UnsupportedOperation(self.add_reference, self)
 
131
 
 
132
    def _add_reference(self, sub_tree):
 
133
        """Standard add_reference implementation, for use by subclasses"""
 
134
        try:
 
135
            sub_tree_path = self.relpath(sub_tree.basedir)
 
136
        except errors.PathNotChild:
 
137
            raise errors.BadReferenceTarget(self, sub_tree,
 
138
                                            'Target not inside tree.')
 
139
        sub_tree_id = sub_tree.get_root_id()
 
140
        if sub_tree_id == self.get_root_id():
 
141
            raise errors.BadReferenceTarget(self, sub_tree,
 
142
                                     'Trees have the same root id.')
 
143
        if sub_tree_id in self.inventory:
 
144
            raise errors.BadReferenceTarget(self, sub_tree,
 
145
                                            'Root id already present in tree')
 
146
        self._add([sub_tree_path], [sub_tree_id], ['tree-reference'])
 
147
 
 
148
    def _add(self, files, ids, kinds):
 
149
        """Helper function for add - updates the inventory.
 
150
 
 
151
        :param files: sequence of pathnames, relative to the tree root
 
152
        :param ids: sequence of suggested ids for the files (may be None)
 
153
        :param kinds: sequence of  inventory kinds of the files (i.e. may
 
154
            contain "tree-reference")
 
155
        """
 
156
        raise NotImplementedError(self._add)
 
157
 
 
158
    @needs_tree_write_lock
 
159
    def apply_inventory_delta(self, changes):
 
160
        """Apply changes to the inventory as an atomic operation.
 
161
 
 
162
        The argument is a set of changes to apply.  It must describe a
 
163
        valid result, but the order is not important.  Specifically,
 
164
        intermediate stages *may* be invalid, such as when two files
 
165
        swap names.
 
166
 
 
167
        The changes should be structured as a list of tuples, of the form
 
168
        (old_path, new_path, file_id, new_entry).  For creation, old_path
 
169
        must be None.  For deletion, new_path and new_entry must be None.
 
170
        file_id is always non-None.  For renames and other mutations, all
 
171
        values must be non-None.
 
172
 
 
173
        If the new_entry is a directory, its children should be an empty
 
174
        dict.  Children are handled by apply_inventory_delta itself.
 
175
 
 
176
        :param changes: A list of tuples for the change to apply:
 
177
            [(old_path, new_path, file_id, new_inventory_entry), ...]
 
178
        """
 
179
        self.flush()
 
180
        inv = self.inventory
 
181
        children = {}
 
182
        for old_path, file_id in sorted(((op, f) for op, np, f, e in changes
 
183
                                        if op is not None), reverse=True):
 
184
            if file_id not in inv:
 
185
                continue
 
186
            children[file_id] = getattr(inv[file_id], 'children', {})
 
187
            inv.remove_recursive_id(file_id)
 
188
        for new_path, new_entry in sorted((np, e) for op, np, f, e in
 
189
                                          changes if np is not None):
 
190
            if getattr(new_entry, 'children', None) is not None:
 
191
                new_entry.children = children.get(new_entry.file_id, {})
 
192
            inv.add(new_entry)
 
193
        self._write_inventory(inv)
 
194
 
 
195
    @needs_write_lock
 
196
    def commit(self, message=None, revprops=None, *args,
 
197
               **kwargs):
 
198
        # avoid circular imports
 
199
        from bzrlib import commit
 
200
        if revprops is None:
 
201
            revprops = {}
 
202
        if not 'branch-nick' in revprops:
 
203
            revprops['branch-nick'] = self.branch.nick
 
204
        # args for wt.commit start at message from the Commit.commit method,
 
205
        args = (message, ) + args
 
206
        committed_id = commit.Commit().commit(working_tree=self,
 
207
            revprops=revprops, *args, **kwargs)
 
208
        return committed_id
 
209
 
 
210
    def _gather_kinds(self, files, kinds):
 
211
        """Helper function for add - sets the entries of kinds."""
 
212
        raise NotImplementedError(self._gather_kinds)
 
213
 
 
214
    @needs_read_lock
 
215
    def last_revision(self):
 
216
        """Return the revision id of the last commit performed in this tree.
 
217
 
 
218
        In early tree formats the result of last_revision is the same as the
 
219
        branch last_revision, but that is no longer the case for modern tree
 
220
        formats.
 
221
        
 
222
        last_revision returns the left most parent id, or None if there are no
 
223
        parents.
 
224
 
 
225
        last_revision was deprecated as of 0.11. Please use get_parent_ids
 
226
        instead.
 
227
        """
 
228
        raise NotImplementedError(self.last_revision)
 
229
 
 
230
    def lock_tree_write(self):
 
231
        """Lock the working tree for write, and the branch for read.
 
232
 
 
233
        This is useful for operations which only need to mutate the working
 
234
        tree. Taking out branch write locks is a relatively expensive process
 
235
        and may fail if the branch is on read only media. So branch write locks
 
236
        should only be taken out when we are modifying branch data - such as in
 
237
        operations like commit, pull, uncommit and update.
 
238
        """
 
239
        raise NotImplementedError(self.lock_tree_write)
 
240
 
 
241
    def lock_write(self):
 
242
        """Lock the tree and its branch. This allows mutating calls to be made.
 
243
 
 
244
        Some mutating methods will take out implicit write locks, but in 
 
245
        general you should always obtain a write lock before calling mutating
 
246
        methods on a tree.
 
247
        """
 
248
        raise NotImplementedError(self.lock_write)
 
249
 
 
250
    @needs_write_lock
 
251
    def mkdir(self, path, file_id=None):
 
252
        """Create a directory in the tree. if file_id is None, one is assigned.
 
253
 
 
254
        :param path: A unicode file path.
 
255
        :param file_id: An optional file-id.
 
256
        :return: the file id of the new directory.
 
257
        """
 
258
        raise NotImplementedError(self.mkdir)
 
259
 
 
260
    def set_parent_ids(self, revision_ids, allow_leftmost_as_ghost=False):
 
261
        """Set the parents ids of the working tree.
 
262
 
 
263
        :param revision_ids: A list of revision_ids.
 
264
        """
 
265
        raise NotImplementedError(self.set_parent_ids)
 
266
 
 
267
    def set_parent_trees(self, parents_list, allow_leftmost_as_ghost=False):
 
268
        """Set the parents of the working tree.
 
269
 
 
270
        :param parents_list: A list of (revision_id, tree) tuples. 
 
271
            If tree is None, then that element is treated as an unreachable
 
272
            parent tree - i.e. a ghost.
 
273
        """
 
274
        raise NotImplementedError(self.set_parent_trees)
 
275
 
 
276
    @needs_tree_write_lock
 
277
    def smart_add(self, file_list, recurse=True, action=None, save=True):
 
278
        """Version file_list, optionally recursing into directories.
 
279
 
 
280
        This is designed more towards DWIM for humans than API clarity.
 
281
        For the specific behaviour see the help for cmd_add().
 
282
 
 
283
        :param action: A reporter to be called with the inventory, parent_ie,
 
284
            path and kind of the path being added. It may return a file_id if 
 
285
            a specific one should be used.
 
286
        :param save: Save the inventory after completing the adds. If False
 
287
            this provides dry-run functionality by doing the add and not saving
 
288
            the inventory.  Note that the modified inventory is left in place,
 
289
            allowing further dry-run tasks to take place. To restore the
 
290
            original inventory call self.read_working_inventory().
 
291
        :return: A tuple - files_added, ignored_files. files_added is the count
 
292
            of added files, and ignored_files is a dict mapping files that were
 
293
            ignored to the rule that caused them to be ignored.
 
294
        """
 
295
        # not in an inner loop; and we want to remove direct use of this,
 
296
        # so here as a reminder for now. RBC 20070703
 
297
        from bzrlib.inventory import InventoryEntry
 
298
        assert isinstance(recurse, bool)
 
299
        if action is None:
 
300
            action = add.AddAction()
 
301
        
 
302
        if not file_list:
 
303
            # no paths supplied: add the entire tree.
 
304
            file_list = [u'.']
 
305
        # mutter("smart add of %r")
 
306
        inv = self.inventory
 
307
        added = []
 
308
        ignored = {}
 
309
        dirs_to_add = []
 
310
        user_dirs = set()
 
311
 
 
312
        # validate user file paths and convert all paths to tree 
 
313
        # relative : it's cheaper to make a tree relative path an abspath
 
314
        # than to convert an abspath to tree relative.
 
315
        for filepath in file_list:
 
316
            rf = _FastPath(self.relpath(filepath))
 
317
            # validate user parameters. Our recursive code avoids adding new files
 
318
            # that need such validation 
 
319
            if self.is_control_filename(rf.raw_path):
 
320
                raise errors.ForbiddenControlFileError(filename=rf.raw_path)
 
321
            
 
322
            abspath = self.abspath(rf.raw_path)
 
323
            kind = osutils.file_kind(abspath)
 
324
            if kind == 'directory':
 
325
                # schedule the dir for scanning
 
326
                user_dirs.add(rf)
 
327
            else:
 
328
                if not InventoryEntry.versionable_kind(kind):
 
329
                    raise errors.BadFileKindError(filename=abspath, kind=kind)
 
330
            # ensure the named path is added, so that ignore rules in the later directory
 
331
            # walk dont skip it.
 
332
            # we dont have a parent ie known yet.: use the relatively slower inventory 
 
333
            # probing method
 
334
            versioned = inv.has_filename(rf.raw_path)
 
335
            if versioned:
 
336
                continue
 
337
            added.extend(_add_one_and_parent(self, inv, None, rf, kind, action))
 
338
 
 
339
        if not recurse:
 
340
            # no need to walk any directories at all.
 
341
            if len(added) > 0 and save:
 
342
                self._write_inventory(inv)
 
343
            return added, ignored
 
344
 
 
345
        # only walk the minimal parents needed: we have user_dirs to override
 
346
        # ignores.
 
347
        prev_dir = None
 
348
 
 
349
        is_inside = osutils.is_inside_or_parent_of_any
 
350
        for path in sorted(user_dirs):
 
351
            if (prev_dir is None or not is_inside([prev_dir], path.raw_path)):
 
352
                dirs_to_add.append((path, None))
 
353
            prev_dir = path.raw_path
 
354
 
 
355
        # dirs_to_add is initialised to a list of directories, but as we scan
 
356
        # directories we append files to it.
 
357
        # XXX: We should determine kind of files when we scan them rather than
 
358
        # adding to this list. RBC 20070703
 
359
        for directory, parent_ie in dirs_to_add:
 
360
            # directory is tree-relative
 
361
            abspath = self.abspath(directory.raw_path)
 
362
 
 
363
            # get the contents of this directory.
 
364
 
 
365
            # find the kind of the path being added.
 
366
            kind = osutils.file_kind(abspath)
 
367
 
 
368
            if not InventoryEntry.versionable_kind(kind):
 
369
                warning("skipping %s (can't add file of kind '%s')", abspath, kind)
 
370
                continue
 
371
 
 
372
            if parent_ie is not None:
 
373
                versioned = directory.base_path in parent_ie.children
 
374
            else:
 
375
                # without the parent ie, use the relatively slower inventory 
 
376
                # probing method
 
377
                versioned = inv.has_filename(directory.raw_path)
 
378
 
 
379
            if kind == 'directory':
 
380
                try:
 
381
                    sub_branch = bzrdir.BzrDir.open(abspath)
 
382
                    sub_tree = True
 
383
                except errors.NotBranchError:
 
384
                    sub_tree = False
 
385
                except errors.UnsupportedFormatError:
 
386
                    sub_tree = True
 
387
            else:
 
388
                sub_tree = False
 
389
 
 
390
            if directory.raw_path == '':
 
391
                # mutter("tree root doesn't need to be added")
 
392
                sub_tree = False
 
393
            elif versioned:
 
394
                pass
 
395
                # mutter("%r is already versioned", abspath)
 
396
            elif sub_tree:
 
397
                # XXX: This is wrong; people *might* reasonably be trying to add
 
398
                # subtrees as subtrees.  This should probably only be done in formats 
 
399
                # which can represent subtrees, and even then perhaps only when
 
400
                # the user asked to add subtrees.  At the moment you can add them
 
401
                # specially through 'join --reference', which is perhaps
 
402
                # reasonable: adding a new reference is a special operation and
 
403
                # can have a special behaviour.  mbp 20070306
 
404
                mutter("%r is a nested bzr tree", abspath)
 
405
            else:
 
406
                _add_one(self, inv, parent_ie, directory, kind, action)
 
407
                added.append(directory.raw_path)
 
408
 
 
409
            if kind == 'directory' and not sub_tree:
 
410
                if parent_ie is not None:
 
411
                    # must be present:
 
412
                    this_ie = parent_ie.children[directory.base_path]
 
413
                else:
 
414
                    # without the parent ie, use the relatively slower inventory 
 
415
                    # probing method
 
416
                    this_id = inv.path2id(directory.raw_path)
 
417
                    if this_id is None:
 
418
                        this_ie = None
 
419
                    else:
 
420
                        this_ie = inv[this_id]
 
421
 
 
422
                for subf in sorted(os.listdir(abspath)):
 
423
                    # here we could use TreeDirectory rather than 
 
424
                    # string concatenation.
 
425
                    subp = osutils.pathjoin(directory.raw_path, subf)
 
426
                    # TODO: is_control_filename is very slow. Make it faster. 
 
427
                    # TreeDirectory.is_control_filename could also make this 
 
428
                    # faster - its impossible for a non root dir to have a 
 
429
                    # control file.
 
430
                    if self.is_control_filename(subp):
 
431
                        mutter("skip control directory %r", subp)
 
432
                    elif subf in this_ie.children:
 
433
                        # recurse into this already versioned subdir.
 
434
                        dirs_to_add.append((_FastPath(subp, subf), this_ie))
 
435
                    else:
 
436
                        # user selection overrides ignoes
 
437
                        # ignore while selecting files - if we globbed in the
 
438
                        # outer loop we would ignore user files.
 
439
                        ignore_glob = self.is_ignored(subp)
 
440
                        if ignore_glob is not None:
 
441
                            # mutter("skip ignored sub-file %r", subp)
 
442
                            ignored.setdefault(ignore_glob, []).append(subp)
 
443
                        else:
 
444
                            #mutter("queue to add sub-file %r", subp)
 
445
                            dirs_to_add.append((_FastPath(subp, subf), this_ie))
 
446
 
 
447
        if len(added) > 0 and save:
 
448
            self._write_inventory(inv)
 
449
        return added, ignored
 
450
 
 
451
 
 
452
class _FastPath(object):
 
453
    """A path object with fast accessors for things like basename."""
 
454
 
 
455
    __slots__ = ['raw_path', 'base_path']
 
456
 
 
457
    def __init__(self, path, base_path=None):
 
458
        """Construct a FastPath from path."""
 
459
        if base_path is None:
 
460
            self.base_path = osutils.basename(path)
 
461
        else:
 
462
            self.base_path = base_path
 
463
        self.raw_path = path
 
464
 
 
465
    def __cmp__(self, other):
 
466
        return cmp(self.raw_path, other.raw_path)
 
467
 
 
468
    def __hash__(self):
 
469
        return hash(self.raw_path)
 
470
 
 
471
 
 
472
def _add_one_and_parent(tree, inv, parent_ie, path, kind, action):
 
473
    """Add a new entry to the inventory and automatically add unversioned parents.
 
474
 
 
475
    :param inv: Inventory which will receive the new entry.
 
476
    :param parent_ie: Parent inventory entry if known, or None.  If
 
477
        None, the parent is looked up by name and used if present, otherwise it
 
478
        is recursively added.
 
479
    :param kind: Kind of new entry (file, directory, etc)
 
480
    :param action: callback(inv, parent_ie, path, kind); return ignored.
 
481
    :return: A list of paths which have been added.
 
482
    """
 
483
    # Nothing to do if path is already versioned.
 
484
    # This is safe from infinite recursion because the tree root is
 
485
    # always versioned.
 
486
    if parent_ie is not None:
 
487
        # we have a parent ie already
 
488
        added = []
 
489
    else:
 
490
        # slower but does not need parent_ie
 
491
        if inv.has_filename(path.raw_path):
 
492
            return []
 
493
        # its really not there : add the parent
 
494
        # note that the dirname use leads to some extra str copying etc but as
 
495
        # there are a limited number of dirs we can be nested under, it should
 
496
        # generally find it very fast and not recurse after that.
 
497
        added = _add_one_and_parent(tree, inv, None,
 
498
            _FastPath(dirname(path.raw_path)), 'directory', action)
 
499
        parent_id = inv.path2id(dirname(path.raw_path))
 
500
        parent_ie = inv[parent_id]
 
501
    _add_one(tree, inv, parent_ie, path, kind, action)
 
502
    return added + [path.raw_path]
 
503
 
 
504
 
 
505
def _add_one(tree, inv, parent_ie, path, kind, file_id_callback):
 
506
    """Add a new entry to the inventory.
 
507
 
 
508
    :param inv: Inventory which will receive the new entry.
 
509
    :param parent_ie: Parent inventory entry.
 
510
    :param kind: Kind of new entry (file, directory, etc)
 
511
    :param file_id_callback: callback(inv, parent_ie, path, kind); return a
 
512
        file_id or None to generate a new file id
 
513
    :returns: None
 
514
    """
 
515
    file_id = file_id_callback(inv, parent_ie, path, kind)
 
516
    entry = inv.make_entry(kind, path.base_path, parent_ie.file_id,
 
517
        file_id=file_id)
 
518
    inv.add(entry)