15
14
# along with this program; if not, write to the Free Software
16
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18
"""Inventories map files to their name in a revision."""
21
__copyright__ = "Copyright (C) 2005 Canonical Ltd."
22
__author__ = "Martin Pool <mbp@canonical.com>"
24
import sys, os.path, types
18
# This should really be an id randomly assigned when the tree is
19
# created, but it's not for now.
23
import sys, os.path, types, re
28
26
from cElementTree import Element, ElementTree, SubElement
30
28
from elementtree.ElementTree import Element, ElementTree, SubElement
32
30
from xml import XMLMixin
33
from errors import bailout
34
from osutils import uuid, quotefn, splitpath, joinpath, appendpath
35
from trace import mutter
31
from errors import bailout, BzrError, BzrCheckError
34
from bzrlib.osutils import uuid, quotefn, splitpath, joinpath, appendpath
35
from bzrlib.trace import mutter
37
37
class InventoryEntry(XMLMixin):
38
38
"""Description of a versioned file.
58
58
>>> i = Inventory()
60
>>> i.add(InventoryEntry('123', 'src', kind='directory'))
61
>>> i.add(InventoryEntry('2323', 'hello.c', parent_id='123'))
61
>>> i.add(InventoryEntry('123', 'src', 'directory', ROOT_ID))
62
>>> i.add(InventoryEntry('2323', 'hello.c', 'file', parent_id='123'))
62
63
>>> for j in i.iter_entries():
65
('src', InventoryEntry('123', 'src', kind='directory', parent_id=None))
66
('src', InventoryEntry('123', 'src', kind='directory', parent_id='TREE_ROOT'))
66
67
('src/hello.c', InventoryEntry('2323', 'hello.c', kind='file', parent_id='123'))
67
>>> i.add(InventoryEntry('2323', 'bye.c', parent_id='123'))
68
>>> i.add(InventoryEntry('2323', 'bye.c', 'file', '123'))
68
69
Traceback (most recent call last):
70
71
BzrError: ('inventory already contains entry with id {2323}', [])
71
>>> i.add(InventoryEntry('2324', 'bye.c', parent_id='123'))
72
>>> i.add(InventoryEntry('2325', 'wibble', parent_id='123', kind='directory'))
72
>>> i.add(InventoryEntry('2324', 'bye.c', 'file', '123'))
73
>>> i.add(InventoryEntry('2325', 'wibble', 'directory', '123'))
73
74
>>> i.path2id('src/wibble')
77
>>> i.add(InventoryEntry('2326', 'wibble.c', parent_id='2325'))
78
>>> i.add(InventoryEntry('2326', 'wibble.c', 'file', '2325'))
79
80
InventoryEntry('2326', 'wibble.c', kind='file', parent_id='2325')
80
81
>>> for j in i.iter_entries():
89
90
>>> i.id2path('2326')
90
91
'src/wibble/wibble.c'
92
:todo: Maybe also keep the full path of the entry, and the children?
93
TODO: Maybe also keep the full path of the entry, and the children?
93
94
But those depend on its position within a particular inventory, and
94
95
it would be nice not to need to hold the backpointer here.
96
def __init__(self, file_id, name, kind='file', text_id=None,
98
# TODO: split InventoryEntry into subclasses for files,
99
# directories, etc etc.
104
def __init__(self, file_id, name, kind, parent_id, text_id=None):
98
105
"""Create an InventoryEntry
100
107
The filename must be a single component, relative to the
101
108
parent directory; it cannot be a whole path or relative name.
103
>>> e = InventoryEntry('123', 'hello.c')
110
>>> e = InventoryEntry('123', 'hello.c', 'file', ROOT_ID)
108
>>> e = InventoryEntry('123', 'src/hello.c')
115
>>> e = InventoryEntry('123', 'src/hello.c', 'file', ROOT_ID)
109
116
Traceback (most recent call last):
110
BzrError: ("InventoryEntry name is not a simple filename: 'src/hello.c'", [])
117
BzrCheckError: InventoryEntry name 'src/hello.c' is invalid
113
if len(splitpath(name)) != 1:
114
bailout('InventoryEntry name is not a simple filename: %r'
119
if '/' in name or '\\' in name:
120
raise BzrCheckError('InventoryEntry name %r is invalid' % name)
117
122
self.file_id = file_id
119
assert kind in ['file', 'directory']
121
125
self.text_id = text_id
122
126
self.parent_id = parent_id
123
self.text_sha1 = None
124
self.text_size = None
127
if kind == 'directory':
132
raise BzrError("unhandled entry kind %r" % kind)
136
def sorted_children(self):
137
l = self.children.items()
128
143
other = InventoryEntry(self.file_id, self.name, self.kind,
129
self.text_id, self.parent_id)
144
self.parent_id, text_id=self.text_id)
130
145
other.text_sha1 = self.text_sha1
131
146
other.text_size = self.text_size
147
# note that children are *not* copied; they're pulled across when
149
166
e.set('file_id', self.file_id)
150
167
e.set('kind', self.kind)
152
if self.text_size is not None:
169
if self.text_size != None:
153
170
e.set('text_size', '%d' % self.text_size)
155
for f in ['text_id', 'text_sha1', 'parent_id']:
172
for f in ['text_id', 'text_sha1']:
156
173
v = getattr(self, f)
177
# to be conservative, we don't externalize the root pointers
178
# for now, leaving them as null in the xml form. in a future
179
# version it will be implied by nested elements.
180
if self.parent_id != ROOT_ID:
181
assert isinstance(self.parent_id, basestring)
182
e.set('parent_id', self.parent_id)
165
189
def from_element(cls, elt):
166
190
assert elt.tag == 'entry'
167
self = cls(elt.get('file_id'), elt.get('name'), elt.get('kind'))
192
## original format inventories don't have a parent_id for
193
## nodes in the root directory, but it's cleaner to use one
195
parent_id = elt.get('parent_id')
196
if parent_id == None:
199
self = cls(elt.get('file_id'), elt.get('name'), elt.get('kind'), parent_id)
168
200
self.text_id = elt.get('text_id')
169
201
self.text_sha1 = elt.get('text_sha1')
170
self.parent_id = elt.get('parent_id')
172
203
## mutter("read inventoryentry: %r" % (elt.attrib))
180
211
from_element = classmethod(from_element)
182
def __cmp__(self, other):
213
def __eq__(self, other):
185
214
if not isinstance(other, InventoryEntry):
186
215
return NotImplemented
188
return cmp(self.file_id, other.file_id) \
189
or cmp(self.name, other.name) \
190
or cmp(self.text_sha1, other.text_sha1) \
191
or cmp(self.text_size, other.text_size) \
192
or cmp(self.text_id, other.text_id) \
193
or cmp(self.parent_id, other.parent_id) \
194
or cmp(self.kind, other.kind)
217
return (self.file_id == other.file_id) \
218
and (self.name == other.name) \
219
and (self.text_sha1 == other.text_sha1) \
220
and (self.text_size == other.text_size) \
221
and (self.text_id == other.text_id) \
222
and (self.parent_id == other.parent_id) \
223
and (self.kind == other.kind)
226
def __ne__(self, other):
227
return not (self == other)
230
raise ValueError('not hashable')
234
class RootEntry(InventoryEntry):
235
def __init__(self, file_id):
236
self.file_id = file_id
238
self.kind = 'root_directory'
239
self.parent_id = None
242
def __eq__(self, other):
243
if not isinstance(other, RootEntry):
244
return NotImplemented
246
return (self.file_id == other.file_id) \
247
and (self.children == other.children)
198
251
class Inventory(XMLMixin):
199
252
"""Inventory of versioned files in a tree.
201
An Inventory acts like a set of InventoryEntry items. You can
202
also look files up by their file_id or name.
204
May be read from and written to a metadata file in a tree. To
205
manipulate the inventory (for example to add a file), it is read
206
in, modified, and then written back out.
254
This describes which file_id is present at each point in the tree,
255
and possibly the SHA-1 or other information about the file.
256
Entries can be looked up either by path or by file_id.
208
258
The inventory represents a typical unix file tree, with
209
259
directories containing files and subdirectories. We never store
213
263
returned quickly.
215
265
InventoryEntry objects must not be modified after they are
266
inserted, other than through the Inventory API.
218
268
>>> inv = Inventory()
219
269
>>> inv.write_xml(sys.stdout)
222
>>> inv.add(InventoryEntry('123-123', 'hello.c'))
272
>>> inv.add(InventoryEntry('123-123', 'hello.c', 'file', ROOT_ID))
223
273
>>> inv['123-123'].name
225
>>> for file_id in inv: print file_id
229
276
May be treated as an iterator or set to look up file ids:
248
## TODO: Clear up handling of files in subdirectories; we probably
249
## do want to be able to just look them up by name but this
250
## probably means gradually walking down the path, looking up as we go.
252
## TODO: Make sure only canonical filenames are stored.
254
## TODO: Do something sensible about the possible collisions on
255
## case-losing filesystems. Perhaps we should just always forbid
258
## _tree should probably just be stored as
259
## InventoryEntry._children on each directory.
261
294
def __init__(self):
262
295
"""Create or read an inventory.
264
297
If a working directory is specified, the inventory is read
265
298
from there. If the file is specified, read from that. If not,
266
299
the inventory is created empty.
301
The inventory is created with a default root directory, with
270
# _tree is indexed by parent_id; at each level a map from name
271
# to ie. The None entry is the root.
272
self._tree = {None: {}}
304
self.root = RootEntry(ROOT_ID)
305
self._byid = {self.root.file_id: self.root}
275
308
def __iter__(self):
281
314
return len(self._byid)
284
def iter_entries(self, parent_id=None):
317
def iter_entries(self, from_dir=None):
285
318
"""Return (path, entry) pairs, in order by name."""
286
kids = self._tree[parent_id].items()
322
elif isinstance(from_dir, basestring):
323
from_dir = self._byid[from_dir]
325
kids = from_dir.children.items()
288
327
for name, ie in kids:
290
329
if ie.kind == 'directory':
291
for cn, cie in self.iter_entries(parent_id=ie.file_id):
292
yield joinpath([name, cn]), cie
295
def directories(self, include_root=True):
330
for cn, cie in self.iter_entries(from_dir=ie.file_id):
331
yield os.path.join(name, cn), cie
335
def directories(self):
296
336
"""Return (path, entry) pairs for all directories.
300
for path, entry in self.iter_entries():
301
if entry.kind == 'directory':
338
def descend(parent_ie):
339
parent_name = parent_ie.name
340
yield parent_name, parent_ie
342
# directory children in sorted order
344
for ie in parent_ie.children.itervalues():
345
if ie.kind == 'directory':
346
dn.append((ie.name, ie))
349
for name, child_ie in dn:
350
for sub_name, sub_ie in descend(child_ie):
351
yield appendpath(parent_name, sub_name), sub_ie
353
for name, ie in descend(self.root):
306
def children(self, parent_id):
307
"""Return entries that are direct children of parent_id."""
308
return self._tree[parent_id]
312
# TODO: return all paths and entries
315
358
def __contains__(self, file_id):
316
359
"""True if this entry contains a file with given id.
318
361
>>> inv = Inventory()
319
>>> inv.add(InventoryEntry('123', 'foo.c'))
362
>>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
329
372
"""Return the entry for given file_id.
331
374
>>> inv = Inventory()
332
>>> inv.add(InventoryEntry('123123', 'hello.c'))
375
>>> inv.add(InventoryEntry('123123', 'hello.c', 'file', ROOT_ID))
333
376
>>> inv['123123'].name
336
return self._byid[file_id]
380
return self._byid[file_id]
383
raise BzrError("can't look up file_id None")
385
raise BzrError("file_id {%s} not in inventory" % file_id)
388
def get_file_kind(self, file_id):
389
return self._byid[file_id].kind
391
def get_child(self, parent_id, filename):
392
return self[parent_id].children.get(filename)
339
395
def add(self, entry):
342
398
To add a file to a branch ready to be committed, use Branch.add,
343
399
which calls this."""
344
if entry.file_id in self:
400
if entry.file_id in self._byid:
345
401
bailout("inventory already contains entry with id {%s}" % entry.file_id)
347
if entry.parent_id != None:
348
if entry.parent_id not in self:
349
bailout("parent_id %s of new entry not found in inventory"
352
if self._tree[entry.parent_id].has_key(entry.name):
353
bailout("%s is already versioned"
354
% appendpath(self.id2path(entry.parent_id), entry.name))
404
parent = self._byid[entry.parent_id]
406
bailout("parent_id {%s} not in inventory" % entry.parent_id)
408
if parent.children.has_key(entry.name):
409
bailout("%s is already versioned" %
410
appendpath(self.id2path(parent.file_id), entry.name))
356
412
self._byid[entry.file_id] = entry
357
self._tree[entry.parent_id][entry.name] = entry
359
if entry.kind == 'directory':
360
self._tree[entry.file_id] = {}
413
parent.children[entry.name] = entry
416
def add_path(self, relpath, kind, file_id=None):
417
"""Add entry from a path.
419
The immediate parent must already be versioned"""
420
parts = bzrlib.osutils.splitpath(relpath)
422
bailout("cannot re-add root of inventory")
425
file_id = bzrlib.branch.gen_file_id(relpath)
427
parent_id = self.path2id(parts[:-1])
428
assert parent_id != None
429
ie = InventoryEntry(file_id, parts[-1],
430
kind=kind, parent_id=parent_id)
363
434
def __delitem__(self, file_id):
364
435
"""Remove entry by id.
366
437
>>> inv = Inventory()
367
>>> inv.add(InventoryEntry('123', 'foo.c'))
438
>>> inv.add(InventoryEntry('123', 'foo.c', 'file', ROOT_ID))
370
441
>>> del inv['123']
374
445
ie = self[file_id]
376
assert self._tree[ie.parent_id][ie.name] == ie
447
assert self[ie.parent_id].children[ie.name] == ie
378
449
# TODO: Test deleting all children; maybe hoist to a separate
379
450
# deltree method?
380
451
if ie.kind == 'directory':
381
for cie in self._tree[file_id].values():
452
for cie in ie.children.values():
382
453
del self[cie.file_id]
383
del self._tree[file_id]
385
456
del self._byid[file_id]
386
del self._tree[ie.parent_id][ie.name]
390
return Set(self._byid)
457
del self[ie.parent_id].children[ie.name]
393
460
def to_element(self):
403
470
"""Construct from XML Element
405
472
>>> inv = Inventory()
406
>>> inv.add(InventoryEntry('foo.c-123981239', 'foo.c'))
473
>>> inv.add(InventoryEntry('foo.c-123981239', 'foo.c', 'file', ROOT_ID))
407
474
>>> elt = inv.to_element()
408
475
>>> inv2 = Inventory.from_element(elt)
418
485
from_element = classmethod(from_element)
421
def __cmp__(self, other):
488
def __eq__(self, other):
422
489
"""Compare two sets by comparing their contents.
424
491
>>> i1 = Inventory()
425
492
>>> i2 = Inventory()
428
>>> i1.add(InventoryEntry('123', 'foo'))
495
>>> i1.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
431
>>> i2.add(InventoryEntry('123', 'foo'))
498
>>> i2.add(InventoryEntry('123', 'foo', 'file', ROOT_ID))
438
502
if not isinstance(other, Inventory):
439
503
return NotImplemented
441
if self.id_set() ^ other.id_set():
444
for file_id in self._byid:
445
c = cmp(self[file_id], other[file_id])
451
def id2path(self, file_id):
452
"""Return as a list the path to file_id."""
505
if len(self._byid) != len(other._byid):
506
# shortcut: obviously not the same
509
return self._byid == other._byid
512
def __ne__(self, other):
513
return not (self == other)
517
raise ValueError('not hashable')
521
def get_idpath(self, file_id):
522
"""Return a list of file_ids for the path to an entry.
524
The list contains one element for each directory followed by
525
the id of the file itself. So the length of the returned list
526
is equal to the depth of the file in the tree, counting the
527
root directory as depth 1.
454
530
while file_id != None:
532
ie = self._byid[file_id]
534
bailout("file_id {%s} not found in inventory" % file_id)
535
p.insert(0, ie.file_id)
457
536
file_id = ie.parent_id
540
def id2path(self, file_id):
541
"""Return as a list the path to file_id."""
543
# get all names, skipping root
544
p = [self[fid].name for fid in self.get_idpath(file_id)[1:]]
545
return os.sep.join(p)
468
555
This returns the entry of the last component in the path,
469
556
which may be either a file or a directory.
558
Returns None iff the path is not found.
471
assert isinstance(name, types.StringTypes)
474
for f in splitpath(name):
560
if isinstance(name, types.StringTypes):
561
name = splitpath(name)
563
mutter("lookup path %r" % name)
476
cie = self._tree[parent_id][f]
568
cie = parent.children[f]
477
569
assert cie.name == f
478
parent_id = cie.file_id
570
assert cie.parent_id == parent.file_id
480
573
# or raise an error?
486
def get_child(self, parent_id, child_name):
487
return self._tree[parent_id].get(child_name)
576
return parent.file_id
490
579
def has_filename(self, names):
494
583
def has_id(self, file_id):
495
assert isinstance(file_id, str)
496
584
return self._byid.has_key(file_id)
500
if __name__ == '__main__':
501
import doctest, inventory
502
doctest.testmod(inventory)
587
def rename(self, file_id, new_parent_id, new_name):
588
"""Move a file within the inventory.
590
This can change either the name, or the parent, or both.
592
This does not move the working file."""
593
if not is_valid_name(new_name):
594
bailout("not an acceptable filename: %r" % new_name)
596
new_parent = self._byid[new_parent_id]
597
if new_name in new_parent.children:
598
bailout("%r already exists in %r" % (new_name, self.id2path(new_parent_id)))
600
new_parent_idpath = self.get_idpath(new_parent_id)
601
if file_id in new_parent_idpath:
602
bailout("cannot move directory %r into a subdirectory of itself, %r"
603
% (self.id2path(file_id), self.id2path(new_parent_id)))
605
file_ie = self._byid[file_id]
606
old_parent = self._byid[file_ie.parent_id]
608
# TODO: Don't leave things messed up if this fails
610
del old_parent.children[file_ie.name]
611
new_parent.children[new_name] = file_ie
613
file_ie.name = new_name
614
file_ie.parent_id = new_parent_id
619
_NAME_RE = re.compile(r'^[^/\\]+$')
621
def is_valid_name(name):
622
return bool(_NAME_RE.match(name))