/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to bzrlib/inventory.py

  • Committer: Martin Pool
  • Date: 2005-09-07 04:00:21 UTC
  • Revision ID: mbp@sourcefrog.net-20050907040020-2c7a5e0176888d95
- BROKEN: partial support for commit into weave

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# (C) 2005 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
 
 
18
# This should really be an id randomly assigned when the tree is
 
19
# created, but it's not for now.
 
20
ROOT_ID = "TREE_ROOT"
 
21
 
 
22
 
 
23
import sys, os.path, types, re
 
24
 
 
25
import bzrlib
 
26
from bzrlib.errors import BzrError, BzrCheckError
 
27
 
 
28
from bzrlib.osutils import uuid, quotefn, splitpath, joinpath, appendpath
 
29
from bzrlib.trace import mutter
 
30
from bzrlib.errors import NotVersionedError
 
31
        
 
32
 
 
33
class InventoryEntry(object):
 
34
    """Description of a versioned file.
 
35
 
 
36
    An InventoryEntry has the following fields, which are also
 
37
    present in the XML inventory-entry element:
 
38
 
 
39
    * *file_id*
 
40
    * *name*: (only the basename within the directory, must not
 
41
      contain slashes)
 
42
    * *kind*: "directory" or "file"
 
43
    * *directory_id*: (if absent/null means the branch root directory)
 
44
    * *text_sha1*: only for files
 
45
    * *text_size*: in bytes, only for files 
 
46
    * *text_id*: identifier for the text version, only for files
 
47
 
 
48
    InventoryEntries can also exist inside a WorkingTree
 
49
    inventory, in which case they are not yet bound to a
 
50
    particular revision of the file.  In that case the text_sha1,
 
51
    text_size and text_id are absent.
 
52
 
 
53
 
 
54
    >>> i = Inventory()
 
55
    >>> i.path2id('')
 
56
    'TREE_ROOT'
 
57
    >>> i.add(InventoryEntry('123', 'src', 'directory', ROOT_ID))
 
58
    InventoryEntry('123', 'src', kind='directory', parent_id='TREE_ROOT')
 
59
    >>> i.add(InventoryEntry('2323', 'hello.c', 'file', parent_id='123'))
 
60
    InventoryEntry('2323', 'hello.c', kind='file', parent_id='123')
 
61
    >>> for j in i.iter_entries():
 
62
    ...   print j
 
63
    ... 
 
64
    ('src', InventoryEntry('123', 'src', kind='directory', parent_id='TREE_ROOT'))
 
65
    ('src/hello.c', InventoryEntry('2323', 'hello.c', kind='file', parent_id='123'))
 
66
    >>> i.add(InventoryEntry('2323', 'bye.c', 'file', '123'))
 
67
    Traceback (most recent call last):
 
68
    ...
 
69
    BzrError: inventory already contains entry with id {2323}
 
70
    >>> i.add(InventoryEntry('2324', 'bye.c', 'file', '123'))
 
71
    InventoryEntry('2324', 'bye.c', kind='file', parent_id='123')
 
72
    >>> i.add(InventoryEntry('2325', 'wibble', 'directory', '123'))
 
73
    InventoryEntry('2325', 'wibble', kind='directory', parent_id='123')
 
74
    >>> i.path2id('src/wibble')
 
75
    '2325'
 
76
    >>> '2325' in i
 
77
    True
 
78
    >>> i.add(InventoryEntry('2326', 'wibble.c', 'file', '2325'))
 
79
    InventoryEntry('2326', 'wibble.c', kind='file', parent_id='2325')
 
80
    >>> i['2326']
 
81
    InventoryEntry('2326', 'wibble.c', kind='file', parent_id='2325')
 
82
    >>> for j in i.iter_entries():
 
83
    ...     print j[0]
 
84
    ...     assert i.path2id(j[0])
 
85
    ... 
 
86
    src
 
87
    src/bye.c
 
88
    src/hello.c
 
89
    src/wibble
 
90
    src/wibble/wibble.c
 
91
    >>> i.id2path('2326')
 
92
    'src/wibble/wibble.c'
 
93
 
 
94
    TODO: Maybe also keep the full path of the entry, and the children?
 
95
           But those depend on its position within a particular inventory, and
 
96
           it would be nice not to need to hold the backpointer here.
 
97
    """
 
