~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/dirstate.py

  • Committer: Robert Collins
  • Date: 2009-03-16 07:44:05 UTC
  • mto: This revision was merged to the branch mainline in revision 4149.
  • Revision ID: robertc@robertcollins.net-20090316074405-t9guvf13rj4mlhuk
More test fallout, but all caught now.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2006-2010 Canonical Ltd
 
1
# Copyright (C) 2006, 2007, 2008 Canonical Ltd
2
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
12
12
#
13
13
# You should have received a copy of the GNU General Public License
14
14
# along with this program; if not, write to the Free Software
15
 
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
"""DirState objects record the state of a directory and its bzr metadata.
18
18
 
82
82
'a' is an absent entry: In that tree the id is not present at this path.
83
83
'd' is a directory entry: This path in this tree is a directory with the
84
84
    current file id. There is no fingerprint for directories.
85
 
'f' is a file entry: As for directory, but it's a file. The fingerprint is the
86
 
    sha1 value of the file's canonical form, i.e. after any read filters have
87
 
    been applied to the convenience form stored in the working tree.
 
85
'f' is a file entry: As for directory, but its a file. The fingerprint is a
 
86
    sha1 value.
88
87
'l' is a symlink entry: As for directory, but a symlink. The fingerprint is the
89
88
    link target.
90
89
't' is a reference to a nested subtree; the fingerprint is the referenced
187
186
the file on disk, and then immediately discard, the overhead of object creation
188
187
becomes a significant cost.
189
188
 
190
 
Figures: Creating a tuple from 3 elements was profiled at 0.0625
 
189
Figures: Creating a tuple from from 3 elements was profiled at 0.0625
191
190
microseconds, whereas creating a object which is subclassed from tuple was
192
191
0.500 microseconds, and creating an object with 3 elements and slots was 3
193
192
microseconds long. 0.1 milliseconds is 100 microseconds, and ideally we'll get
204
203
import bisect
205
204
import binascii
206
205
import errno
207
 
import operator
208
206
import os
209
207
from stat import S_IEXEC
210
208
import stat
264
262
        # return '%X.%X' % (int(st.st_mtime), st.st_mode)
265
263
 
266
264
 
267
 
class SHA1Provider(object):
268
 
    """An interface for getting sha1s of a file."""
269
 
 
270
 
    def sha1(self, abspath):
271
 
        """Return the sha1 of a file given its absolute path.
272
 
 
273
 
        :param abspath:  May be a filesystem encoded absolute path
274
 
             or a unicode path.
275
 
        """
276
 
        raise NotImplementedError(self.sha1)
277
 
 
278
 
    def stat_and_sha1(self, abspath):
279
 
        """Return the stat and sha1 of a file given its absolute path.
280
 
        
281
 
        :param abspath:  May be a filesystem encoded absolute path
282
 
             or a unicode path.
283
 
 
284
 
        Note: the stat should be the stat of the physical file
285
 
        while the sha may be the sha of its canonical content.
286
 
        """
287
 
        raise NotImplementedError(self.stat_and_sha1)
288
 
 
289
 
 
290
 
class DefaultSHA1Provider(SHA1Provider):
291
 
    """A SHA1Provider that reads directly from the filesystem."""
292
 
 
293
 
    def sha1(self, abspath):
294
 
        """Return the sha1 of a file given its absolute path."""
295
 
        return osutils.sha_file_by_name(abspath)
296
 
 
297
 
    def stat_and_sha1(self, abspath):
298
 
        """Return the stat and sha1 of a file given its absolute path."""
299
 
        file_obj = file(abspath, 'rb')
300
 
        try:
301
 
            statvalue = os.fstat(file_obj.fileno())
302
 
            sha1 = osutils.sha_file(file_obj)
303
 
        finally:
304
 
            file_obj.close()
305
 
        return statvalue, sha1
306
 
 
307
 
 
308
265
class DirState(object):
309
266
    """Record directory and metadata state for fast access.
310
267
 
363
320
    HEADER_FORMAT_2 = '#bazaar dirstate flat format 2\n'
364
321
    HEADER_FORMAT_3 = '#bazaar dirstate flat format 3\n'
365
322
 
366
 
    def __init__(self, path, sha1_provider):
 
323
    def __init__(self, path):
367
324
        """Create a  DirState object.
368
325
 
369
326
        :param path: The path at which the dirstate file on disk should live.
370
 
        :param sha1_provider: an object meeting the SHA1Provider interface.
371
327
        """
372
328
        # _header_state and _dirblock_state represent the current state
373
329
        # of the dirstate metadata and the per-row data respectiely.
399
355
        self._cutoff_time = None
400
356
        self._split_path_cache = {}
401
357
        self._bisect_page_size = DirState.BISECT_PAGE_SIZE
402
 
        self._sha1_provider = sha1_provider
403
358
        if 'hashcache' in debug.debug_flags:
404
359
            self._sha1_file = self._sha1_file_and_mutter
405
360
        else:
406
 
            self._sha1_file = self._sha1_provider.sha1
 
361
            self._sha1_file = osutils.sha_file_by_name
407
362
        # These two attributes provide a simple cache for lookups into the
408
363
        # dirstate in-memory vectors. By probing respectively for the last
409
364
        # block, and for the next entry, we save nearly 2 bisections per path
425
380
        :param kind: The kind of the path, as a string like 'file',
426
381
            'directory', etc.
427
382
        :param stat: The output of os.lstat for the path.
428
 
        :param fingerprint: The sha value of the file's canonical form (i.e.
429
 
            after any read filters have been applied),
 
383
        :param fingerprint: The sha value of the file,
430
384
            or the target of a symlink,
431
385
            or the referenced revision id for tree-references,
432
386
            or '' for directories.
1240
1194
        return entry_index, present
1241
1195
 
1242
1196
    @staticmethod
1243
 
    def from_tree(tree, dir_state_filename, sha1_provider=None):
 
1197
    def from_tree(tree, dir_state_filename):
1244
1198
        """Create a dirstate from a bzr Tree.
1245
1199
 
1246
1200
        :param tree: The tree which should provide parent information and
1247
1201
            inventory ids.
1248
 
        :param sha1_provider: an object meeting the SHA1Provider interface.
1249
 
            If None, a DefaultSHA1Provider is used.
1250
1202
        :return: a DirState object which is currently locked for writing.
1251
1203
            (it was locked by DirState.initialize)
1252
1204
        """
1253
 
        result = DirState.initialize(dir_state_filename,
1254
 
            sha1_provider=sha1_provider)
 
1205
        result = DirState.initialize(dir_state_filename)
1255
1206
        try:
1256
1207
            tree.lock_read()
1257
1208
            try:
1278
1229
    def update_by_delta(self, delta):
1279
1230
        """Apply an inventory delta to the dirstate for tree 0
1280
1231
 
1281
 
        This is the workhorse for apply_inventory_delta in dirstate based
1282
 
        trees.
1283
 
 
1284
1232
        :param delta: An inventory delta.  See Inventory.apply_delta for
1285
1233
            details.
1286
1234
        """
1287
1235
        self._read_dirblocks_if_needed()
1288
 
        encode = cache_utf8.encode
1289
1236
        insertions = {}
1290
1237
        removals = {}
1291
 
        # Accumulate parent references (path_utf8, id), to check for parentless
1292
 
        # items or items placed under files/links/tree-references. We get
1293
 
        # references from every item in the delta that is not a deletion and
1294
 
        # is not itself the root.
1295
 
        parents = set()
1296
 
        # Added ids must not be in the dirstate already. This set holds those
1297
 
        # ids.
1298
 
        new_ids = set()
1299
 
        # This loop transforms the delta to single atomic operations that can
1300
 
        # be executed and validated.
