~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/mutabletree.py

  • Committer: Martin Pool
  • Date: 2007-09-19 13:12:32 UTC
  • mto: (2592.3.153 repository)
  • mto: This revision was merged to the branch mainline in revision 2933.
  • Revision ID: mbp@sourcefrog.net-20070919131232-0gtp1q90fxz10ctn
move commit_write_group to RepositoryPackCollection

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
        author = kwargs.pop('author', None)
 
205
        if author is not None:
 
206
            assert 'author' not in revprops
 
207
            revprops['author'] = author
 
208
        # args for wt.commit start at message from the Commit.commit method,
 
209
        args = (message, ) + args
 
210
        committed_id = commit.Commit().commit(working_tree=self,
 
211
            revprops=revprops, *args, **kwargs)
 
212
        return committed_id
 
213
 
 
214
    def _gather_kinds(self, files, kinds):
 
215
        """Helper function for add - sets the entries of kinds."""
 
216
        raise NotImplementedError(self._gather_kinds)
 
217
 
 
218
    @needs_read_lock
 
219
    def last_revision(self):
 
220
        """Return the revision id of the last commit performed in this tree.
 
221
 
 
222
        In early tree formats the result of last_revision is the same as the
 
223
        branch last_revision, but that is no longer the case for modern tree
 
224
        formats.
 
225
        
 
226
        last_revision returns the left most parent id, or None if there are no
 
227
        parents.
 
228
 
 
229
        last_revision was deprecated as of 0.11. Please use get_parent_ids
 
230
        instead.
 
231
        """
 
232
        raise NotImplementedError(self.last_revision)
 
233
 
 
234
    def lock_tree_write(self):
 
235
        """Lock the working tree for write, and the branch for read.
 
236
 
 
237
        This is useful for operations which only need to mutate the working
 
238
        tree. Taking out branch write locks is a relatively expensive process
 
239
        and may fail if the branch is on read only media. So branch write locks
 
240
        should only be taken out when we are modifying branch data - such as in
 
241
        operations like commit, pull, uncommit and update.
 
242
        """
 
243
        raise NotImplementedError(self.lock_tree_write)
 
244
 
 
245
    def lock_write(self):
 
246
        """Lock the tree and its branch. This allows mutating calls to be made.
 
247
 
 
248
        Some mutating methods will take out implicit write locks, but in 
 
249
        general you should always obtain a write lock before calling mutating
 
250
        methods on a tree.
 
251
        """
 
252
        raise NotImplementedError(self.lock_write)
 
253
 
 
254
    @needs_write_lock
 
255
    def mkdir(self, path, file_id=None):
 
256
        """Create a directory in the tree. if file_id is None, one is assigned.
 
257
 
 
258
        :param path: A unicode file path.
 
259
        :param file_id: An optional file-id.
 
260
        :return: the file id of the new directory.
 
261
        """
 
262
        raise NotImplementedError(self.mkdir)
 
263
 
 
264
    def set_parent_ids(self, revision_ids, allow_leftmost_as_ghost=False):
 
265
        """Set the parents ids of the working tree.
 
266
 
 
267
        :param revision_ids: A list of revision_ids.
 
268
        """
 
269
        raise NotImplementedError(self.set_parent_ids)
 
270
 
 
271
    def set_parent_trees(self, parents_list, allow_leftmost_as_ghost=False):
 
272
        """Set the parents of the working tree.
 
273
 
 
274
        :param parents_list: A list of (revision_id, tree) tuples. 
 
275
            If tree is None, then that element is treated as an unreachable
 
276
            parent tree - i.e. a ghost.
 
277
        """
 
278
        raise NotImplementedError(self.set_parent_trees)
 
279
 
 
280
    @needs_tree_write_lock
 
281
    def smart_add(self, file_list, recurse=True, action=None, save=True):
 
282
        """Version file_list, optionally recursing into directories.
 
283
 
 
284
        This is designed more towards DWIM for humans than API clarity.
 
285
        For the specific behaviour see the help for cmd_add().
 
286
 
 
287
        :param action: A reporter to be called with the inventory, parent_ie,
 
288
            path and kind of the path being added. It may return a file_id if 
 
289
            a specific one should be used.
 
290
        :param save: Save the inventory after completing the adds. If False
 
291
            this provides dry-run functionality by doing the add and not saving
 
292
            the inventory.
 
293
        :return: A tuple - files_added, ignored_files. files_added is the count
 
294
            of added files, and ignored_files is a dict mapping files that were
 
295
            ignored to the rule that caused them to be ignored.
 
296
        """
 
297
        # not in an inner loop; and we want to remove direct use of this,
 
298
        # so here as a reminder for now. RBC 20070703
 
299
        from bzrlib.inventory import InventoryEntry
 
300
        assert isinstance(recurse, bool)
 
301
        if action is None:
 
302
            action = add.AddAction()
 
303
        
 
304
        if not file_list:
 
305
            # no paths supplied: add the entire tree.
 
