~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/inventory.py

  • Committer: Martin Pool
  • Date: 2005-09-12 09:00:11 UTC
  • Revision ID: mbp@sourcefrog.net-20050912090011-97e81abfaeeb8948
- fix bug in Inventory.copy() 
  
  must copy inventory top-down so that directories are added before
  their children

Show diffs side-by-side

added added

removed removed

Lines of Context:
15
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
 
 
18
# TODO: Maybe also keep the full path of the entry, and the children?
 
19
# But those depend on its position within a particular inventory, and
 
20
# it would be nice not to need to hold the backpointer here.
 
21
 
 
22
# TODO: Perhaps split InventoryEntry into subclasses for files,
 
23
# directories, etc etc.
 
24
 
 
25
 
18
26
# This should really be an id randomly assigned when the tree is
19
27
# created, but it's not for now.
20
28
ROOT_ID = "TREE_ROOT"
21
29
 
22
30
 
23
31
import sys, os.path, types, re
24
 
from sets import Set
25
 
 
26
 
try:
27
 
    from cElementTree import Element, ElementTree, SubElement
28
 
except ImportError:
29
 
    from elementtree.ElementTree import Element, ElementTree, SubElement
30
 
 
31
 
from xml import XMLMixin
32
 
from errors import bailout, BzrError, BzrCheckError
33
32
 
34
33
import bzrlib
 
34
from bzrlib.errors import BzrError, BzrCheckError
 
35
 
35
36
from bzrlib.osutils import uuid, quotefn, splitpath, joinpath, appendpath
36
37
from bzrlib.trace import mutter
 
38
from bzrlib.errors import NotVersionedError
 
39
        
37
40
 
38
 
class InventoryEntry(XMLMixin):
 
41
class InventoryEntry(object):
39
42
    """Description of a versioned file.
40
43
 
41
44
    An InventoryEntry has the following fields, which are also
42
45
    present in the XML inventory-entry element:
43
46
 
44
 
    * *file_id*
45
 
    * *name*: (only the basename within the directory, must not
46
 
      contain slashes)
47
 
    * *kind*: "directory" or "file"
48
 
    * *directory_id*: (if absent/null means the branch root directory)
49
 
    * *text_sha1*: only for files
50
 
    * *text_size*: in bytes, only for files 
51
 
    * *text_id*: identifier for the text version, only for files
52
 
 
53
 
    InventoryEntries can also exist inside a WorkingTree
54
 
    inventory, in which case they are not yet bound to a
55
 
    particular revision of the file.  In that case the text_sha1,
56
 
    text_size and text_id are absent.
57
 
 
 
47
    file_id
 
48
 
 
49
    name
 
50
        (within the parent directory)
 
51
 
 
52
    kind
 
53
        'directory' or 'file'
 
54
 
 
55
    parent_id
 
56
        file_id of the parent directory, or ROOT_ID
 
57
 
 
58
    entry_version
 
59
        the revision_id in which the name or parent of this file was
 
60
        last changed
 
61
 
 
62
    text_sha1
 
63
        sha-1 of the text of the file
 
64
        
 
65
    text_size
 
66
        size in bytes of the text of the file
 
67
        
 
68
    text_version
 
69
        the revision_id in which the text of this file was introduced
 
70
 
 
71
    (reading a version 4 tree created a text_id field.)
58
72
 
59
73
    >>> i = Inventory()
60
74
    >>> i.path2id('')
61
75
    'TREE_ROOT'
62
76
    >>> i.add(InventoryEntry('123', 'src', 'directory', ROOT_ID))
 
77
    InventoryEntry('123', 'src', kind='directory', parent_id='TREE_ROOT')
63
78
    >>> i.add(InventoryEntry('2323', 'hello.c', 'file', parent_id='123'))
 
79
    InventoryEntry('2323', 'hello.c', kind='file', parent_id='123')
64
80
    >>> for j in i.iter_entries():
65
81
    ...   print j
66
82
    ... 
69
85
    >>> i.add(InventoryEntry('2323', 'bye.c', 'file', '123'))
70
86
    Traceback (most recent call last):
71
87
    ...
72
 
    BzrError: ('inventory already contains entry with id {2323}', [])
 
88
    BzrError: inventory already contains entry with id {2323}
73
89
    >>> i.add(InventoryEntry('2324', 'bye.c', 'file', '123'))
 
90
    InventoryEntry('2324', 'bye.c', kind='file', parent_id='123')
74
91
    >>> i.add(InventoryEntry('2325', 'wibble', 'directory', '123'))
 
92
    InventoryEntry('2325', 'wibble', kind='directory', parent_id='123')
75
93
    >>> i.path2id('src/wibble')
76
94
    '2325'
77
95
    >>> '2325' in i
78
96
    True
79
97
    >>> i.add(InventoryEntry('2326', 'wibble.c', 'file', '2325'))
 
98
    InventoryEntry('2326', 'wibble.c', kind='file', parent_id='2325')
80
99
    >>> i['2326']
81
100
    InventoryEntry('2326', 'wibble.c', kind='file', parent_id='2325')
82
101
    >>> for j in i.iter_entries():
90
109
    src/wibble/wibble.c
91
110
    >>> i.id2path('2326')
92
111
    '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
112
    """