1301
 
        for old_path, new_path, file_id, inv_entry in sorted(
1302
 
            inventory._check_delta_unique_old_paths(
1303
 
            inventory._check_delta_unique_new_paths(
1304
 
            inventory._check_delta_ids_match_entry(
1305
 
            inventory._check_delta_ids_are_valid(
1306
 
            inventory._check_delta_new_path_entry_both_or_None(delta))))),
1307
 
            reverse=True):
 
1238
        for old_path, new_path, file_id, inv_entry in sorted(delta, reverse=True):
1308
1239
            if (file_id in insertions) or (file_id in removals):
1309
 
                raise errors.InconsistentDelta(old_path or new_path, file_id,
1310
 
                    "repeated file_id")
 
1240
                raise AssertionError("repeated file id in delta %r" % (file_id,))
1311
1241
            if old_path is not None:
1312
1242
                old_path = old_path.encode('utf-8')
1313
1243
                removals[file_id] = old_path
1314
 
            else:
1315
 
                new_ids.add(file_id)
1316
1244
            if new_path is not None:
1317
 
                if inv_entry is None:
1318
 
                    raise errors.InconsistentDelta(new_path, file_id,
1319
 
                        "new_path with no entry")
1320
1245
                new_path = new_path.encode('utf-8')
1321
 
                dirname_utf8, basename = osutils.split(new_path)
1322
 
                if basename:
1323
 
                    parents.add((dirname_utf8, inv_entry.parent_id))
1324
 
                key = (dirname_utf8, basename, file_id)
 
1246
                dirname, basename = osutils.split(new_path)
 
1247
                key = (dirname, basename, file_id)
1325
1248
                minikind = DirState._kind_to_minikind[inv_entry.kind]
1326
1249
                if minikind == 't':
1327
 
                    fingerprint = inv_entry.reference_revision or ''
 
1250
                    fingerprint = inv_entry.reference_revision
1328
1251
                else:
1329
1252
                    fingerprint = ''