306
            file_list = [u'.']
 
307
        # mutter("smart add of %r")
 
308
        inv = self.inventory
 
309
        added = []
 
310
        ignored = {}
 
311
        dirs_to_add = []
 
312
        user_dirs = set()
 
313
 
 
314
        # validate user file paths and convert all paths to tree 
 
315
        # relative : it's cheaper to make a tree relative path an abspath
 
316
        # than to convert an abspath to tree relative.
 
317
        for filepath in file_list:
 
318
            rf = _FastPath(self.relpath(filepath))
 
319
            # validate user parameters. Our recursive code avoids adding new files
 
320
            # that need such validation 
 
321
            if self.is_control_filename(rf.raw_path):
 
322
                raise errors.ForbiddenControlFileError(filename=rf.raw_path)
 
323
            
 
324
            abspath = self.abspath(rf.raw_path)
 
325
            kind = osutils.file_kind(abspath)
 
326
            if kind == 'directory':
 
327
                # schedule the dir for scanning
 
328
                user_dirs.add(rf)
 
329
            else:
 
330
                if not InventoryEntry.versionable_kind(kind):
 
331
                    raise errors.BadFileKindError(filename=abspath, kind=kind)
 
332
            # ensure the named path is added, so that ignore rules in the later directory
 
333
            # walk dont skip it.
 
334
            # we dont have a parent ie known yet.: use the relatively slower inventory 
 
335
            # probing method
 
336
            versioned = inv.has_filename(rf.raw_path)
 
337
            if versioned:
 
338
                continue
 
339
            added.extend(_add_one_and_parent(self, inv, None, rf, kind, action))
 
340
 
 
341
        if not recurse:
 
342
            # no need to walk any directories at all.
 
343
            if len(added) > 0 and save:
 
344
                self._write_inventory(inv)
 
345
            return added, ignored
 
346
 
 
347
        # only walk the minimal parents needed: we have user_dirs to override
 
348
        # ignores.
 
349
        prev_dir = None
 
350
 
 
351
        is_inside = osutils.is_inside_or_parent_of_any
 
352
        for path in sorted(user_dirs):
 
353
            if (prev_dir is None or not is_inside([prev_dir], path.raw_path)):
 
354
                dirs_to_add.append((path, None))
 
355
            prev_dir = path.raw_path
 
356
 
 
357
        # dirs_to_add is initialised to a list of directories, but as we scan
 
358
        # directories we append files to it.
 
359
        # XXX: We should determine kind of files when we scan them rather than
 
360
        # adding to this list. RBC 20070703
 
361
        for directory, parent_ie in dirs_to_add:
 
362
            # directory is tree-relative
 
363
            abspath = self.abspath(directory.raw_path)
 
364
 
 
365
            # get the contents of this directory.
 
366
 
 
367
            # find the kind of the path being added.
 
368
            kind = osutils.file_kind(abspath)
 
369
 
 
370
            if not InventoryEntry.versionable_kind(kind):
 
371
                warning("skipping %s (can't add file of kind '%s')", abspath, kind)
 
372
                continue
 
373
 
 
374
            if parent_ie is not None:
 
375
                versioned = directory.base_path in parent_ie.children
 
376
            else:
 
377
                # without the parent ie, use the relatively slower inventory 
 
378
                # probing method
 
379
                versioned = inv.has_filename(directory.raw_path)
 
380
 
 
381
            if kind == 'directory':
 
382
                try:
 
383
                    sub_branch = bzrdir.BzrDir.open(abspath)
 
384
                    sub_tree = True
 
385
                except errors.NotBranchError:
 
386
                    sub_tree = False
 
387
                except errors.UnsupportedFormatError:
 
388
                    sub_tree = True
 
389
            else:
 
390
                sub_tree = False
 
391
 
 
392
            if directory.raw_path == '':
 
393
                # mutter("tree root doesn't need to be added")
 
394
                sub_tree = False
 
395
            elif versioned:
 
396
                pass
 
397
                # mutter("%r is already versioned", abspath)
 
398
            elif sub_tree:
 
399
                # XXX: This is wrong; people *might* reasonably be trying to add
 
400
                # subtrees as subtrees.  This should probably only be done in formats 
 
401
                # which can represent subtrees, and even then perhaps only when
 
402
                # the user asked to add subtrees.  At the moment you can add them
 
403
                # specially through 'join --reference', which is perhaps
 
404
                # reasonable: adding a new reference is a special operation and
 
405
                # can have a special behaviour.  mbp 20070306
 
406
                mutter("%r is a nested bzr tree", abspath)
 
407
            else:
 
408
                _add_one(self, inv, parent_ie, directory, kind, action)
 
409
                added.append(directory.raw_path)
 
410
 
 
411
            if kind == 'directory' and not sub_tree:
 
412
                if parent_ie is not None:
 
413
                    # must be present:
 
414
                    this_ie = parent_ie.children[directory.base_path]
 
415
                else:
 
416
                    # without the parent ie, use the relatively slower inventory 
 