98
 
 
99
    # TODO: split InventoryEntry into subclasses for files,
 
100
    # directories, etc etc.
 
101
 
 
102
    __slots__ = ['text_sha1', 'text_size', 'file_id', 'name', 'kind',
 
103
                 'text_id', 'parent_id', 'children',
 
104
                 'text_version', 'entry_version', ]
 
105
 
 
106
 
 
107
    def __init__(self, file_id, name, kind, parent_id, text_id=None):
 
108
        """Create an InventoryEntry
 
109
        
 
110
        The filename must be a single component, relative to the
 
111
        parent directory; it cannot be a whole path or relative name.
 
112
 
 
113
        >>> e = InventoryEntry('123', 'hello.c', 'file', ROOT_ID)
 
114
        >>> e.name
 
115
        'hello.c'
 
116
        >>> e.file_id
 
117
        '123'
 
118
        >>> e = InventoryEntry('123', 'src/hello.c', 'file', ROOT_ID)
 
119
        Traceback (most recent call last):
 
120
        BzrCheckError: InventoryEntry name 'src/hello.c' is invalid
 
121
        """
 
122
        assert isinstance(name, basestring), name
 
123
        if '/' in name or '\\' in name:
 
124
            raise BzrCheckError('InventoryEntry name %r is invalid' % name)
 
125
        
 
126
        self.text_version = None
 
127
        self.entry_version = None
 
128
        self.text_sha1 = None
 
129
        self.text_size = None
 
130
        self.file_id = file_id
 
131
        self.name = name
 
132
        self.kind = kind
 
133
        self.text_id = text_id
 
134
        self.parent_id = parent_id
 
135
        if kind == 'directory':
 
136
            self.children = {}
 
137
        elif kind == 'file':
 
138
            pass
 
139
        else:
 
140
            raise BzrError("unhandled entry kind %r" % kind)
 
141
 
 
142
 
 
143
 
 
144
    def sorted_children(self):
 
145
        l = self.children.items()
 
146
        l.sort()
 
147
        return l
 
148
 
 
149
 
 
150
    def copy(self):
 
151
        other = InventoryEntry(self.file_id, self.name, self.kind,
 
152
                               self.parent_id)
 
153
        other.text_id = self.text_id
 
154
        other.text_sha1 = self.text_sha1
 
155
        other.text_size = self.text_size
 
156
        # note that children are *not* copied; they're pulled across when
 
157
        # others are added
 
158
        return other
 
159
 
 
160
 
 
161
    def __repr__(self):
 
162
        return ("%s(%r, %r, kind=%r, parent_id=%r)"
 
163
                % (self.__class__.__name__,
 
164
                   self.file_id,
 
165
                   self.name,
 
166
                   self.kind,
 
167
                   self.parent_id))
 
168
 
 
169
    
 
170
    def __eq__(self, other):
 
171
        if not isinstance(other, InventoryEntry):
 
172
            return NotImplemented
 
173
 
 
174
        return (self.file_id == other.file_id) \
 
175
               and (self.name == other.name) \
 
176
               and (self.text_sha1 == other.text_sha1) \
 
177
               and (self.text_size == other.text_size) \
 
178
               and (self.text_id == other.text_id) \
 
179
               and (self.parent_id == other.parent_id) \
 
180
               and (self.kind == other.kind) \
 
181
               and (self.text_version == other.text_version) \
 
182
               and (self.entry_version == other.entry_version)
 
183
 
 
184
 
 
185
    def __ne__(self, other):
 