1330
1253
                insertions[file_id] = (key, minikind, inv_entry.executable,
1339
1262
                    minikind = child[1][0][0]
1340
1263
                    fingerprint = child[1][0][4]
1341
1264
                    executable = child[1][0][3]
1342
 
                    old_child_path = osutils.pathjoin(child_dirname,
1343
 
                                                      child_basename)
 
1265
                    old_child_path = osutils.pathjoin(child[0][0],
 
1266
                                                      child[0][1])
1344
1267
                    removals[child[0][2]] = old_child_path
1345
1268
                    child_suffix = child_dirname[len(old_path):]
1346
1269
                    new_child_dirname = (new_path + child_suffix)
1347
1270
                    key = (new_child_dirname, child_basename, child[0][2])
1348
 
                    new_child_path = osutils.pathjoin(new_child_dirname,
1349
 
                                                      child_basename)
 
1271
                    new_child_path = os.path.join(new_child_dirname,
 
1272
                                                  child_basename)
1350
1273
                    insertions[child[0][2]] = (key, minikind, executable,
1351
1274
                                               fingerprint, new_child_path)
1352
 
        self._check_delta_ids_absent(new_ids, delta, 0)
1353
 
        try:
1354
 
            self._apply_removals(removals.iteritems())
1355
 
            self._apply_insertions(insertions.values())
1356
 
            # Validate parents
1357
 
            self._after_delta_check_parents(parents, 0)
1358
 
        except errors.BzrError, e:
1359
 
            self._changes_aborted = True
1360
 
            if 'integrity error' not in str(e):
1361
 
                raise
1362
 
            # _get_entry raises BzrError when a request is inconsistent; we
1363
 
            # want such errors to be shown as InconsistentDelta - and that 
1364
 
            # fits the behaviour we trigger.
1365
 
            raise errors.InconsistentDeltaDelta(delta, "error from _get_entry.")
 
1275
        self._apply_removals(removals.values())
 
1276
        self._apply_insertions(insertions.values())
1366
1277
 
1367
1278
    def _apply_removals(self, removals):
1368
 
        for file_id, path in sorted(removals, reverse=True,
1369
 
            key=operator.itemgetter(1)):
 
1279
        for path in sorted(removals, reverse=True):
1370
1280
            dirname, basename = osutils.split(path)
1371
1281
            block_i, entry_i, d_present, f_present = \
1372
1282
                self._get_block_entry_index(dirname, basename, 0)
1373
 
            try:
1374
 
                entry = self._dirblocks[block_i][1][entry_i]
1375
 
            except IndexError:
1376
 
                self._changes_aborted = True
1377
 
                raise errors.InconsistentDelta(path, file_id,
1378
 
                    "Wrong path for old path.")
1379
 
            if not f_present or entry[1][0][0] in 'ar':
1380
 
                self._changes_aborted = True
1381
 
                raise errors.InconsistentDelta(path, file_id,
1382
 
                    "Wrong path for old path.")
1383
 
            if file_id != entry[0][2]:
1384
 
                self._changes_aborted = True
1385
 
                raise errors.InconsistentDelta(path, file_id,
1386
 
                    "Attempt to remove path has wrong id - found %r."
1387
 
                    % entry[0][2])
 
1283
            entry = self._dirblocks[block_i][1][entry_i]
1388
1284
            self._make_absent(entry)
1389
1285
            # See if we have a malformed delta: deleting a directory must not
1390
1286
            # leave crud behind. This increases the number of bisects needed
1398
1294
                # be due to it being in a parent tree, or a corrupt delta.
1399
1295
                for child_entry in self._dirblocks[block_i][1]:
1400
1296
                    if child_entry[1][0][0] not in ('r', 'a'):
1401
 
                        self._changes_aborted = True
1402
1297
                        raise errors.InconsistentDelta(path, entry[0][2],
1403
1298
                            "The file id was deleted but its children were "
1404
1299
                            "not deleted.")
1405
1300
 
1406
1301
    def _apply_insertions(self, adds):
1407
 
        try:
1408
 
            for key, minikind, executable, fingerprint, path_utf8 in sorted(adds):
1409
 
                self.update_minimal(key, minikind, executable, fingerprint,
1410
 
                                    path_utf8=path_utf8)
1411
 
        except errors.NotVersionedError:
1412
 
            self._changes_aborted = True
1413
 
            raise errors.InconsistentDelta(path_utf8.decode('utf8'), key[2],
1414
 
                "Missing parent")
 
1302
        for key, minikind, executable, fingerprint, path_utf8 in sorted(adds):
 
1303
            self.update_minimal(key, minikind, executable, fingerprint,
 
1304
                                path_utf8=path_utf8)
1415
1305
 
1416
1306
    def update_basis_by_delta(self, delta, new_revid):
1417
1307
        """Update the parents of this tree after a commit.
1461
1351
        # At the same time, to reduce interface friction we convert the input
1462
1352
        # inventory entries to dirstate.
1463
1353
        root_only = ('', '')
1464
 
        # Accumulate parent references (path_utf8, id), to check for parentless
1465
 
        # items or items placed under files/links/tree-references. We get
1466
 
        # references from every item in the delta that is not a deletion and
1467
 
        # is not itself the root.
1468
 
        parents = set()
1469
 
        # Added ids must not be in the dirstate already. This set holds those
1470
 
        # ids.
1471
 
        new_ids = set()
1472
1354
        for old_path, new_path, file_id, inv_entry in delta:
1473
 
            if inv_entry is not None and file_id != inv_entry.file_id:
1474
 
                raise errors.InconsistentDelta(new_path, file_id,
1475
 
                    "mismatched entry file_id %r" % inv_entry)
1476
 
            if new_path is not None:
1477
 
                if inv_entry is None:
1478
 
                    raise errors.InconsistentDelta(new_path, file_id,
1479
 
                        "new_path with no entry")
1480
 
                new_path_utf8 = encode(new_path)
1481
 
                # note the parent for validation
1482
 
                dirname_utf8, basename_utf8 = osutils.split(new_path_utf8)
1483
 
                if basename_utf8:
1484
 
                    parents.add((dirname_utf8, inv_entry.parent_id))
1485
1355
            if old_path is None:
1486
1356
                adds.append((None, encode(new_path), file_id,
1487
1357
                    inv_to_entry(inv_entry), True))
1488
 
                new_ids.add(file_id)
1489
1358
            elif new_path is None:
1490
1359
                deletes.append((encode(old_path), None, file_id, None, True))
1491
1360
            elif (old_path, new_path) != root_only:
1503
1372
                # for 'r' items on every pass.
1504
1373
                self._update_basis_apply_deletes(deletes)
1505
1374
                deletes = []
 
1375
                new_path_utf8 = encode(new_path)
1506
1376
                # Split into an add/delete pair recursively.
1507
1377
                adds.append((None, new_path_utf8, file_id,
1508
1378
                    inv_to_entry(inv_entry), False))
1534
1404
                # of everything.
1535
1405
                changes.append((encode(old_path), encode(new_path), file_id,
1536
1406
                    inv_to_entry(inv_entry)))
1537
 
        self._check_delta_ids_absent(new_ids, delta, 1)
1538
 
        try:
1539
 
            # Finish expunging deletes/first half of renames.
1540
 
            self._update_basis_apply_deletes(deletes)
1541
 
            # Reinstate second half of renames and new paths.
1542
 
            self._update_basis_apply_adds(adds)
1543
 
            # Apply in-situ changes.
1544
 
            self._update_basis_apply_changes(changes)
1545
 
            # Validate parents
1546
 
            self._after_delta_check_parents(parents, 1)
1547
 
        except errors.BzrError, e:
1548
 
            self._changes_aborted = True
1549
 
            if 'integrity error' not in str(e):
1550
 
                raise
1551
 
            # _get_entry raises BzrError when a request is inconsistent; we
1552
 
            # want such errors to be shown as InconsistentDelta - and that 
1553
 
            # fits the behaviour we trigger. Partof this is driven by dirstate
1554
 
            # only supporting deltas that turn the basis into a closer fit to
1555
 
            # the active tree.
1556
 
            raise errors.InconsistentDeltaDelta(delta, "error from _get_entry.")
 
1407
 
 
1408
        # Finish expunging deletes/first half of renames.
 
1409
        self._update_basis_apply_deletes(deletes)
 
1410
        # Reinstate second half of renames and new paths.
 
1411
        self._update_basis_apply_adds(adds)
 
1412
        # Apply in-situ changes.
 
1413
        self._update_basis_apply_changes(changes)
1557
1414
 
1558
1415
        self._dirblock_state = DirState.IN_MEMORY_MODIFIED
1559
1416
        self._header_state = DirState.IN_MEMORY_MODIFIED
1560
1417
        self._id_index = None
1561
1418
        return
1562
1419
 
1563
 
    def _check_delta_ids_absent(self, new_ids, delta, tree_index):
1564
 
        """Check that none of the file_ids in new_ids are present in a tree."""
1565
 
        if not new_ids:
1566
 
            return
1567
 
        id_index = self._get_id_index()
1568
 
        for file_id in new_ids:
1569
 
            for key in id_index.get(file_id, []):
1570
 
                block_i, entry_i, d_present, f_present = \
1571
 
                    self._get_block_entry_index(key[0], key[1], tree_index)
1572
 
                if not f_present:
1573
 
                    # In a different tree
1574
 
                    continue
1575
 
                entry = self._dirblocks[block_i][1][entry_i]
1576
 
                if entry[0][2] != file_id:
1577
 
                    # Different file_id, so not what we want.
1578
 
                    continue
1579
 
                # NB: No changes made before this helper is called, so no need
1580
 
                # to set the _changes_aborted flag.
1581
 
                raise errors.InconsistentDelta(
1582
 
                    ("%s/%s" % key[0:2]).decode('utf8'), file_id,
1583
 
                    "This file_id is new in the delta but already present in "
1584
 
                    "the target")
1585
 
 
1586
1420
    def _update_basis_apply_adds(self, adds):
1587
1421
        """Apply a sequence of adds to tree 1 during update_basis_by_delta.
1588
1422
 
1653
1487
        null = DirState.NULL_PARENT_DETAILS
1654
1488
        for old_path, new_path, file_id, _, real_delete in deletes:
1655
1489
            if real_delete != (new_path is None):
1656
 
                self._changes_aborted = True
1657
1490
                raise AssertionError("bad delete delta")
1658
1491
            # the entry for this file_id must be in tree 1.
1659
1492
            dirname, basename = osutils.split(old_path)
1692
1525
                    # it is being resurrected here, so blank it out temporarily.
1693
1526
                    self._dirblocks[block_index][1][entry_index][1][1] = null
1694
1527
 
1695
 
    def _after_delta_check_parents(self, parents, index):
1696
 
        """Check that parents required by the delta are all intact.
1697
 
        
1698
 
        :param parents: An iterable of (path_utf8, file_id) tuples which are
1699
 
            required to be present in tree 'index' at path_utf8 with id file_id
1700
 
            and be a directory.
1701
 
        :param index: The column in the dirstate to check for parents in.
1702
 
        """
1703
 
        for dirname_utf8, file_id in parents:
1704
 
            # Get the entry - the ensures that file_id, dirname_utf8 exists and
1705
 
            # has the right file id.
1706
 
            entry = self._get_entry(index, file_id, dirname_utf8)
1707
 
            if entry[1] is None:
1708
 
                self._changes_aborted = True
1709
 
                raise errors.InconsistentDelta(dirname_utf8.decode('utf8'),
1710
 
                    file_id, "This parent is not present.")
1711
 
            # Parents of things must be directories
1712
 
            if entry[1][index][0] != 'd':
1713
 
                self._changes_aborted = True
1714
 
                raise errors.InconsistentDelta(dirname_utf8.decode('utf8'),
1715
 
                    file_id, "This parent is not a directory.")
1716
 
 
1717
1528
    def _observed_sha1(self, entry, sha1, stat_value,
1718
1529
        _stat_to_minikind=_stat_to_minikind, _pack_stat=pack_stat):
1719
1530
        """Note the sha1 of a file.
1758
1569
        # when -Dhashcache is turned on, this is monkey-patched in to log
1759
1570
        # file reads
1760
1571
        trace.mutter("dirstate sha1 " + abspath)
1761
 
        return self._sha1_provider.sha1(abspath)
 
1572
        return osutils.sha_file_by_name(abspath)
1762
1573
 
1763
1574
    def _is_executable(self, mode, old_executable):
1764
1575
        """Is this file executable?"""
1962
1773
        self._read_dirblocks_if_needed()
1963
1774
        if path_utf8 is not None:
1964
1775
            if type(path_utf8) is not str:
1965
 
                raise errors.BzrError('path_utf8 is not a str: %s %r'
 
1776
                raise AssertionError('path_utf8 is not a str: %s %s'
1966
1777
                    % (type(path_utf8), path_utf8))
1967
1778
            # path lookups are faster
1968
1779
            dirname, basename = osutils.split(path_utf8)
1997
1808
                entry_index, present = self._find_entry_index(key, block)
1998
1809
                if present:
1999
1810
                    entry = self._dirblocks[block_index][1][entry_index]
2000
 
                    # TODO: We might want to assert that entry[0][2] ==
2001
 
                    #       fileid_utf8.
2002
1811
                    if entry[1][tree_index][0] in 'fdlt':
2003
1812
                        # this is the result we are looking for: the
2004
1813
                        # real home of this file_id in this tree.
2020
1829
            return None, None
2021
1830
 
2022
1831
    @classmethod
2023
 
    def initialize(cls, path, sha1_provider=None):
 
1832
    def initialize(cls, path):
2024
1833
        """Create a new dirstate on path.
2025
1834
 
2026
1835
        The new dirstate will be an empty tree - that is it has no parents,
2027
1836
        and only a root node - which has id ROOT_ID.
2028
1837
 
2029
1838
        :param path: The name of the file for the dirstate.
2030
 
        :param sha1_provider: an object meeting the SHA1Provider interface.
2031
 
            If None, a DefaultSHA1Provider is used.
2032
1839
        :return: A write-locked DirState object.
2033
1840
        """
2034
1841
        # This constructs a new DirState object on a path, sets the _state_file
2036
1843
        # stock empty dirstate information - a root with ROOT_ID, no children,
2037
1844
        # and no parents. Finally it calls save() to ensure that this data will
2038
1845
        # persist.
2039
 
        if sha1_provider is None:
2040
 
            sha1_provider = DefaultSHA1Provider()
2041
 
        result = cls(path, sha1_provider)
 
1846
        result = cls(path)
2042
1847
        # root dir and root dir contents with no children.
2043
1848
        empty_tree_dirblocks = [('', []), ('', [])]
2044
1849
        # a new root directory, with a NULLSTAT.
2177
1982
        return len(self._parents) - len(self._ghosts)
2178
1983
 
2179
1984
    @staticmethod
2180
 
    def on_file(path, sha1_provider=None):
2181
 
        """Construct a DirState on the file at path "path".
 
1985
    def on_file(path):
 
1986
        """Construct a DirState on the file at path path.
2182
1987
 
2183
 
        :param path: The path at which the dirstate file on disk should live.
2184
 
        :param sha1_provider: an object meeting the SHA1Provider interface.
2185
 
            If None, a DefaultSHA1Provider is used.
2186
1988
        :return: An unlocked DirState object, associated with the given path.
2187
1989
        """
2188
 
        if sha1_provider is None:
2189
 
            sha1_provider = DefaultSHA1Provider()
2190
 
        result = DirState(path, sha1_provider)
 
1990
        result = DirState(path)
2191
1991
        return result
2192
1992
 
2193
1993
    def _read_dirblocks_if_needed(self):
2356
2156
        self.update_minimal(('', '', new_id), 'd',
2357
2157
            path_utf8='', packed_stat=entry[1][0][4])
2358
2158
        self._dirblock_state = DirState.IN_MEMORY_MODIFIED
 
2159
        if self._id_index is not None:
 
2160
            self._id_index.setdefault(new_id, set()).add(entry[0])
2359
2161
 
2360
2162
    def set_parent_trees(self, trees, ghosts):
2361
2163
        """Set the parent trees for the dirstate.
2520
2322
        if 'evil' in debug.debug_flags:
2521
2323
            trace.mutter_callsite(1,
2522
2324
                "set_state_from_inventory called; please mutate the tree instead")
2523
 
        tracing = 'dirstate' in debug.debug_flags
2524
 
        if tracing:
2525
 
            trace.mutter("set_state_from_inventory trace:")
2526
2325
        self._read_dirblocks_if_needed()
2527
2326
        # sketch:
2528
2327
        # Two iterators: current data and new data, both in dirblock order.
2537
2336
        new_iterator = new_inv.iter_entries_by_dir()
2538
2337
        # we will be modifying the dirstate, so we need a stable iterator. In
2539
2338
        # future we might write one, for now we just clone the state into a
2540
 
        # list using a copy so that we see every original item and don't have
2541
 
        # to adjust the position when items are inserted or deleted in the
2542
 
        # underlying dirstate.
 
2339
        # list - which is a shallow copy.
2543
2340
        old_iterator = iter(list(self._iter_entries()))
2544
2341
        # both must have roots so this is safe:
2545
2342
        current_new = new_iterator.next()
2579
2376
            # we make both end conditions explicit
2580
2377
            if not current_old:
2581
2378
                # old is finished: insert current_new into the state.
2582
 
                if tracing:
2583
 
                    trace.mutter("Appending from new '%s'.",
2584
 
                        new_path_utf8.decode('utf8'))
2585
2379
                self.update_minimal(new_entry_key, current_new_minikind,
2586
2380
                    executable=current_new[1].executable,
2587
 
                    path_utf8=new_path_utf8, fingerprint=fingerprint,
2588
 
                    fullscan=True)
 
2381
                    path_utf8=new_path_utf8, fingerprint=fingerprint)
2589
2382
                current_new = advance(new_iterator)
2590
2383
            elif not current_new:
2591
2384
                # new is finished
2592
 
                if tracing:
2593
 
                    trace.mutter("Truncating from old '%s/%s'.",
2594
 
                        current_old[0][0].decode('utf8'),
2595
 
                        current_old[0][1].decode('utf8'))
2596
2385
                self._make_absent(current_old)
2597
2386
                current_old = advance(old_iterator)
2598
2387
            elif new_entry_key == current_old[0]:
2605
2394
                # kind has changed.
2606
2395
                if (current_old[1][0][3] != current_new[1].executable or
2607
2396
                    current_old[1][0][0] != current_new_minikind):
2608
 
                    if tracing:
2609
 
                        trace.mutter("Updating in-place change '%s'.",
2610
 
                            new_path_utf8.decode('utf8'))
2611
2397
                    self.update_minimal(current_old[0], current_new_minikind,
2612
2398
                        executable=current_new[1].executable,
2613
 
                        path_utf8=new_path_utf8, fingerprint=fingerprint,
2614
 
                        fullscan=True)
 
2399
                        path_utf8=new_path_utf8, fingerprint=fingerprint)
2615
2400
                # both sides are dealt with, move on
2616
2401
                current_old = advance(old_iterator)
2617
2402
                current_new = advance(new_iterator)
2620
2405
                      and new_entry_key[1:] < current_old[0][1:])):
2621
2406
                # new comes before:
2622
2407
                # add a entry for this and advance new
2623
 
                if tracing:
2624
 
                    trace.mutter("Inserting from new '%s'.",
2625
 
                        new_path_utf8.decode('utf8'))
2626
2408
                self.update_minimal(new_entry_key, current_new_minikind,
2627
2409
                    executable=current_new[1].executable,
2628
 
                    path_utf8=new_path_utf8, fingerprint=fingerprint,
2629
 
                    fullscan=True)
 
2410
                    path_utf8=new_path_utf8, fingerprint=fingerprint)
2630
2411
                current_new = advance(new_iterator)
2631
2412
            else:
2632
2413
                # we've advanced past the place where the old key would be,
2633
2414
                # without seeing it in the new list.  so it must be gone.
2634
 
                if tracing:
2635
 
                    trace.mutter("Deleting from old '%s/%s'.",
2636
 
                        current_old[0][0].decode('utf8'),
2637
 
                        current_old[0][1].decode('utf8'))
2638
2415
                self._make_absent(current_old)
2639
2416
                current_old = advance(old_iterator)
2640
2417
        self._dirblock_state = DirState.IN_MEMORY_MODIFIED
2641
2418
        self._id_index = None
2642
2419
        self._packed_stat_index = None
2643
 
        if tracing:
2644
 
            trace.mutter("set_state_from_inventory complete.")
2645
2420
 
2646
2421
    def _make_absent(self, current_old):
2647
2422
        """Mark current_old - an entry - as absent for tree 0.
2696
2471
        return last_reference
2697
2472
 
2698
2473
    def update_minimal(self, key, minikind, executable=False, fingerprint='',
2699
 
        packed_stat=None, size=0, path_utf8=None, fullscan=False):
 
2474
                       packed_stat=None, size=0, path_utf8=None):