98
 
 
99
 
    # TODO: split InventoryEntry into subclasses for files,
100
 
    # directories, etc etc.
101
 
 
102
 
    text_sha1 = None
103
 
    text_size = None
104
113
    
 
114
    __slots__ = ['text_sha1', 'text_size', 'file_id', 'name', 'kind',
 
115
                 'text_id', 'parent_id', 'children',
 
116
                 'text_version', 'entry_version', ]
 
117
 
 
118
 
105
119
    def __init__(self, file_id, name, kind, parent_id, text_id=None):
106
120
        """Create an InventoryEntry
107
121
        
117
131
        Traceback (most recent call last):
118
132
        BzrCheckError: InventoryEntry name 'src/hello.c' is invalid
119
133
        """
 
134
        assert isinstance(name, basestring), name
120
135
        if '/' in name or '\\' in name:
121
136
            raise BzrCheckError('InventoryEntry name %r is invalid' % name)
122
137
        
 
138
        self.text_version = None
 
139
        self.entry_version = None
 
140
        self.text_sha1 = None
 
141
        self.text_size = None
123
142
        self.file_id = file_id
124
143
        self.name = name
125
144
        self.kind = kind
142
161
 
143
162
    def copy(self):
144
163
        other = InventoryEntry(self.file_id, self.name, self.kind,
145
 
                               self.parent_id, text_id=self.text_id)
 
164
                               self.parent_id)
 
165
        other.text_id = self.text_id
146
166
        other.text_sha1 = self.text_sha1
147
167
        other.text_size = self.text_size
 
168
        # note that children are *not* copied; they're pulled across when
 
169
        # others are added
148
170
        return other
149
171
 
150
172
 
157
179
                   self.parent_id))
158
180
 
159
181
    
160
 
    def to_element(self):
161
 
        """Convert to XML element"""
162
 
        e = Element('entry')
163
 
 
164
 
        e.set('name', self.name)
165
 
        e.set('file_id', self.file_id)
166
 
        e.set('kind', self.kind)
167
 
 
168
 
        if self.text_size != None:
169
 
            e.set('text_size', '%d' % self.text_size)
170
 
            
171
 
        for f in ['text_id', 'text_sha1']:
172
 
            v = getattr(self, f)
173
 
            if v != None:
174
 
                e.set(f, v)
175
 
 
176
 
        # to be conservative, we don't externalize the root pointers
177
 
        # for now, leaving them as null in the xml form.  in a future
178
 
        # version it will be implied by nested elements.
179
 
        if self.parent_id != ROOT_ID:
180
 
            assert isinstance(self.parent_id, basestring)
181
 
            e.set('parent_id', self.parent_id)
182
 
 
183
 
        e.tail = '\n'
184
 
            
185
 
        return e
186
 
 
187
 
 
188
 
    def from_element(cls, elt):
189
 
        assert elt.tag == 'entry'