186
        return not (self == other)
 
187
 
 
188
    def __hash__(self):
 
189
        raise ValueError('not hashable')
 
190
 
 
191
 
 
192
 
 
193
class RootEntry(InventoryEntry):
 
194
    def __init__(self, file_id):
 
195
        self.file_id = file_id
 
196
        self.children = {}
 
197
        self.kind = 'root_directory'
 
198
        self.parent_id = None
 
199
        self.name = ''
 
200
 
 
201
    def __eq__(self, other):
 
202
        if not isinstance(other, RootEntry):
 
203
            return NotImplemented
 
204
        
 
205
        return (self.file_id == other.file_id) \
 
206
               and (self.children == other.children)
 
207
 
 
208
 
 
209
 
 
210
class Inventory(object):
 
211
    """Inventory of versioned files in a tree.
 
212
 
 
213
    This describes which file_id is present at each point in the tree,
 
214
    and possibly the SHA-1 or other information about the file.
 
215
    Entries can be looked up either by path or by file_id.
 
216
 
 
217
    The inventory represents a typical unix file tree, with
 
218
    directories containing files and subdirectories.  We never store
 
219
    the full path to a file, because renaming a directory implicitly
 
220
    moves all of its contents.  This class internally maintains a
 
221
    lookup tree that allows the children under a directory to be
 
222
    returned quickly.
 
223
 
 
224
    InventoryEntry objects must not be modified after they are
 
225
    inserted, other than through the Inventory API.
 
226
 
 
227
    >>> inv = Inventory()
 
228
    >>> inv.add(InventoryEntry('123-123', 'hello.c', 'file', ROOT_ID))
 
229
    InventoryEntry('123-123', 'hello.c', kind='file', parent_id='TREE_ROOT')
 
230
    >>> inv['123-123'].name
 
231
    'hello.c'
 
232
 
 
233
    May be treated as an iterator or set to look up file ids:
 
234
    
 
235
    >>> bool(inv.path2id('hello.c'))
 
236
    True
 
237
    >>> '123-123' in inv
 
238
    True
 
239
 
 
240
    May also look up by name:
 
241
 
 
242
    >>> [x[0] for x in inv.iter_entries()]
 
243
    ['hello.c']
 
244
    >>> inv = Inventory('TREE_ROOT-12345678-12345678')
 
245
    >>> inv.add(InventoryEntry('123-123', 'hello.c', 'file', ROOT_ID))
 
246
    InventoryEntry('123-123', 'hello.c', kind='file', parent_id='TREE_ROOT-12345678-12345678')
 
247
    """
 
248
    def __init__(self, root_id=ROOT_ID):
 
249
        """Create or read an inventory.
 
250
 
 
251
        If a working directory is specified, the inventory is read
 
252
        from there.  If the file is specified, read from that. If not,
 
253
        the inventory is created empty.
 
254
 
 
255
        The inventory is created with a default root directory, with
 
256
        an id of None.
 
257
        """
 
258
        # We are letting Branch(init=True) create a unique inventory
 
259
        # root id. Rather than generating a random one here.
 
260
        #if root_id is None:
 
261
        #    root_id = bzrlib.branch.gen_file_id('TREE_ROOT')
 
262
        self.root = RootEntry(root_id)
 
263
        self._byid = {self.root.file_id: self.root}
 
264
 
 
265
 
 
266
    def copy(self):
 
267
        other = Inventory(self.root.file_id)
 
268
        for entry in self._byid.itervalues():
 
269
            if entry == self.root:
 
270
                continue
 
271
            other.add(entry.copy())
 
272
        return other
 
273
 
 
274
 
 
275
    def __iter__(self):
 
276
        return iter(self._byid)
 
277
 
 
278
 
 
279
    def __len__(self):
 
280
        """Returns number of entries."""
 
281
        return len(self._byid)
 
282
 
 
283
 
 
284
    def iter_entries(self, from_dir=None):
 
