~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/changeset.py

  • Committer: Martin Pool
  • Date: 2005-09-13 08:21:32 UTC
  • Revision ID: mbp@sourcefrog.net-20050913082132-66279763a02e695c
- allow the same version to be repeatedly added to a weave

  (silently absorb them into a single version)

- tests for this

Show diffs side-by-side

added added

removed removed

Lines of Context:
18
18
import patch
19
19
import stat
20
20
from bzrlib.trace import mutter
21
 
"""
22
 
Represent and apply a changeset
23
 
"""
 
21
 
 
22
# XXX: mbp: I'm not totally convinced that we should handle conflicts
 
23
# as part of changeset application, rather than only in the merge
 
24
# operation.
 
25
 
 
26
"""Represent and apply a changeset
 
27
 
 
28
Conflicts in applying a changeset are represented as exceptions.
 
29
"""
 
30
 
24
31
__docformat__ = "restructuredtext"
25
32
 
26
33
NULL_ID = "!NULL"
319
326
 
320
327
 
321
328
class Diff3Merge(object):
322
 
    def __init__(self, base_file, other_file):
323
 
        self.base_file = base_file
324
 
        self.other_file = other_file
 
329
    def __init__(self, file_id, base, other):
 
330
        self.file_id = file_id
 
331
        self.base = base
 
332
        self.other = other
325
333
 
326
334
    def __eq__(self, other):
327
335
        if not isinstance(other, Diff3Merge):
328
336
            return False
329
 
        return (self.base_file == other.base_file and 
330
 
                self.other_file == other.other_file)
 
337
        return (self.base == other.base and 
 
338
                self.other == other.other and self.file_id == other.file_id)
331
339
 
332
340
    def __ne__(self, other):
333
341
        return not (self == other)
334
342
 
335
343
    def apply(self, filename, conflict_handler, reverse=False):
336
 
        new_file = filename+".new" 
 
344
        new_file = filename+".new"
 
345
        base_file = self.base.readonly_path(self.file_id)
 
346
        other_file = self.other.readonly_path(self.file_id)
337
347
        if not reverse:
338
 
            base = self.base_file
339
 
            other = self.other_file
 
348
            base = base_file
 
349
            other = other_file
340
350
        else:
341
 
            base = self.other_file
342
 
            other = self.base_file
 
351
            base = other_file
 
352
            other = base_file
343
353
        status = patch.diff3(new_file, filename, base, other)
344
354
        if status == 0:
345
355
            os.chmod(new_file, os.stat(filename).st_mode)
347
357
            return
348
358
        else:
349
359
            assert(status == 1)
350
 
            conflict_handler.merge_conflict(new_file, filename, base, other)
 
360
            def get_lines(filename):
 
361
                my_file = file(base, "rb")
 
362
                lines = my_file.readlines()
 
363
                my_file.close()
 
364
            base_lines = get_lines(base)
 
365
            other_lines = get_lines(other)
 
366
            conflict_handler.merge_conflict(new_file, filename, base_lines, 
 
367
                                            other_lines)
351
368
 
352
369
 
353
370
def CreateDir():
609
626
                return None
610
627
            return self.path
611
628
 
612
 
    def summarize_name(self, changeset, reverse=False):
 
629
    def summarize_name(self, reverse=False):
613
630
        """Produce a one-line summary of the filename.  Indicates renames as
614
631
        old => new, indicates creation as None => new, indicates deletion as
615
632
        old => None.
646
663
        :type reverse: bool
647
664
        :rtype: str
648
665
        """
649
 
        mutter("Finding new path for %s" % self.summarize_name(changeset))
 
666
        mutter("Finding new path for %s" % self.summarize_name())
650
667
        if reverse:
651
668
            parent = self.parent
652
669
            to_dir = self.dir
980
997
 
981
998
 
982
999
class ExceptionConflictHandler(object):
 
1000
    """Default handler for merge exceptions.
 
1001
 
 
1002
    This throws an error on any kind of conflict.  Conflict handlers can
 
1003
    descend from this class if they have a better way to handle some or
 
1004
    all types of conflict.
 
1005
    """
983
1006
    def __init__(self, dir):
984
1007
        self.dir = dir
985
1008
    
999
1022
    def rename_conflict(self, id, this_name, base_name, other_name):
1000
1023
        raise RenameConflict(id, this_name, base_name, other_name)
1001
1024
 
1002
 
    def move_conflict(self, id, inventory):
1003
 
        this_dir = inventory.this.get_dir(id)