190
 
 
191
 
        ## original format inventories don't have a parent_id for
192
 
        ## nodes in the root directory, but it's cleaner to use one
193
 
        ## internally.
194
 
        parent_id = elt.get('parent_id')
195
 
        if parent_id == None:
196
 
            parent_id = ROOT_ID
197
 
 
198
 
        self = cls(elt.get('file_id'), elt.get('name'), elt.get('kind'), parent_id)
199
 
        self.text_id = elt.get('text_id')
200
 
        self.text_sha1 = elt.get('text_sha1')
201
 
        
202
 
        ## mutter("read inventoryentry: %r" % (elt.attrib))
203
 
 
204
 
        v = elt.get('text_size')
205
 
        self.text_size = v and int(v)
206
 
 
207
 
        return self
208
 
            
209
 
 
210
 
    from_element = classmethod(from_element)
211
 
 
212
 
    def __cmp__(self, other):
213
 
        if self is other:
214
 
            return 0
 
182
    def __eq__(self, other):
215
183
        if not isinstance(other, InventoryEntry):
216
184
            return NotImplemented
217
185
 
218
 
        return cmp(self.file_id, other.file_id) \
219
 
               or cmp(self.name, other.name) \
220
 
               or cmp(self.text_sha1, other.text_sha1) \
221
 
               or cmp(self.text_size, other.text_size) \
222
 
               or cmp(self.text_id, other.text_id) \
223
 
               or cmp(self.parent_id, other.parent_id) \
224
 
               or cmp(self.kind, other.kind)
 
186
        return (self.file_id == other.file_id) \
 
187
               and (self.name == other.name) \
 
188
               and (self.text_sha1 == other.text_sha1) \
 
189
               and (self.text_size == other.text_size) \
 
190
               and (self.text_id == other.text_id) \
 
191
               and (self.parent_id == other.parent_id) \
 
192
               and (self.kind == other.kind) \
 
193
               and (self.text_version == other.text_version) \
 
194
               and (self.entry_version == other.entry_version)
 
195
 
 
196
 
 
197
    def __ne__(self, other):
 
198
        return not (self == other)
 
199
 
 
200
    def __hash__(self):
 
201
        raise ValueError('not hashable')
225
202
 
226
203
 
227
204
 
233
210
        self.parent_id = None
234
211
        self.name = ''
235
212
 
236
 
    def __cmp__(self, other):
237
 
        if self is other:
238
 
            return 0
 
213
    def __eq__(self, other):
239
214
        if not isinstance(other, RootEntry):
240
215
            return NotImplemented
241
 
        return cmp(self.file_id, other.file_id) \
242
 
               or cmp(self.children, other.children)
243
 
 
244
 
 
245
 
 
246
 
class Inventory(XMLMixin):
 
216
        
 
217
        return (self.file_id == other.file_id) \
 
218
               and (self.children == other.children)
 
219
 
 
220
 
 
221
 
 
222
class Inventory(object):
247
223
    """Inventory of versioned files in a tree.
248
224
 
249
225
    This describes which file_id is present at each point in the tree,
261
237
    inserted, other than through the Inventory API.
262
238
 
263
239
    >>> inv = Inventory()
264
 
    >>> inv.write_xml(sys.stdout)
265
 
    <inventory>
266
 
    </inventory>
267
240
    >>> inv.add(InventoryEntry('123-123', 'hello.c', 'file', ROOT_ID))
 
241
    InventoryEntry('123-123', 'hello.c', kind='file', parent_id='TREE_ROOT')
268
242
    >>> inv['123-123'].name
269
243
    'hello.c'
270
244
 
279
253
 
280
254
    >>> [x[0] for x in inv.iter_entries()]
281
255
    ['hello.c']
282
 
    
283
 
    >>> inv.write_xml(sys.stdout)
284
 
    <inventory>
285
 
    <entry file_id="123-123" kind="file" name="hello.c" />
286
 
    </inventory>
287
 
 
 
256
    >>> inv = Inventory('TREE_ROOT-12345678-12345678')
 
257
    >>> inv.add(InventoryEntry('123-123', 'hello.c', 'file', ROOT_ID))
 
258
    InventoryEntry('123-123', 'hello.c', kind='file', parent_id='TREE_ROOT-12345678-12345678')
288
259
    """