285
        """Return (path, entry) pairs, in order by name."""
 
286
        if from_dir == None:
 
287
            assert self.root
 
288
            from_dir = self.root
 
289
        elif isinstance(from_dir, basestring):
 
290
            from_dir = self._byid[from_dir]
 
291
            
 
292
        kids = from_dir.children.items()
 
293
        kids.sort()
 
294
        for name, ie in kids:
 
295
            yield name, ie
 
296
            if ie.kind == 'directory':
 
297
                for cn, cie in self.iter_entries(from_dir=ie.file_id):
 
298
                    yield os.path.join(name, cn), cie
 
299
 
 
300
 
 
301
    def entries(self):
 
302
        """Return list of (path, ie) for all entries except the root.
 
303
 
 
304
        This may be faster than iter_entries.
 
305
        """
 
306
        accum = []
 
307
        def descend(dir_ie, dir_path):
 
308
            kids = dir_ie.children.items()
 
309
            kids.sort()
 
310
            for name, ie in kids:
 
311
                child_path = os.path.join(dir_path, name)
 
312
                accum.append((child_path, ie))
 
313
                if ie.kind == 'directory':
 
314
                    descend(ie, child_path)
 
315
 
 
316
        descend(self.root, '')
 
317
        return accum
 
318
 
 
319
 
 
320
    def directories(self):
 
321
        """Return (path, entry) pairs for all directories, including the root.
 
322
        """
 
323
        accum = []
 
324
        def descend(parent_ie, parent_path):
 
325
            accum.append((parent_path, parent_ie))
 
326
            
 
327
            kids = [(ie.name, ie) for ie in parent_ie.children.itervalues() if ie.kind == 'directory']
 
328
            kids.sort()
 
329
 
 
330
            for name, child_ie in kids:
 
331
                child_path = os.path.join(parent_path, name)
 
332
                descend(child_ie, child_path)
 
333
        descend(self.root, '')
 
334
        return accum
 
335
        
 
336
 
 
337
 
 
338
    def __contains__(self, file_id):
 
339
        """True if this entry contains a file with given id.
 
340
 
 
341
        >>> inv = Inventory()
 
342
        >>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
 
343
        InventoryEntry('123', 'foo.c', kind='file', parent_id='TREE_ROOT')
 
344
        >>> '123' in inv
 
345
        True
 
346
        >>> '456' in inv
 
347
        False
 
348
        """
 
349
        return file_id in self._byid
 
350
 
 
351
 
 
352
    def __getitem__(self, file_id):
 
353
        """Return the entry for given file_id.
 
354
 
 
355
        >>> inv = Inventory()
 
356
        >>> inv.add(InventoryEntry('123123', 'hello.c', 'file', ROOT_ID))
 
357
        InventoryEntry('123123', 'hello.c', kind='file', parent_id='TREE_ROOT')
 
358
        >>> inv['123123'].name
 
359
        'hello.c'
 
360
        """
 
361
        try:
 
362
            return self._byid[file_id]
 
363
        except KeyError:
 
364
            if file_id == None:
 
365
                raise BzrError("can't look up file_id None")
 
366
            else:
 
367
                raise BzrError("file_id {%s} not in inventory" % file_id)
 
368
 
 
369
 
 
370
    def get_file_kind(self, file_id):
 
371
        return self._byid[file_id].kind
 
372
 
 
373
    def get_child(self, parent_id, filename):
 
374
        return self[parent_id].children.get(filename)
 
375
 
 
376
 
 
377
    def add(self, entry):
 
378
        """Add entry to inventory.
 
379
 
 
380
        To add  a file to a branch ready to be committed, use Branch.add,
 
381
        which calls this.
 
382
 
 
383
        Returns the new entry object.
 
384
        """
 
385
        if entry.file_id in self._byid:
 
386
            raise BzrError("inventory already contains entry with id {%s}" % entry.file_id)
 