2700
2475
        """Update an entry to the state in tree 0.
2701
2476
 
2702
2477
        This will either create a new entry at 'key' or update an existing one.
2707
2482
        :param minikind: The type for the entry ('f' == 'file', 'd' ==
2708
2483
                'directory'), etc.
2709
2484
        :param executable: Should the executable bit be set?
2710
 
        :param fingerprint: Simple fingerprint for new entry: canonical-form
2711
 
            sha1 for files, referenced revision id for subtrees, etc.
 
2485
        :param fingerprint: Simple fingerprint for new entry: sha1 for files,
 
2486
            referenced revision id for subtrees, etc.
2712
2487
        :param packed_stat: Packed stat value for new entry.
2713
2488
        :param size: Size information for new entry
2714
2489
        :param path_utf8: key[0] + '/' + key[1], just passed in to avoid doing
2715
2490
                extra computation.
2716
 
        :param fullscan: If True then a complete scan of the dirstate is being
2717
 
            done and checking for duplicate rows should not be done. This
2718
 
            should only be set by set_state_from_inventory and similar methods.
2719
2491
 
2720
2492
        If packed_stat and fingerprint are not given, they're invalidated in
2721
2493
        the entry.
2730
2502
        new_details = (minikind, fingerprint, size, executable, packed_stat)
2731
2503
        id_index = self._get_id_index()
2732
2504
        if not present:
2733
 
            # New record. Check there isn't a entry at this path already.
2734
 
            if not fullscan:
2735
 
                low_index, _ = self._find_entry_index(key[0:2] + ('',), block)
2736
 
                while low_index < len(block):
2737
 
                    entry = block[low_index]
2738
 
                    if entry[0][0:2] == key[0:2]:
2739
 
                        if entry[1][0][0] not in 'ar':
2740
 
                            # This entry has the same path (but a different id) as
2741
 
                            # the new entry we're adding, and is present in ths
2742
 
                            # tree.
2743
 
                            raise errors.InconsistentDelta(
2744
 
                                ("%s/%s" % key[0:2]).decode('utf8'), key[2],
2745
 
                                "Attempt to add item at path already occupied by "
2746
 
                                "id %r" % entry[0][2])
2747
 
                        low_index += 1
2748
 
                    else:
2749
 
                        break
2750
2505
            # new entry, synthesis cross reference here,
2751
2506
            existing_keys = id_index.setdefault(key[2], set())
2752
2507
            if not existing_keys:
2757
2512
                # grab one of them and use it to generate parent
2758
2513
                # relocation/absent entries.
2759
2514
                new_entry = key, [new_details]
2760
 
                # existing_keys can be changed as we iterate.
2761
 
                for other_key in tuple(existing_keys):
 
2515
                for other_key in existing_keys:
2762
2516
                    # change the record at other to be a pointer to this new
2763
2517
                    # record. The loop looks similar to the change to
2764
2518
                    # relocations when updating an existing record but its not:
2765
2519
                    # the test for existing kinds is different: this can be
2766
2520
                    # factored out to a helper though.
2767
 
                    other_block_index, present = self._find_block_index_from_key(
2768
 
                        other_key)
2769
 
                    if not present:
2770
 
                        raise AssertionError('could not find block for %s' % (
2771
 
                            other_key,))
2772
 
                    other_block = self._dirblocks[other_block_index][1]
2773
 
                    other_entry_index, present = self._find_entry_index(
2774
 
                        other_key, other_block)
2775
 
                    if not present:
2776
 
                        raise AssertionError(
2777
 
                            'update_minimal: could not find other entry for %s'
2778
 
                            % (other_key,))
 
2521
                    other_block_index, present = self._find_block_index_from_key(other_key)
 
2522
                    if not present:
 
2523
                        raise AssertionError('could not find block for %s' % (other_key,))
 
2524
                    other_entry_index, present = self._find_entry_index(other_key,
 
2525
                                            self._dirblocks[other_block_index][1])
 
2526
                    if not present:
 
2527
                        raise AssertionError('could not find entry for %s' % (other_key,))
2779
2528
                    if path_utf8 is None:
2780
2529
                        raise AssertionError('no path')
2781
 
                    # Turn this other location into a reference to the new
2782
 
                    # location. This also updates the aliased iterator
2783
 
                    # (current_old in set_state_from_inventory) so that the old
2784
 
                    # entry, if not already examined, is skipped over by that
2785
 
                    # loop.
2786
 
                    other_entry = other_block[other_entry_index]
2787
 
                    other_entry[1][0] = ('r', path_utf8, 0, False, '')
2788
 
                    self._maybe_remove_row(other_block, other_entry_index,
2789
 
                        id_index)
 
2530
                    self._dirblocks[other_block_index][1][other_entry_index][1][0] = \
 
2531
                        ('r', path_utf8, 0, False, '')
2790
2532
 
2791
 
                # This loop:
2792
 
                # adds a tuple to the new details for each column
2793
 
                #  - either by copying an existing relocation pointer inside that column
2794
 
                #  - or by creating a new pointer to the right row inside that column
2795
2533
                num_present_parents = self._num_present_parents()
2796
 
                if num_present_parents:
2797
 
                    other_key = list(existing_keys)[0]
2798
2534
                for lookup_index in xrange(1, num_present_parents + 1):
2799
2535
                    # grab any one entry, use it to find the right path.
2800
2536
                    # TODO: optimise this to reduce memory use in highly
2807
2543
                    update_entry_index, present = \
2808
2544
                        self._find_entry_index(other_key, self._dirblocks[update_block_index][1])
2809
2545
                    if not present:
2810
 
                        raise AssertionError('update_minimal: could not find entry for %s' % (other_key,))
 
2546
                        raise AssertionError('could not find entry for %s' % (other_key,))
2811
2547
                    update_details = self._dirblocks[update_block_index][1][update_entry_index][1][lookup_index]
2812
2548
                    if update_details[0] in 'ar': # relocated, absent
2813
2549
                        # its a pointer or absent in lookup_index's tree, use
2859
2595
 
2860
2596
        self._dirblock_state = DirState.IN_MEMORY_MODIFIED
2861
2597
 
2862
 
    def _maybe_remove_row(self, block, index, id_index):
2863
 
        """Remove index if it is absent or relocated across the row.