289
 
    def __init__(self):
 
260
    def __init__(self, root_id=ROOT_ID):
290
261
        """Create or read an inventory.
291
262
 
292
263
        If a working directory is specified, the inventory is read
296
267
        The inventory is created with a default root directory, with
297
268
        an id of None.
298
269
        """
299
 
        self.root = RootEntry(ROOT_ID)
 
270
        # We are letting Branch(init=True) create a unique inventory
 
271
        # root id. Rather than generating a random one here.
 
272
        #if root_id is None:
 
273
        #    root_id = bzrlib.branch.gen_file_id('TREE_ROOT')
 
274
        self.root = RootEntry(root_id)
300
275
        self._byid = {self.root.file_id: self.root}
301
276
 
302
277
 
 
278
    def copy(self):
 
279
        other = Inventory(self.root.file_id)
 
280
        # copy recursively so we know directories will be added before
 
281
        # their children.  There are more efficient ways than this...
 
282
        for path, entry in self.iter_entries():
 
283
            if entry == self.root:
 
284
                continue
 
285
            other.add(entry.copy())
 
286
        return other
 
287
 
 
288
 
303
289
    def __iter__(self):
304
290
        return iter(self._byid)
305
291
 
324
310
            if ie.kind == 'directory':
325
311
                for cn, cie in self.iter_entries(from_dir=ie.file_id):
326
312
                    yield os.path.join(name, cn), cie
327
 
                    
 
313
 
 
314
 
 
315
    def entries(self):
 
316
        """Return list of (path, ie) for all entries except the root.
 
317
 
 
318
        This may be faster than iter_entries.
 
319
        """
 
320
        accum = []
 
321
        def descend(dir_ie, dir_path):
 
322
            kids = dir_ie.children.items()
 
323
            kids.sort()
 
324
            for name, ie in kids:
 
325
                child_path = os.path.join(dir_path, name)
 
326
                accum.append((child_path, ie))
 
327
                if ie.kind == 'directory':
 
328
                    descend(ie, child_path)
 
329
 
 
330
        descend(self.root, '')
 
331
        return accum
328
332
 
329
333
 
330
334
    def directories(self):
331
 
        """Return (path, entry) pairs for all directories.
 
335
        """Return (path, entry) pairs for all directories, including the root.
332
336
        """
333
 
        def descend(parent_ie):
334
 
            parent_name = parent_ie.name
335
 
            yield parent_name, parent_ie
336
 
 
337
 
            # directory children in sorted order
338
 
            dn = []
339
 
            for ie in parent_ie.children.itervalues():
340
 
                if ie.kind == 'directory':
341
 
                    dn.append((ie.name, ie))
342
 
            dn.sort()
 
337
        accum = []
 
338
        def descend(parent_ie, parent_path):
 
339
            accum.append((parent_path, parent_ie))
343
340
            
344
 
            for name, child_ie in dn:
345
 
                for sub_name, sub_ie in descend(child_ie):
346
 
                    yield appendpath(parent_name, sub_name), sub_ie
 
341
            kids = [(ie.name, ie) for ie in parent_ie.children.itervalues() if ie.kind == 'directory']
 
342
            kids.sort()
347
343
 
348
 
        for name, ie in descend(self.root):
349
 
            yield name, ie
 
344
            for name, child_ie in kids:
 
345
                child_path = os.path.join(parent_path, name)
 
346
                descend(child_ie, child_path)
 
347
        descend(self.root, '')
 
348
        return accum
350
349
        
351
350
 
352
351
 
355
354
 
356
355
        >>> inv = Inventory()
357
356
        >>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
 
357
        InventoryEntry('123', 'foo.c', kind='file', parent_id='TREE_ROOT')
358
358
        >>> '123' in inv
359
359
        True
360
360
        >>> '456' in inv
368
368
 
369
369
        >>> inv = Inventory()
370
370
        >>> inv.add(InventoryEntry('123123', 'hello.c', 'file', ROOT_ID))
 
371
        InventoryEntry('123123', 'hello.c', kind='file', parent_id='TREE_ROOT')
371
372
        >>> inv['123123'].name
372
373
        'hello.c'
373
374
        """