387
 
 
388
        if entry.parent_id == ROOT_ID or entry.parent_id is None:
 
389
            entry.parent_id = self.root.file_id
 
390
 
 
391
        try:
 
392
            parent = self._byid[entry.parent_id]
 
393
        except KeyError:
 
394
            raise BzrError("parent_id {%s} not in inventory" % entry.parent_id)
 
395
 
 
396
        if parent.children.has_key(entry.name):
 
397
            raise BzrError("%s is already versioned" %
 
398
                    appendpath(self.id2path(parent.file_id), entry.name))
 
399
 
 
400
        self._byid[entry.file_id] = entry
 
401
        parent.children[entry.name] = entry
 
402
        return entry
 
403
 
 
404
 
 
405
    def add_path(self, relpath, kind, file_id=None):
 
406
        """Add entry from a path.
 
407
 
 
408
        The immediate parent must already be versioned.
 
409
 
 
410
        Returns the new entry object."""
 
411
        from bzrlib.branch import gen_file_id
 
412
        
 
413
        parts = bzrlib.osutils.splitpath(relpath)
 
414
        if len(parts) == 0:
 
415
            raise BzrError("cannot re-add root of inventory")
 
416
 
 
417
        if file_id == None:
 
418
            file_id = gen_file_id(relpath)
 
419
 
 
420
        parent_path = parts[:-1]
 
421
        parent_id = self.path2id(parent_path)
 
422
        if parent_id == None:
 
423
            raise NotVersionedError(parent_path)
 
424
 
 
425
        ie = InventoryEntry(file_id, parts[-1],
 
426
                            kind=kind, parent_id=parent_id)
 
427
        return self.add(ie)
 
428
 
 
429
 
 
430
    def __delitem__(self, file_id):
 
431
        """Remove entry by id.
 
432
 
 
433
        >>> inv = Inventory()
 
434
        >>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
 
435
        InventoryEntry('123', 'foo.c', kind='file', parent_id='TREE_ROOT')
 
436
        >>> '123' in inv
 
437
        True
 
438
        >>> del inv['123']
 
439
        >>> '123' in inv
 
440
        False
 
441
        """
 
442
        ie = self[file_id]
 
443
 
 
444
        assert self[ie.parent_id].children[ie.name] == ie
 
445
        
 
446
        # TODO: Test deleting all children; maybe hoist to a separate
 
447
        # deltree method?
 
448
        if ie.kind == 'directory':
 
449
            for cie in ie.children.values():
 
450
                del self[cie.file_id]
 
451
            del ie.children
 
452
 
 
453
        del self._byid[file_id]
 
454
        del self[ie.parent_id].children[ie.name]
 
455
 
 
456
 
 
457
    def __eq__(self, other):
 
458
        """Compare two sets by comparing their contents.
 
459
 
 
460
        >>> i1 = Inventory()
 
461
        >>> i2 = Inventory()
 
462
        >>> i1 == i2
 
463
        True
 
464
        >>> i1.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
 
465
        InventoryEntry('123', 'foo', kind='file', parent_id='TREE_ROOT')
 
466
        >>> i1 == i2
 
467
        False
 
468
        >>> i2.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
 
469
        InventoryEntry('123', 'foo', kind='file', parent_id='TREE_ROOT')
 
470
        >>> i1 == i2
 
471
        True
 
472
        """
 
473
        if not isinstance(other, Inventory):
 
474
            return NotImplemented
 
475
 
 
476
        if len(self._byid) != len(other._byid):
 
477
            # shortcut: obviously not the same
 
478
            return False
 
479
 
 
480
        return self._byid == other._byid
 
481
 
 
482
 
 
483
    def __ne__(self, other):
 
484
        return not (self == other)
 
485
 
 
486
 
 
487
    def __hash__(self):
 
488
        raise ValueError('not hashable')
 
489
 
 
490
 
 
491
    def get_idpath(self, file_id):
 