2864
 
        
2865
 
        id_index is updated accordingly.
2866
 
        """
2867
 
        present_in_row = False
2868
 
        entry = block[index]
2869
 
        for column in entry[1]:
2870
 
            if column[0] not in 'ar':
2871
 
                present_in_row = True
2872
 
                break
2873
 
        if not present_in_row:
2874
 
            block.pop(index)
2875
 
            id_index[entry[0][2]].remove(entry[0])
2876
 
 
2877
2598
    def _validate(self):
2878
2599
        """Check that invariants on the dirblock are correct.
2879
2600
 
3013
2734
            if absent_positions == tree_count:
3014
2735
                raise AssertionError(
3015
2736
                    "entry %r has no data for any tree." % (entry,))
3016
 
        if self._id_index is not None:
3017
 
            for file_id, entry_keys in self._id_index.iteritems():
3018
 
                for entry_key in entry_keys:
3019
 
                    if entry_key[2] != file_id:
3020
 
                        raise AssertionError(
3021
 
                            'file_id %r did not match entry key %s'
3022
 
                            % (file_id, entry_key))
3023
2737
 
3024
2738
    def _wipe_state(self):
3025
2739
        """Forget all state information about the dirstate."""
3131
2845
            and stat_value.st_ctime < state._cutoff_time
3132
2846
            and len(entry[1]) > 1
3133
2847
            and entry[1][1][0] != 'a'):
3134
 
            # Could check for size changes for further optimised
3135
 
            # avoidance of sha1's. However the most prominent case of
3136
 
            # over-shaing is during initial add, which this catches.
3137
 
            # Besides, if content filtering happens, size and sha
3138
 
            # are calculated at the same time, so checking just the size
3139
 
            # gains nothing w.r.t. performance.
 
2848
                # Could check for size changes for further optimised
 
2849
                # avoidance of sha1's. However the most prominent case of
 
2850
                # over-shaing is during initial add, which this catches.
3140
2851
            link_or_sha1 = state._sha1_file(abspath)