391
392
        """Add entry to inventory.
392
393
 
393
394
        To add  a file to a branch ready to be committed, use Branch.add,
394
 
        which calls this."""
 
395
        which calls this.
 
396
 
 
397
        Returns the new entry object.
 
398
        """
395
399
        if entry.file_id in self._byid:
396
 
            bailout("inventory already contains entry with id {%s}" % entry.file_id)
 
400
            raise BzrError("inventory already contains entry with id {%s}" % entry.file_id)
 
401
 
 
402
        if entry.parent_id == ROOT_ID or entry.parent_id is None:
 
403
            entry.parent_id = self.root.file_id
397
404
 
398
405
        try:
399
406
            parent = self._byid[entry.parent_id]
400
407
        except KeyError:
401
 
            bailout("parent_id {%s} not in inventory" % entry.parent_id)
 
408
            raise BzrError("parent_id {%s} not in inventory" % entry.parent_id)
402
409
 
403
410
        if parent.children.has_key(entry.name):
404
 
            bailout("%s is already versioned" %
 
411
            raise BzrError("%s is already versioned" %
405
412
                    appendpath(self.id2path(parent.file_id), entry.name))
406
413
 
407
414
        self._byid[entry.file_id] = entry
408
415
        parent.children[entry.name] = entry
 
416
        return entry
409
417
 
410
418
 
411
419
    def add_path(self, relpath, kind, file_id=None):
412
420
        """Add entry from a path.
413
421
 
414
 
        The immediate parent must already be versioned"""
 
422
        The immediate parent must already be versioned.
 
423
 
 
424
        Returns the new entry object."""
 
425
        from bzrlib.branch import gen_file_id
 
426
        
415
427
        parts = bzrlib.osutils.splitpath(relpath)
416
428
        if len(parts) == 0:
417
 
            bailout("cannot re-add root of inventory")
 
429
            raise BzrError("cannot re-add root of inventory")
418
430
 
419
431
        if file_id == None:
420
 
            file_id = bzrlib.branch.gen_file_id(relpath)
421
 
 
422
 
        parent_id = self.path2id(parts[:-1])
423
 
        assert parent_id != None
 
432
            file_id = gen_file_id(relpath)
 
433
 
 
434
        parent_path = parts[:-1]
 
435
        parent_id = self.path2id(parent_path)
 
436
        if parent_id == None:
 
437
            raise NotVersionedError(parent_path)
 
438
 
424
439
        ie = InventoryEntry(file_id, parts[-1],
425
440
                            kind=kind, parent_id=parent_id)
426
441
        return self.add(ie)
431
446
 
432
447
        >>> inv = Inventory()
433
448
        >>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
 
449
        InventoryEntry('123', 'foo.c', kind='file', parent_id='TREE_ROOT')
434
450
        >>> '123' in inv
435
451
        True
436
452
        >>> del inv['123']
452
468
        del self[ie.parent_id].children[ie.name]
453
469
 
454
470
 
455
 
    def id_set(self):
456
 
        return Set(self._byid)
457
 
 
458
 
 
459
 
    def to_element(self):
460
 
        """Convert to XML Element"""
461
 
        e = Element('inventory')
462
 
        e.text = '\n'
463
 
        for path, ie in self.iter_entries():
464
 
            e.append(ie.to_element())
465
 
        return e
466
 
    
467
 
 
468
 
    def from_element(cls, elt):
469
 
        """Construct from XML Element
470
 
 
471
 
        >>> inv = Inventory()
472
 
        >>> inv.add(InventoryEntry('foo.c-123981239', 'foo.c', 'file', ROOT_ID))
473
 
        >>> elt = inv.to_element()
474
 
        >>> inv2 = Inventory.from_element(elt)
475
 
        >>> inv2 == inv
476
 
        True
477
 
        """