492
        """Return a list of file_ids for the path to an entry.
 
493
 
 
494
        The list contains one element for each directory followed by
 
495
        the id of the file itself.  So the length of the returned list
 
496
        is equal to the depth of the file in the tree, counting the
 
497
        root directory as depth 1.
 
498
        """
 
499
        p = []
 
500
        while file_id != None:
 
501
            try:
 
502
                ie = self._byid[file_id]
 
503
            except KeyError:
 
504
                raise BzrError("file_id {%s} not found in inventory" % file_id)
 
505
            p.insert(0, ie.file_id)
 
506
            file_id = ie.parent_id
 
507
        return p
 
508
 
 
509
 
 
510
    def id2path(self, file_id):
 
511
        """Return as a list the path to file_id."""
 
512
 
 
513
        # get all names, skipping root
 
514
        p = [self._byid[fid].name for fid in self.get_idpath(file_id)[1:]]
 
515
        return os.sep.join(p)
 
516
            
 
517
 
 
518
 
 
519
    def path2id(self, name):
 
520
        """Walk down through directories to return entry of last component.
 
521
 
 
522
        names may be either a list of path components, or a single
 
523
        string, in which case it is automatically split.
 
524
 
 
525
        This returns the entry of the last component in the path,
 
526
        which may be either a file or a directory.
 
527
 
 
528
        Returns None iff the path is not found.
 
529
        """
 
530
        if isinstance(name, types.StringTypes):
 
531
            name = splitpath(name)
 
532
 
 
533
        mutter("lookup path %r" % name)
 
534
 
 
535
        parent = self.root
 
536
        for f in name:
 
537
            try:
 
538
                cie = parent.children[f]
 
539
                assert cie.name == f
 
540
                assert cie.parent_id == parent.file_id
 
541
                parent = cie
 
542
            except KeyError:
 
543
                # or raise an error?
 
544
                return None
 
545
 
 
546
        return parent.file_id
 
547
 
 
548
 
 
549
    def has_filename(self, names):
 
550
        return bool(self.path2id(names))
 
551
 
 
552
 
 
553
    def has_id(self, file_id):
 
554
        return self._byid.has_key(file_id)
 
555
 
 
556
 
 
557
    def rename(self, file_id, new_parent_id, new_name):
 
558
        """Move a file within the inventory.
 
559
 
 
560
        This can change either the name, or the parent, or both.
 
561
 
 
562
        This does not move the working file."""
 
563
        if not is_valid_name(new_name):
 
564
            raise BzrError("not an acceptable filename: %r" % new_name)
 
565
 
 
566
        new_parent = self._byid[new_parent_id]
 
567
        if new_name in new_parent.children:
 
568
            raise BzrError("%r already exists in %r" % (new_name, self.id2path(new_parent_id)))
 
569
 
 
570
        new_parent_idpath = self.get_idpath(new_parent_id)
 
571
        if file_id in new_parent_idpath:
 
572
            raise BzrError("cannot move directory %r into a subdirectory of itself, %r"
 
573
                    % (self.id2path(file_id), self.id2path(new_parent_id)))
 
574
 
 
575
        file_ie = self._byid[file_id]
 
576
        old_parent = self._byid[file_ie.parent_id]
 
577
 
 
578
        # TODO: Don't leave things messed up if this fails
 
579
 
 
580
        del old_parent.children[file_ie.name]
 
581
        new_parent.children[new_name] = file_ie
 
582
        
 
583
        file_ie.name = new_name
 
584
        file_ie.parent_id = new_parent_id
 
585
 
 
586
 
 
587
 
 
588
 
 
589
_NAME_RE = None
 
590
 
 
591
def is_valid_name(name):
 
592
    global _NAME_RE
 
593
    if _NAME_RE == None:
 
594
        _NAME_RE = re.compile(r'^[^/\\]+$')
 
595
        
 
596
    return bool(_NAME_RE.match(name))