3
# Copyright (C) 2005 by Canonical Ltd
5
# This program is free software; you can redistribute it and/or modify
6
# it under the terms of the GNU General Public License as published by
7
# the Free Software Foundation; either version 2 of the License, or
8
# (at your option) any later version.
10
# This program is distributed in the hope that it will be useful,
11
# but WITHOUT ANY WARRANTY; without even the implied warranty of
12
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13
# GNU General Public License for more details.
15
# You should have received a copy of the GNU General Public License
16
# along with this program; if not, write to the Free Software
17
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22
"""test suite for weave algorithm"""
26
from bzrlib.weave import Weave, WeaveFormatError
27
from bzrlib.weavefile import write_weave, read_weave
28
from pprint import pformat
35
from sets import Set, ImmutableSet
37
frozenset = ImmutableSet
42
# texts for use in testing
43
TEXT_0 = ["Hello world"]
44
TEXT_1 = ["Hello world",
49
class TestBase(testsweet.TestBase):
50
def check_read_write(self, k):
51
"""Check the weave k can be written & re-read."""
52
from tempfile import TemporaryFile
61
self.log('serialized weave:')
63
self.fail('read/write check failed')
73
class StoreText(TestBase):
74
"""Store and retrieve a simple text."""
77
idx = k.add([], TEXT_0)
78
self.assertEqual(k.get(idx), TEXT_0)
79
self.assertEqual(idx, 0)
83
class AnnotateOne(TestBase):
87
self.assertEqual(k.annotate(0),
91
class StoreTwo(TestBase):
95
idx = k.add([], TEXT_0)
96
self.assertEqual(idx, 0)
98
idx = k.add([], TEXT_1)
99
self.assertEqual(idx, 1)
101
self.assertEqual(k.get(0), TEXT_0)
102
self.assertEqual(k.get(1), TEXT_1)
104
k.dump(self.TEST_LOG)
108
class InvalidAdd(TestBase):
109
"""Try to use invalid version number during add."""
113
self.assertRaises(IndexError,
119
class InsertLines(TestBase):
120
"""Store a revision that adds one line to the original.
122
Look at the annotations to make sure that the first line is matched
123
and not stored repeatedly."""
127
k.add([], ['line 1'])
128
k.add([0], ['line 1', 'line 2'])
130
self.assertEqual(k.annotate(0),
133
self.assertEqual(k.get(1),
137
self.assertEqual(k.annotate(1),
141
k.add([0], ['line 1', 'diverged line'])
143
self.assertEqual(k.annotate(2),
145
(2, 'diverged line')])
147
text3 = ['line 1', 'middle line', 'line 2']
151
# self.log("changes to text3: " + pformat(list(k._delta(set([0, 1]), text3))))
153
self.log("k._weave=" + pformat(k._weave))
155
self.assertEqual(k.annotate(3),
160
# now multiple insertions at different places
162
['line 1', 'aaa', 'middle line', 'bbb', 'line 2', 'ccc'])
164
self.assertEqual(k.annotate(4),
174
class DeleteLines(TestBase):
175
"""Deletion of lines from existing text.
177
Try various texts all based on a common ancestor."""
181
base_text = ['one', 'two', 'three', 'four']
185
texts = [['one', 'two', 'three'],
186
['two', 'three', 'four'],
188
['one', 'two', 'three', 'four'],
194
self.log('final weave:')
195
self.log('k._weave=' + pformat(k._weave))
197
for i in range(len(texts)):
198
self.assertEqual(k.get(i+1),
204
class SuicideDelete(TestBase):
205
"""Invalid weave which tries to add and delete simultaneously."""
211
k._weave = [('{', 0),
218
################################### SKIPPED
219
# Weave.get doesn't trap this anymore
222
self.assertRaises(WeaveFormatError,
228
class CannedDelete(TestBase):
229
"""Unpack canned weave with deleted lines."""
236
k._weave = [('{', 0),
239
'line to be deleted',
245
self.assertEqual(k.get(0),
247
'line to be deleted',
251
self.assertEqual(k.get(1),
258
class CannedReplacement(TestBase):
259
"""Unpack canned weave with deleted lines."""
263
k._parents = [frozenset(),
266
k._weave = [('{', 0),
269
'line to be deleted',
278
self.assertEqual(k.get(0),
280
'line to be deleted',
284
self.assertEqual(k.get(1),
292
class BadWeave(TestBase):
293
"""Test that we trap an insert which should not occur."""
297
k._parents = [frozenset(),
299
k._weave = ['bad line',
303
' added in version 1',
312
################################### SKIPPED
313
# Weave.get doesn't trap this anymore
317
self.assertRaises(WeaveFormatError,
322
class BadInsert(TestBase):
323
"""Test that we trap an insert which should not occur."""
327
k._parents = [frozenset(),
332
k._weave = [('{', 0),
335
' added in version 1',
343
# this is not currently enforced by get
344
return ##########################################
346
self.assertRaises(WeaveFormatError,
350
self.assertRaises(WeaveFormatError,
355
class InsertNested(TestBase):
356
"""Insertion with nested instructions."""
360
k._parents = [frozenset(),
365
k._weave = [('{', 0),
368
' added in version 1',
377
self.assertEqual(k.get(0),
381
self.assertEqual(k.get(1),
383
' added in version 1',
387
self.assertEqual(k.get(2),
392
self.assertEqual(k.get(3),
394
' added in version 1',
401
class DeleteLines2(TestBase):
402
"""Test recording revisions that delete lines.
404
This relies on the weave having a way to represent lines knocked
405
out by a later revision."""
409
k.add([], ["line the first",
414
self.assertEqual(len(k.get(0)), 4)
416
k.add([0], ["line the first",
419
self.assertEqual(k.get(1),
423
self.assertEqual(k.annotate(1),
424
[(0, "line the first"),
429
class IncludeVersions(TestBase):
430
"""Check texts that are stored across multiple revisions.
432
Here we manually create a weave with particular encoding and make
433
sure it unpacks properly.
435
Text 0 includes nothing; text 1 includes text 0 and adds some
442
k._parents = [frozenset(), frozenset([0])]
443
k._weave = [('{', 0),
450
self.assertEqual(k.get(1),
454
self.assertEqual(k.get(0),
457
k.dump(self.TEST_LOG)
460
class DivergedIncludes(TestBase):
461
"""Weave with two diverged texts based on version 0.
466
k._parents = [frozenset(),
470
k._weave = [('{', 0),
477
"alternative second line",
481
self.assertEqual(k.get(0),
484
self.assertEqual(k.get(1),
488
self.assertEqual(k.get(2),
490
"alternative second line"])
492
self.assertEqual(list(k.inclusions([2])),
497
class ReplaceLine(TestBase):
501
text0 = ['cheddar', 'stilton', 'gruyere']
502
text1 = ['cheddar', 'blue vein', 'neufchatel', 'chevre']
507
self.log('k._weave=' + pformat(k._weave))
509
self.assertEqual(k.get(0), text0)
510
self.assertEqual(k.get(1), text1)
514
class Merge(TestBase):
515
"""Storage of versions that merge diverged parents"""
520
['header', '', 'line from 1'],
521
['header', '', 'line from 2', 'more from 2'],
522
['header', '', 'line from 1', 'fixup line', 'line from 2'],
528
k.add([0, 1, 2], texts[3])
530
for i, t in enumerate(texts):
531
self.assertEqual(k.get(i), t)
533
self.assertEqual(k.annotate(3),
541
self.assertEqual(list(k.inclusions([3])),
544
self.log('k._weave=' + pformat(k._weave))
546
self.check_read_write(k)
549
class Conflicts(TestBase):
550
"""Test detection of conflicting regions during a merge.
552
A base version is inserted, then two descendents try to
553
insert different lines in the same place. These should be
554
reported as a possible conflict and forwarded to the user."""
559
k.add([], ['aaa', 'bbb'])
560
k.add([0], ['aaa', '111', 'bbb'])
561
k.add([1], ['aaa', '222', 'bbb'])
563
merged = k.merge([1, 2])
565
self.assertEquals([[['aaa']],
571
class NonConflict(TestBase):
572
"""Two descendants insert compatible changes.
574
No conflict should be reported."""
579
k.add([], ['aaa', 'bbb'])
580
k.add([0], ['111', 'aaa', 'ccc', 'bbb'])
581
k.add([1], ['aaa', 'ccc', 'bbb', '222'])
587
class AutoMerge(TestBase):
591
texts = [['header', 'aaa', 'bbb'],
592
['header', 'aaa', 'line from 1', 'bbb'],
593
['header', 'aaa', 'bbb', 'line from 2', 'more from 2'],
600
self.log('k._weave=' + pformat(k._weave))
602
m = list(k.mash_iter([0, 1, 2]))
608
'line from 2', 'more from 2'])
612
class Khayyam(TestBase):
613
"""Test changes to multi-line texts, and read/write"""
616
"""A Book of Verses underneath the Bough,
617
A Jug of Wine, a Loaf of Bread, -- and Thou
618
Beside me singing in the Wilderness --
619
Oh, Wilderness were Paradise enow!""",
621
"""A Book of Verses underneath the Bough,
622
A Jug of Wine, a Loaf of Bread, -- and Thou
623
Beside me singing in the Wilderness --
624
Oh, Wilderness were Paradise now!""",
626
"""A Book of poems underneath the tree,
627
A Jug of Wine, a Loaf of Bread,
629
Beside me singing in the Wilderness --
630
Oh, Wilderness were Paradise now!
634
"""A Book of Verses underneath the Bough,
635
A Jug of Wine, a Loaf of Bread,
637
Beside me singing in the Wilderness --
638
Oh, Wilderness were Paradise now!""",
640
texts = [[l.strip() for l in t.split('\n')] for t in rawtexts]
645
ver = k.add(list(parents), t)
648
self.log("k._weave=" + pformat(k._weave))
650
for i, t in enumerate(texts):
651
self.assertEqual(k.get(i), t)
653
self.check_read_write(k)
657
class MergeCases(TestBase):
658
def doMerge(self, base, a, b, mp):
659
from cStringIO import StringIO
660
from textwrap import dedent
666
w.add([], map(addcrlf, base))
667
w.add([0], map(addcrlf, a))
668
w.add([0], map(addcrlf, b))
670
self.log('weave is:')
673
self.log(tmpf.getvalue())
675
self.log('merge plan:')
676
p = list(w.plan_merge(1, 2))
677
for state, line in p:
679
self.log('%12s | %s' % (state, line[:-1]))
683
mt.writelines(w.weave_merge(p))
685
self.log(mt.getvalue())
687
mp = map(addcrlf, mp)
688
self.assertEqual(mt.readlines(), mp)
691
def testOneInsert(self):
697
def testSeparateInserts(self):
698
self.doMerge(['aaa', 'bbb', 'ccc'],
699
['aaa', 'xxx', 'bbb', 'ccc'],
700
['aaa', 'bbb', 'yyy', 'ccc'],
701
['aaa', 'xxx', 'bbb', 'yyy', 'ccc'])
703
def testSameInsert(self):
704
self.doMerge(['aaa', 'bbb', 'ccc'],
705
['aaa', 'xxx', 'bbb', 'ccc'],
706
['aaa', 'xxx', 'bbb', 'yyy', 'ccc'],
707
['aaa', 'xxx', 'bbb', 'yyy', 'ccc'])
709
def testOverlappedInsert(self):
710
self.doMerge(['aaa', 'bbb'],
711
['aaa', 'xxx', 'yyy', 'bbb'],
712
['aaa', 'xxx', 'bbb'],
713
['aaa', '<<<<', 'xxx', 'yyy', '====', 'xxx', '>>>>', 'bbb'])
715
# really it ought to reduce this to
716
# ['aaa', 'xxx', 'yyy', 'bbb']
719
def testClashReplace(self):
720
self.doMerge(['aaa'],
723
['<<<<', 'xxx', '====', 'yyy', 'zzz', '>>>>'])
725
def testNonClashInsert(self):
726
self.doMerge(['aaa'],
729
['<<<<', 'xxx', 'aaa', '====', 'yyy', 'zzz', '>>>>'])
731
self.doMerge(['aaa'],
737
def testDeleteAndModify(self):
738
"""Clashing delete and modification.
740
If one side modifies a region and the other deletes it then
741
there should be a conflict with one side blank.
744
#######################################
745
# skippd, not working yet
748
self.doMerge(['aaa', 'bbb', 'ccc'],
749
['aaa', 'ddd', 'ccc'],
751
['<<<<', 'aaa', '====', '>>>>', 'ccc'])
757
from unittest import TestSuite, TestLoader
762
suite.addTest(tl.loadTestsFromModule(testweave))
764
return int(not testsweet.run_suite(suite)) # for shell 0=true
767
if __name__ == '__main__':
769
sys.exit(testweave())