3141
2852
            entry[1][0] = ('f', link_or_sha1, stat_value.st_size,
3142
2853
                           executable, packed_stat)
3167
2878
                           False, DirState.NULLSTAT)
3168
2879
    state._dirblock_state = DirState.IN_MEMORY_MODIFIED
3169
2880
    return link_or_sha1
 
2881
update_entry = py_update_entry
3170
2882
 
3171
2883
 
3172
2884
class ProcessEntryPython(object):
3173
2885
 
3174
 
    __slots__ = ["old_dirname_to_file_id", "new_dirname_to_file_id",
 
2886
    __slots__ = ["old_dirname_to_file_id", "new_dirname_to_file_id", "uninteresting",
3175
2887
        "last_source_parent", "last_target_parent", "include_unchanged",
3176
 
        "partial", "use_filesystem_for_exec", "utf8_decode",
3177
 
        "searched_specific_files", "search_specific_files",
3178
 
        "searched_exact_paths", "search_specific_file_parents", "seen_ids",
3179
 
        "state", "source_index", "target_index", "want_unversioned", "tree"]
 
2888
        "use_filesystem_for_exec", "utf8_decode", "searched_specific_files",
 
2889
        "search_specific_files", "state", "source_index", "target_index",
 
2890
        "want_unversioned", "tree"]
3180
2891
 
3181
2892
    def __init__(self, include_unchanged, use_filesystem_for_exec,
3182
2893
        search_specific_files, state, source_index, target_index,
3183
2894
        want_unversioned, tree):
3184
2895
        self.old_dirname_to_file_id = {}
3185
2896
        self.new_dirname_to_file_id = {}
3186
 
        # Are we doing a partial iter_changes?
3187
 
        self.partial = search_specific_files != set([''])
 
2897
        # Just a sentry, so that _process_entry can say that this
 
2898
        # record is handled, but isn't interesting to process (unchanged)
 
2899
        self.uninteresting = object()
3188
2900
        # Using a list so that we can access the values and change them in
3189
2901
        # nested scope. Each one is [path, file_id, entry]
3190
2902
        self.last_source_parent = [None, None]
3193
2905
        self.use_filesystem_for_exec = use_filesystem_for_exec
3194
2906
        self.utf8_decode = cache_utf8._utf8_decode
3195
2907
        # for all search_indexs in each path at or under each element of
3196
 
        # search_specific_files, if the detail is relocated: add the id, and
3197
 
        # add the relocated path as one to search if its not searched already.
3198
 
        # If the detail is not relocated, add the id.
 
2908
        # search_specific_files, if the detail is relocated: add the id, and add the
 
2909
        # relocated path as one to search if its not searched already. If the
 
2910
        # detail is not relocated, add the id.
3199
2911
        self.searched_specific_files = set()
3200
 
        # When we search exact paths without expanding downwards, we record
3201
 
        # that here.
3202
 
        self.searched_exact_paths = set()
3203
2912
        self.search_specific_files = search_specific_files
3204
 
        # The parents up to the root of the paths we are searching.
3205
 
        # After all normal paths are returned, these specific items are returned.
3206
 
        self.search_specific_file_parents = set()
3207
 
        # The ids we've sent out in the delta.
3208
 
        self.seen_ids = set()
3209
2913
        self.state = state
3210
2914
        self.source_index = source_index
3211
2915
        self.target_index = target_index
3212
 
        if target_index != 0:
3213
 
            # A lot of code in here depends on target_index == 0
3214
 
            raise errors.BzrError('unsupported target index')
3215
2916
        self.want_unversioned = want_unversioned
3216
2917
        self.tree = tree
3217
2918
 
3219
2920
        """Compare an entry and real disk to generate delta information.
3220
2921
 
3221
2922
        :param path_info: top_relpath, basename, kind, lstat, abspath for
3222
 
            the path of entry. If None, then the path is considered absent in 
3223
 
            the target (Perhaps we should pass in a concrete entry for this ?)
 
2923
            the path of entry. If None, then the path is considered absent.
 
2924
            (Perhaps we should pass in a concrete entry for this ?)
3224
2925
            Basename is returned as a utf8 string because we expect this
3225
2926
            tuple will be ignored, and don't want to take the time to
3226
2927
            decode.
3227
 
        :return: (iter_changes_result, changed). If the entry has not been
3228
 
            handled then changed is None. Otherwise it is False if no content
3229
 
            or metadata changes have occurred, and True if any content or
3230
 
            metadata change has occurred. If self.include_unchanged is True then
3231
 
            if changed is not None, iter_changes_result will always be a result
3232
 
            tuple. Otherwise, iter_changes_result is None unless changed is
3233
 
            True.
 
2928
        :return: None if these don't match
 
2929
                 A tuple of information about the change, or
 
2930
                 the object 'uninteresting' if these match, but are
 
2931
                 basically identical.
3234
2932
        """
3235
2933
        if self.source_index is None:
3236
2934
            source_details = DirState.NULL_PARENT_DETAILS
3304
3002
                    if source_minikind != 'f':
3305
3003
                        content_change = True
3306
3004
                    else:
3307
 
                        # Check the sha. We can't just rely on the size as
3308
 
                        # content filtering may mean differ sizes actually
3309
 
                        # map to the same content
3310
 
                        if link_or_sha1 is None:
3311
 
                            # Stat cache miss:
3312
 
                            statvalue, link_or_sha1 = \
3313
 
                                self.state._sha1_provider.stat_and_sha1(
3314
 
                                path_info[4])
3315
 
                            self.state._observed_sha1(entry, link_or_sha1,
3316
 
                                statvalue)
3317
 
                        content_change = (link_or_sha1 != source_details[1])
 
3005
                        # If the size is the same, check the sha:
 
3006
                        if target_details[2] == source_details[2]:
 
3007
                            if link_or_sha1 is None:
 
3008
                                # Stat cache miss:
 
3009
                                file_obj = file(path_info[4], 'rb')
 
3010
                                try:
 
3011
                                    statvalue = os.fstat(file_obj.fileno())
 
3012
                                    link_or_sha1 = osutils.sha_file(file_obj)
 
3013
                                finally:
 
3014
                                    file_obj.close()
 
3015
                                self.state._observed_sha1(entry, link_or_sha1,
 
3016
                                    statvalue)
 
3017
                            content_change = (link_or_sha1 != source_details[1])
 
3018
                        else:
 
3019
                            # Size changed, so must be different
 
3020
                            content_change = True
3318
3021
                    # Target details is updated at update_entry time
3319
3022
                    if self.use_filesystem_for_exec:
3320
3023
                        # We don't need S_ISREG here, because we are sure
3335
3038
                        content_change = False
3336
3039
                    target_exec = False
3337
3040
                else:
3338
 
                    if path is None:
3339
 
                        path = pathjoin(old_dirname, old_basename)
3340
 
                    raise errors.BadFileKindError(path, path_info[2])
 
3041
                    raise Exception, "unknown kind %s" % path_info[2]
3341
3042
            if source_minikind == 'd':
3342
3043
                if path is None:
3343
3044
                    old_path = path = pathjoin(old_dirname, old_basename)
3344
3045
                self.old_dirname_to_file_id[old_path] = file_id
3345
3046
            # parent id is the entry for the path in the target tree
3346
 
            if old_basename and old_dirname == self.last_source_parent[0]:
 
3047
            if old_dirname == self.last_source_parent[0]:
3347
3048
                source_parent_id = self.last_source_parent[1]
3348
3049
            else:
3349
3050
                try:
3359
3060
                    self.last_source_parent[0] = old_dirname
3360
3061
                    self.last_source_parent[1] = source_parent_id
3361
3062
            new_dirname = entry[0][0]
3362
 
            if entry[0][1] and new_dirname == self.last_target_parent[0]:
 
3063
            if new_dirname == self.last_target_parent[0]:
3363
3064
                target_parent_id = self.last_target_parent[1]