417
                    # probing method
 
418
                    this_id = inv.path2id(directory.raw_path)
 
419
                    if this_id is None:
 
420
                        this_ie = None
 
421
                    else:
 
422
                        this_ie = inv[this_id]
 
423
 
 
424
                for subf in sorted(os.listdir(abspath)):
 
425
                    # here we could use TreeDirectory rather than 
 
426
                    # string concatenation.
 
427
                    subp = osutils.pathjoin(directory.raw_path, subf)
 
428
                    # TODO: is_control_filename is very slow. Make it faster. 
 
429
                    # TreeDirectory.is_control_filename could also make this 
 
430
                    # faster - its impossible for a non root dir to have a 
 
431
                    # control file.
 
432
                    if self.is_control_filename(subp):
 
433
                        mutter("skip control directory %r", subp)
 
434
                    elif subf in this_ie.children:
 
435
                        # recurse into this already versioned subdir.
 
436
                        dirs_to_add.append((_FastPath(subp, subf), this_ie))
 
437
                    else:
 
438
                        # user selection overrides ignoes
 
439
                        # ignore while selecting files - if we globbed in the
 
440
                        # outer loop we would ignore user files.
 
441
                        ignore_glob = self.is_ignored(subp)
 
442
                        if ignore_glob is not None:
 
443
                            # mutter("skip ignored sub-file %r", subp)
 
444
                            ignored.setdefault(ignore_glob, []).append(subp)
 
445
                        else:
 
446
                            #mutter("queue to add sub-file %r", subp)
 
447
                            dirs_to_add.append((_FastPath(subp, subf), this_ie))
 
448
 
 
449
        if len(added) > 0:
 
450
            if save:
 
451
                self._write_inventory(inv)
 
452
            else:
 
453
                self.read_working_inventory()
 
454
        return added, ignored
 
455
 
 
456
 
 
457
class _FastPath(object):
 
458
    """A path object with fast accessors for things like basename."""
 
459
 
 
460
    __slots__ = ['raw_path', 'base_path']
 
461
 
 
462
    def __init__(self, path, base_path=None):
 
463
        """Construct a FastPath from path."""
 
464
        if base_path is None:
 
465
            self.base_path = osutils.basename(path)
 
466
        else:
 
467
            self.base_path = base_path
 
468
        self.raw_path = path
 
469
 
 
470
    def __cmp__(self, other):
 
471
        return cmp(self.raw_path, other.raw_path)
 
472
 
 
473
    def __hash__(self):
 
474
        return hash(self.raw_path)
 
475
 
 
476
 
 
477
def _add_one_and_parent(tree, inv, parent_ie, path, kind, action):
 
478
    """Add a new entry to the inventory and automatically add unversioned parents.
 
479
 
 
480
    :param inv: Inventory which will receive the new entry.
 
481
    :param parent_ie: Parent inventory entry if known, or None.  If
 
482
        None, the parent is looked up by name and used if present, otherwise it
 
483
        is recursively added.
 
484
    :param kind: Kind of new entry (file, directory, etc)
 
485
    :param action: callback(inv, parent_ie, path, kind); return ignored.
 
486
    :return: A list of paths which have been added.
 
487
    """
 
488
    # Nothing to do if path is already versioned.
 
489
    # This is safe from infinite recursion because the tree root is
 
490
    # always versioned.
 
491
    if parent_ie is not None:
 
492
        # we have a parent ie already
 
493
        added = []
 
494
    else:
 
495
        # slower but does not need parent_ie
 
496
        if inv.has_filename(path.raw_path):
 
497
            return []
 
498
        # its really not there : add the parent
 
499
        # note that the dirname use leads to some extra str copying etc but as
 
500
        # there are a limited number of dirs we can be nested under, it should
 
501
        # generally find it very fast and not recurse after that.
 
502
        added = _add_one_and_parent(tree, inv, None,
 
503
            _FastPath(dirname(path.raw_path)), 'directory', action)
 
504
        parent_id = inv.path2id(dirname(path.raw_path))
 
505
        parent_ie = inv[parent_id]
 
506
    _add_one(tree, inv, parent_ie, path, kind, action)
 
507
    return added + [path.raw_path]
 
508
 
 
509
 
 
510
def _add_one(tree, inv, parent_ie, path, kind, file_id_callback):
 
511
    """Add a new entry to the inventory.
 
512
 
 
513
    :param inv: Inventory which will receive the new entry.
 
514
    :param parent_ie: Parent inventory entry.
 
515
    :param kind: Kind of new entry (file, directory, etc)
 
516
    :param file_id_callback: callback(inv, parent_ie, path, kind); return a
 
517
        file_id or None to generate a new file id
 
518
    :returns: None
 
519
    """
 
520
    file_id = file_id_callback(inv, parent_ie, path, kind)
 
521
    entry = inv.make_entry(kind, path.base_path, parent_ie.file_id,
 
522
        file_id=file_id)
 
523
    inv.add(entry)