478
 
        assert elt.tag == 'inventory'
479
 
        o = cls()
480
 
        for e in elt:
481
 
            o.add(InventoryEntry.from_element(e))
482
 
        return o
483
 
        
484
 
    from_element = classmethod(from_element)
485
 
 
486
 
 
487
 
    def __cmp__(self, other):
 
471
    def __eq__(self, other):
488
472
        """Compare two sets by comparing their contents.
489
473
 
490
474
        >>> i1 = Inventory()
492
476
        >>> i1 == i2
493
477
        True
494
478
        >>> i1.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
 
479
        InventoryEntry('123', 'foo', kind='file', parent_id='TREE_ROOT')
495
480
        >>> i1 == i2
496
481
        False
497
482
        >>> i2.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
 
483
        InventoryEntry('123', 'foo', kind='file', parent_id='TREE_ROOT')
498
484
        >>> i1 == i2
499
485
        True
500
486
        """
501
 
        if self is other:
502
 
            return 0
503
 
        
504
487
        if not isinstance(other, Inventory):
505
488
            return NotImplemented
506
489
 
507
 
        if self.id_set() ^ other.id_set():
508
 
            return 1
509
 
 
510
 
        for file_id in self._byid:
511
 
            c = cmp(self[file_id], other[file_id])
512
 
            if c: return c
513
 
 
514
 
        return 0
 
490
        if len(self._byid) != len(other._byid):
 
491
            # shortcut: obviously not the same
 
492
            return False
 
493
 
 
494
        return self._byid == other._byid
 
495
 
 
496
 
 
497
    def __ne__(self, other):
 
498
        return not (self == other)
 
499
 
 
500
 
 
501
    def __hash__(self):
 
502
        raise ValueError('not hashable')
515
503
 
516
504
 
517
505
    def get_idpath(self, file_id):
527
515
            try:
528
516
                ie = self._byid[file_id]
529
517
            except KeyError:
530
 
                bailout("file_id {%s} not found in inventory" % file_id)
 
518
                raise BzrError("file_id {%s} not found in inventory" % file_id)
531
519
            p.insert(0, ie.file_id)
532
520
            file_id = ie.parent_id
533
521
        return p
537
525
        """Return as a list the path to file_id."""
538
526
 
539
527
        # get all names, skipping root
540
 
        p = [self[fid].name for fid in self.get_idpath(file_id)[1:]]
 
528
        p = [self._byid[fid].name for fid in self.get_idpath(file_id)[1:]]
541
529
        return os.sep.join(p)
542
530
            
543
531
 
587
575
 
588
576
        This does not move the working file."""
589
577
        if not is_valid_name(new_name):
590
 
            bailout("not an acceptable filename: %r" % new_name)
 
578
            raise BzrError("not an acceptable filename: %r" % new_name)
591
579
 
592
580
        new_parent = self._byid[new_parent_id]
593
581
        if new_name in new_parent.children:
594
 
            bailout("%r already exists in %r" % (new_name, self.id2path(new_parent_id)))
 
582
            raise BzrError("%r already exists in %r" % (new_name, self.id2path(new_parent_id)))
595
583
 
596
584
        new_parent_idpath = self.get_idpath(new_parent_id)
597
585
        if file_id in new_parent_idpath:
598
 
            bailout("cannot move directory %r into a subdirectory of itself, %r"
 
586
            raise BzrError("cannot move directory %r into a subdirectory of itself, %r"
599
587
                    % (self.id2path(file_id), self.id2path(new_parent_id)))
600
588
 
601
589
        file_ie = self._byid[file_id]
612
600
 
613
601
 
614
602
 
615
 
_NAME_RE = re.compile(r'^[^/\\]+$')
 
603
_NAME_RE = None
616
604
 
617
605
def is_valid_name(name):
 
606
    global _NAME_RE
 
607
    if _NAME_RE == None:
 
608
        _NAME_RE = re.compile(r'^[^/\\]+$')
 
609
        
618
610
    return bool(_NAME_RE.match(name))