3364
3065
            else:
3365
3066
                try:
3382
3083
                    self.last_target_parent[1] = target_parent_id
3383
3084
 
3384
3085
            source_exec = source_details[3]
3385
 
            changed = (content_change
 
3086
            if (self.include_unchanged
 
3087
                or content_change
3386
3088
                or source_parent_id != target_parent_id
3387
3089
                or old_basename != entry[0][1]
3388
3090
                or source_exec != target_exec
3389
 
                )
3390
 
            if not changed and not self.include_unchanged:
3391
 
                return None, False
3392
 
            else:
 
3091
                ):
3393
3092
                if old_path is None:
3394
3093
                    old_path = path = pathjoin(old_dirname, old_basename)
3395
3094
                    old_path_u = self.utf8_decode(old_path)[0]
3408
3107
                       (source_parent_id, target_parent_id),
3409
3108
                       (self.utf8_decode(old_basename)[0], self.utf8_decode(entry[0][1])[0]),
3410
3109
                       (source_kind, target_kind),
3411
 
                       (source_exec, target_exec)), changed
 
3110
                       (source_exec, target_exec))
 
3111
            else:
 
3112
                return self.uninteresting
3412
3113
        elif source_minikind in 'a' and target_minikind in 'fdlt':
3413
3114
            # looks like a new file
3414
3115
            path = pathjoin(entry[0][0], entry[0][1])
3435
3136
                       (None, parent_id),
3436
3137
                       (None, self.utf8_decode(entry[0][1])[0]),
3437
3138
                       (None, path_info[2]),
3438
 
                       (None, target_exec)), True
 
3139
                       (None, target_exec))
3439
3140
            else:
3440
3141
                # Its a missing file, report it as such.
3441
3142
                return (entry[0][2],
3445
3146
                       (None, parent_id),
3446
3147
                       (None, self.utf8_decode(entry[0][1])[0]),
3447
3148
                       (None, None),
3448
 
                       (None, False)), True
 
3149
                       (None, False))
3449
3150
        elif source_minikind in 'fdlt' and target_minikind in 'a':
3450
3151
            # unversioned, possibly, or possibly not deleted: we dont care.
3451
3152
            # if its still on disk, *and* theres no other entry at this
3463
3164
                   (parent_id, None),
3464
3165
                   (self.utf8_decode(entry[0][1])[0], None),
3465
3166
                   (DirState._minikind_to_kind[source_minikind], None),
3466
 
                   (source_details[3], None)), True
 
3167
                   (source_details[3], None))
3467
3168
        elif source_minikind in 'fdlt' and target_minikind in 'r':
3468
3169
            # a rename; could be a true rename, or a rename inherited from
3469
3170
            # a renamed parent. TODO: handle this efficiently. Its not
3481
3182
                "source_minikind=%r, target_minikind=%r"
3482
3183
                % (source_minikind, target_minikind))
3483
3184
            ## import pdb;pdb.set_trace()
3484
 
        return None, None
 
3185
        return None
3485
3186
 
3486
3187
    def __iter__(self):
3487
3188
        return self
3488
3189
 
3489
 
    def _gather_result_for_consistency(self, result):
3490
 
        """Check a result we will yield to make sure we are consistent later.
3491
 
        
3492
 
        This gathers result's parents into a set to output later.
3493
 
 
3494
 
        :param result: A result tuple.
3495
 
        """
3496
 
        if not self.partial or not result[0]:
3497
 
            return
3498
 
        self.seen_ids.add(result[0])
3499
 
        new_path = result[1][1]
3500
 
        if new_path:
3501
 
            # Not the root and not a delete: queue up the parents of the path.
3502
 
            self.search_specific_file_parents.update(
3503
 
                osutils.parent_directories(new_path.encode('utf8')))
3504
 
            # Add the root directory which parent_directories does not
3505
 
            # provide.
3506
 
            self.search_specific_file_parents.add('')
3507
 
 
3508
3190
    def iter_changes(self):
3509
3191
        """Iterate over the changes."""
3510
3192
        utf8_decode = cache_utf8._utf8_decode
3511
3193
        _cmp_by_dirs = cmp_by_dirs
3512
3194
        _process_entry = self._process_entry
 
3195
        uninteresting = self.uninteresting
3513
3196
        search_specific_files = self.search_specific_files
3514
3197
        searched_specific_files = self.searched_specific_files
3515
3198
        splitpath = osutils.splitpath
3585
3268
                continue
3586
3269
            path_handled = False
3587
3270
            for entry in root_entries:
3588
 
                result, changed = _process_entry(entry, root_dir_info)
3589
 
                if changed is not None:
 
3271
                result = _process_entry(entry, root_dir_info)
 
3272
                if result is not None:
3590
3273
                    path_handled = True
3591
 
                    if changed:
3592
 
                        self._gather_result_for_consistency(result)
3593
 
                    if changed or self.include_unchanged:
 
3274
                    if result is not uninteresting:
3594
3275
                        yield result
3595
3276
            if self.want_unversioned and not path_handled and root_dir_info:
3596
3277
                new_executable = bool(
3706
3387
                        for current_entry in current_block[1]:
3707
3388
                            # entry referring to file not present on disk.
3708
3389
                            # advance the entry only, after processing.
3709
 
                            result, changed = _process_entry(current_entry, None)
3710
 
                            if changed is not None:
3711
 
                                if changed:
3712
 
                                    self._gather_result_for_consistency(result)
3713
 
                                if changed or self.include_unchanged:
 
3390
                            result = _process_entry(current_entry, None)
 
3391
                            if result is not None:
 
3392
                                if result is not uninteresting:
3714
3393
                                    yield result
3715
3394
                        block_index +=1
3716
3395
                        if (block_index < len(self.state._dirblocks) and
3746
3425
                        pass
3747
3426
                    elif current_path_info is None:
3748
3427
                        # no path is fine: the per entry code will handle it.
3749
 
                        result, changed = _process_entry(current_entry, current_path_info)
3750
 
                        if changed is not None:
3751
 
                            if changed:
3752
 
                                self._gather_result_for_consistency(result)
3753
 
                            if changed or self.include_unchanged:
 
3428
                        result = _process_entry(current_entry, current_path_info)
 
3429
                        if result is not None:
 
3430
                            if result is not uninteresting:
3754
3431
                                yield result
3755
3432
                    elif (current_entry[0][1] != current_path_info[1]
3756
3433
                          or current_entry[1][self.target_index][0] in 'ar'):
3769
3446
                        else:
3770
3447
                            # entry referring to file not present on disk.
3771
3448
                            # advance the entry only, after processing.
3772
 
                            result, changed = _process_entry(current_entry, None)
3773
 
                            if changed is not None:
3774
 
                                if changed:
3775
 
                                    self._gather_result_for_consistency(result)
3776
 
                                if changed or self.include_unchanged:
 
3449
                            result = _process_entry(current_entry, None)
 
3450
                            if result is not None:
 
3451
                                if result is not uninteresting:
3777
3452
                                    yield result
3778
3453
                            advance_path = False
3779
3454
                    else:
3780
 
                        result, changed = _process_entry(current_entry, current_path_info)
3781
 
                        if changed is not None:
 
3455
                        result = _process_entry(current_entry, current_path_info)
 
3456
                        if result is not None:
3782
3457
                            path_handled = True
3783
 
                            if changed:
3784
 
                                self._gather_result_for_consistency(result)
3785
 
                            if changed or self.include_unchanged:
 
3458
                            if result is not uninteresting:
3786
3459
                                yield result
3787
3460
                    if advance_entry and current_entry is not None:
3788
3461
                        entry_index += 1
3847
3520
                        current_dir_info = dir_iterator.next()
3848
3521
                    except StopIteration:
3849
3522
                        current_dir_info = None
3850
 
        for result in self._iter_specific_file_parents():
3851
 
            yield result
3852
 
 
3853
 
    def _iter_specific_file_parents(self):
3854
 
        """Iter over the specific file parents."""
3855
 
        while self.search_specific_file_parents:
3856
 
            # Process the parent directories for the paths we were iterating.
3857
 
            # Even in extremely large trees this should be modest, so currently
3858
 
            # no attempt is made to optimise.
3859
 
            path_utf8 = self.search_specific_file_parents.pop()
3860
 
            if osutils.is_inside_any(self.searched_specific_files, path_utf8):
3861
 
                # We've examined this path.
3862
 
                continue
3863
 
            if path_utf8 in self.searched_exact_paths:
3864
 
                # We've examined this path.
3865
 
                continue
3866
 
            path_entries = self.state._entries_for_path(path_utf8)
3867
 
            # We need either one or two entries. If the path in
3868
 
            # self.target_index has moved (so the entry in source_index is in
3869
 
            # 'ar') then we need to also look for the entry for this path in
3870
 
            # self.source_index, to output the appropriate delete-or-rename.
3871
 
            selected_entries = []
3872
 
            found_item = False
3873
 
            for candidate_entry in path_entries:
3874
 
                # Find entries present in target at this path:
3875
 
                if candidate_entry[1][self.target_index][0] not in 'ar':
3876
 
                    found_item = True
3877
 
                    selected_entries.append(candidate_entry)
3878
 
                # Find entries present in source at this path:
3879
 
                elif (self.source_index is not None and
3880
 
                    candidate_entry[1][self.source_index][0] not in 'ar'):
3881
 
                    found_item = True
3882
 
                    if candidate_entry[1][self.target_index][0] == 'a':
3883
 
                        # Deleted, emit it here.
3884
 
                        selected_entries.append(candidate_entry)
3885
 
                    else:
3886
 
                        # renamed, emit it when we process the directory it
3887
 
                        # ended up at.
3888
 
                        self.search_specific_file_parents.add(
3889
 
                            candidate_entry[1][self.target_index][1])
3890
 
            if not found_item:
3891
 
                raise AssertionError(
3892
 
                    "Missing entry for specific path parent %r, %r" % (
3893
 
                    path_utf8, path_entries))
3894
 
            path_info = self._path_info(path_utf8, path_utf8.decode('utf8'))
3895
 
            for entry in selected_entries:
3896
 
                if entry[0][2] in self.seen_ids:
3897
 
                    continue
3898
 
                result, changed = self._process_entry(entry, path_info)
3899
 
                if changed is None:
3900
 
                    raise AssertionError(
3901
 
                        "Got entry<->path mismatch for specific path "
3902
 
                        "%r entry %r path_info %r " % (
3903
 
                        path_utf8, entry, path_info))
3904
 
                # Only include changes - we're outside the users requested
3905
 
                # expansion.
3906
 
                if changed:
3907
 
                    self._gather_result_for_consistency(result)
3908
 
                    if (result[6][0] == 'directory' and
3909
 
                        result[6][1] != 'directory'):
3910
 
                        # This stopped being a directory, the old children have
3911
 
                        # to be included.
3912
 
                        if entry[1][self.source_index][0] == 'r':
3913
 
                            # renamed, take the source path
3914
 
                            entry_path_utf8 = entry[1][self.source_index][1]
3915
 
                        else:
3916
 
                            entry_path_utf8 = path_utf8
3917
 
                        initial_key = (entry_path_utf8, '', '')
3918
 
                        block_index, _ = self.state._find_block_index_from_key(
3919
 
                            initial_key)
3920
 
                        if block_index == 0:
3921
 
                            # The children of the root are in block index 1.
3922
 
                            block_index +=1
3923
 
                        current_block = None
3924
 
                        if block_index < len(self.state._dirblocks):
3925
 
                            current_block = self.state._dirblocks[block_index]
3926
 
                            if not osutils.is_inside(
3927
 
                                entry_path_utf8, current_block[0]):
3928
 
                                # No entries for this directory at all.
3929
 
                                current_block = None
3930
 
                        if current_block is not None:
3931
 
                            for entry in current_block[1]:
3932
 
                                if entry[1][self.source_index][0] in 'ar':
3933
 
                                    # Not in the source tree, so doesn't have to be
3934
 
                                    # included.
3935
 
                                    continue
3936
 
                                # Path of the entry itself.
3937
 
 
3938
 
                                self.search_specific_file_parents.add(
3939
 
                                    osutils.pathjoin(*entry[0][:2]))
3940
 
                if changed or self.include_unchanged:
3941
 
                    yield result
3942
 
            self.searched_exact_paths.add(path_utf8)
3943
 
 
3944
 
    def _path_info(self, utf8_path, unicode_path):
3945
 
        """Generate path_info for unicode_path.
3946
 
 
3947
 
        :return: None if unicode_path does not exist, or a path_info tuple.
3948
 
        """
3949
 
        abspath = self.tree.abspath(unicode_path)
3950
 
        try:
3951
 
            stat = os.lstat(abspath)
3952
 
        except OSError, e:
3953
 
            if e.errno == errno.ENOENT:
3954
 
                # the path does not exist.
3955
 
                return None
3956
 
            else:
3957
 
                raise
3958
 
        utf8_basename = utf8_path.rsplit('/', 1)[-1]
3959
 
        dir_info = (utf8_path, utf8_basename,
3960
 
            osutils.file_kind_from_stat_mode(stat.st_mode), stat,
3961
 
            abspath)
3962
 
        if dir_info[2] == 'directory':
3963
 
            if self.tree._directory_is_tree_reference(
3964
 
                unicode_path):
3965
 
                self.root_dir_info = self.root_dir_info[:2] + \
3966
 
                    ('tree-reference',) + self.root_dir_info[3:]
3967
 
        return dir_info
 
3523
_process_entry = ProcessEntryPython
3968
3524
 
3969
3525
 
3970
3526
# Try to load the compiled form if possible
3971
3527
try:
3972
 
    from bzrlib._dirstate_helpers_pyx import (
3973
 
        _read_dirblocks,
3974
 
        bisect_dirblock,
3975
 
        _bisect_path_left,
3976
 
        _bisect_path_right,
3977
 
        cmp_by_dirs,
 
3528
    from bzrlib._dirstate_helpers_c import (
 
3529
        _read_dirblocks_c as _read_dirblocks,
 
3530
        bisect_dirblock_c as bisect_dirblock,
 
3531
        _bisect_path_left_c as _bisect_path_left,
 
3532
        _bisect_path_right_c as _bisect_path_right,
 
3533
        cmp_by_dirs_c as cmp_by_dirs,
3978
3534
        ProcessEntryC as _process_entry,
3979
3535
        update_entry as update_entry,
3980
3536
        )
3981
 
except ImportError, e:
3982
 
    osutils.failed_to_load_extension(e)
 
3537
except ImportError:
3983
3538
    from bzrlib._dirstate_helpers_py import (
3984
 
        _read_dirblocks,
3985
 
        bisect_dirblock,
3986
 
        _bisect_path_left,
3987
 
        _bisect_path_right,
3988
 
        cmp_by_dirs,
 
3539
        _read_dirblocks_py as _read_dirblocks,
 
3540
        bisect_dirblock_py as bisect_dirblock,
 
3541
        _bisect_path_left_py as _bisect_path_left,
 
3542
        _bisect_path_right_py as _bisect_path_right,
 
3543
        cmp_by_dirs_py as cmp_by_dirs,
3989
3544
        )
3990
 
    # FIXME: It would be nice to be able to track moved lines so that the
3991
 
    # corresponding python code can be moved to the _dirstate_helpers_py
3992
 
    # module. I don't want to break the history for this important piece of
3993
 
    # code so I left the code here -- vila 20090622
3994
 
    update_entry = py_update_entry
3995
 
    _process_entry = ProcessEntryPython