1004
 
        base_dir = inventory.base.get_dir(id)
1005
 
        other_dir = inventory.other.get_dir(id)
 
1025
    def move_conflict(self, id, this_dir, base_dir, other_dir):
1006
1026
        raise MoveConflict(id, this_dir, base_dir, other_dir)
1007
1027
 
1008
 
    def merge_conflict(self, new_file, this_path, base_path, other_path):
 
1028
    def merge_conflict(self, new_file, this_path, base_lines, other_lines):
1009
1029
        os.unlink(new_file)
1010
1030
        raise MergeConflict(this_path)
1011
1031
 
1039
1059
    def missing_for_rename(self, filename):
1040
1060
        raise MissingForRename(filename)
1041
1061
 
1042
 
    def missing_for_merge(self, file_id, inventory):
1043
 
        raise MissingForMerge(inventory.other.get_path(file_id))
 
1062
    def missing_for_merge(self, file_id, other_path):
 
1063
        raise MissingForMerge(other_path)
1044
1064
 
1045
1065
    def new_contents_conflict(self, filename, other_contents):
1046
1066
        raise NewContentsConflict(filename)
1047
1067
 
1048
 
    def finalize():
 
1068
    def finalize(self):
1049
1069
        pass
1050
1070
 
1051
1071
def apply_changeset(changeset, inventory, dir, conflict_handler=None, 
1267
1287
        self.full_path = full_path
1268
1288
        self.stat_result = stat_result
1269
1289
 
1270
 
def generate_changeset(tree_a, tree_b, inventory_a=None, inventory_b=None):
1271
 
    return ChangesetGenerator(tree_a, tree_b, inventory_a, inventory_b)()
 
1290
def generate_changeset(tree_a, tree_b, interesting_ids=None):
 
1291
    return ChangesetGenerator(tree_a, tree_b, interesting_ids)()
1272
1292
 
1273
1293
class ChangesetGenerator(object):
1274
 
    def __init__(self, tree_a, tree_b, inventory_a=None, inventory_b=None):
 
1294
    def __init__(self, tree_a, tree_b, interesting_ids=None):
1275
1295
        object.__init__(self)
1276
1296
        self.tree_a = tree_a
1277
1297
        self.tree_b = tree_b
1278
 
        if inventory_a is not None:
1279
 
            self.inventory_a = inventory_a
1280
 
        else:
1281
 
            self.inventory_a = tree_a.inventory()
1282
 
        if inventory_b is not None:
1283
 
            self.inventory_b = inventory_b
1284
 
        else:
1285
 
            self.inventory_b = tree_b.inventory()
1286
 
        self.r_inventory_a = self.reverse_inventory(self.inventory_a)
1287
 
        self.r_inventory_b = self.reverse_inventory(self.inventory_b)
 
1298
        self._interesting_ids = interesting_ids
1288
1299
 
1289
 
    def reverse_inventory(self, inventory):
1290
 
        r_inventory = {}
1291
 
        for entry in inventory.itervalues():
1292
 
            if entry.id is None:
1293
 
                continue
1294
 
            r_inventory[entry.id] = entry
1295
 
        return r_inventory
 
1300
    def iter_both_tree_ids(self):
 
1301
        for file_id in self.tree_a:
 
1302
            yield file_id
 
1303
        for file_id in self.tree_b:
 
1304
            if file_id not in self.tree_a:
 
1305
                yield file_id
1296
1306
 
1297
1307
    def __call__(self):
1298
1308
        cset = Changeset()
1299
 
        for entry in self.inventory_a.itervalues():
1300
 
            if entry.id is None:
1301
 
                continue
1302
 
            cs_entry = self.make_entry(entry.id)
 
1309
        for file_id in self.iter_both_tree_ids():
 
1310
            cs_entry = self.make_entry(file_id)
1303
1311
            if cs_entry is not None and not cs_entry.is_boring():
1304
1312
                cset.add_entry(cs_entry)
1305
1313
 
1306
 
        for entry in self.inventory_b.itervalues():
1307
 
            if entry.id is None:
1308
 
                continue
1309
 
            if not self.r_inventory_a.has_key(entry.id):
1310
 
                cs_entry = self.make_entry(entry.id)
1311
 
                if cs_entry is not None and not cs_entry.is_boring():
1312
 
                    cset.add_entry(cs_entry)
1313
1314
        for entry in list(cset.entries.itervalues()):
1314
1315
            if entry.parent != entry.new_parent:
1315
1316
                if not cset.entries.has_key(entry.parent) and\
1323
1324
                    cset.add_entry(parent_entry)
1324
1325
        return cset
1325
1326
 
1326
 
    def get_entry_parent(self, entry, inventory):
1327
 
        if entry is None:
1328
 
            return None
1329
 
        if entry.path == "./.":
1330
 
            return NULL_ID
1331
 
        dirname = os.path.dirname(entry.path)
1332
 
        if dirname == ".":
1333
 
            dirname = "./."
1334
 
        parent = inventory[dirname]
1335
 
        return parent.id
1336
 
 
1337
 
    def get_path(self, entry, tree):
1338
 
        if entry is None:
1339
 
            return (None, None)
1340
 
        if entry.path == ".":
1341
 
            return ""
1342
 
        return entry.path
1343
 
 
1344
 
    def make_basic_entry(self, id, only_interesting):
1345
 
        entry_a = self.r_inventory_a.get(id)
1346
 
        entry_b = self.r_inventory_b.get(id)
 
1327
    def iter_inventory(self, tree):
 
1328
        for file_id in tree:
 
1329
            yield self.get_entry(file_id, tree)
 
1330
 
 
1331
    def get_entry(self, file_id, tree):
 
1332
        if not tree.has_or_had_id(file_id):
 
1333
            return None
 
1334
        return tree.tree.inventory[file_id]
 
1335
 
 
1336
    def get_entry_parent(self, entry):
 
1337
        if entry is None:
 
1338
            return None
 
1339
        return entry.parent_id
 
1340
 
 
1341
    def get_path(self, file_id, tree):
 
1342
        if not tree.has_or_had_id(file_id):
 
1343
            return None
 
1344
        path = tree.id2path(file_id)
 
1345
        if path == '':
 
1346
            return './.'
 
1347
        else:
 
1348
            return path
 
1349
 
 
1350
    def make_basic_entry(self, file_id, only_interesting):
 
1351
        entry_a = self.get_entry(file_id, self.tree_a)
 
1352
        entry_b = self.get_entry(file_id, self.tree_b)
1347
1353
        if only_interesting and not self.is_interesting(entry_a, entry_b):
1348
1354
            return None
1349
 
        parent = self.get_entry_parent(entry_a, self.inventory_a)
1350
 
        path = self.get_path(entry_a, self.tree_a)
1351
 
        cs_entry = ChangesetEntry(id, parent, path)
1352
 
        new_parent = self.get_entry_parent(entry_b, self.inventory_b)
1353
 
 
1354
 
 
1355
 
        new_path = self.get_path(entry_b, self.tree_b)
 
1355
        parent = self.get_entry_parent(entry_a)
 
1356
        path = self.get_path(file_id, self.tree_a)
 
1357
        cs_entry = ChangesetEntry(file_id, parent, path)
 
1358
        new_parent = self.get_entry_parent(entry_b)
 
1359
 
 
1360
        new_path = self.get_path(file_id, self.tree_b)
1356
1361
 
1357
1362
        cs_entry.new_path = new_path
1358
1363
        cs_entry.new_parent = new_parent
1359
1364
        return cs_entry
1360
1365
 
1361
1366
    def is_interesting(self, entry_a, entry_b):
 
1367
        if self._interesting_ids is None:
 
1368
            return True
1362
1369
        if entry_a is not None:
1363
 
            if entry_a.interesting:
1364
 
                return True
1365
 
        if entry_b is not None:
1366
 
            if entry_b.interesting:
1367
 
                return True
1368
 
        return False
 
1370
            file_id = entry_a.file_id
 
1371
        elif entry_b is not None:
 
1372
            file_id = entry_b.file_id
 
1373
        else:
 
1374
            return False
 
1375
        return file_id in self._interesting_ids
1369
1376
 
1370
1377
    def make_boring_entry(self, id):
1371
1378
        cs_entry = self.make_basic_entry(id, only_interesting=False)
1390
1397
        full_path_b = self.tree_b.readonly_path(id)
1391
1398
        stat_a = self.lstat(full_path_a)
1392
1399
        stat_b = self.lstat(full_path_b)
1393
 
        if stat_b is None:
1394
 
            cs_entry.new_parent = None
1395
 
            cs_entry.new_path = None
1396
1400
        
1397
1401
        cs_entry.metadata_change = self.make_mode_change(stat_a, stat_b)
1398
1402
        cs_entry.contents_change = self.make_contents_change(full_path_a,