~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to tools/testweave.py

  • Committer: Martin Pool
  • Date: 2005-08-19 21:34:32 UTC
  • Revision ID: mbp@sourcefrog.net-20050819213432-4fa923a97c45d845
- add schema and example for new inventory form

Show diffs side-by-side

added added

removed removed

Lines of Context:
18
18
 
19
19
 
20
20
# TODO: tests regarding version names
21
 
# TODO: rbc 20050108 test that join does not leave an inconsistent weave 
22
 
#       if it fails.
 
21
 
 
22
 
23
23
 
24
24
"""test suite for weave algorithm"""
25
25
 
 
26
 
 
27
import testsweet
 
28
from bzrlib.weave import Weave, WeaveFormatError
 
29
from bzrlib.weavefile import write_weave, read_weave
26
30
from pprint import pformat
27
31
 
28
 
import bzrlib.errors as errors
29
 
from bzrlib.weave import Weave, WeaveFormatError, WeaveError, reweave
30
 
from bzrlib.weavefile import write_weave, read_weave
31
 
from bzrlib.tests import TestCase
32
 
from bzrlib.osutils import sha_string
 
32
 
 
33
try:
 
34
    set
 
35
    frozenset
 
36
except NameError:
 
37
    from sets import Set, ImmutableSet
 
38
    set = Set
 
39
    frozenset = ImmutableSet
 
40
    del Set, ImmutableSet
 
41
 
33
42
 
34
43
 
35
44
# texts for use in testing
38
47
          "A second line"]
39
48
 
40
49
 
41
 
class TestBase(TestCase):
 
50
 
 
51
class TestBase(testsweet.TestBase):
42
52
    def check_read_write(self, k):
43
53
        """Check the weave k can be written & re-read."""
44
54
        from tempfile import TemporaryFile
58
68
            self.log('         %r' % k._parents)
59
69
            self.log('         %r' % k2._parents)
60
70
            self.log('')
 
71
 
 
72
            
61
73
            self.fail('read/write check failed')
62
 
 
63
 
 
64
 
class WeaveContains(TestBase):
65
 
    """Weave __contains__ operator"""
66
 
    def runTest(self):
67
 
        k = Weave()
68
 
        self.assertFalse('foo' in k)
69
 
        k.add('foo', [], TEXT_1)
70
 
        self.assertTrue('foo' in k)
 
74
        
 
75
        
71
76
 
72
77
 
73
78
class Easy(TestBase):
84
89
        self.assertEqual(idx, 0)
85
90
 
86
91
 
 
92
 
87
93
class AnnotateOne(TestBase):
88
94
    def runTest(self):
89
95
        k = Weave()
105
111
        self.assertEqual(k.get(0), TEXT_0)
106
112
        self.assertEqual(k.get(1), TEXT_1)
107
113
 
108
 
 
109
 
class AddWithGivenSha(TestBase):
110
 
    def runTest(self):
111
 
        """Add with caller-supplied SHA-1"""
112
 
        k = Weave()
113
 
 
114
 
        t = 'text0'
115
 
        k.add('text0', [], [t], sha1=sha_string(t))
116
 
 
117
 
 
118
 
class GetSha1(TestBase):
119
 
    def test_get_sha1(self):
120
 
        k = Weave()
121
 
        k.add('text0', [], 'text0')
122
 
        self.assertEqual('34dc0e430c642a26c3dd1c2beb7a8b4f4445eb79',
123
 
                         k.get_sha1('text0'))
124
 
        self.assertRaises(errors.WeaveRevisionNotPresent,
125
 
                          k.get_sha1, 0)
126
 
        self.assertRaises(errors.WeaveRevisionNotPresent,
127
 
                          k.get_sha1, 'text1')
128
 
                        
 
114
        k.dump(self.TEST_LOG)
 
115
 
 
116
 
129
117
 
130
118
class InvalidAdd(TestBase):
131
119
    """Try to use invalid version number during add."""
139
127
                          ['new text!'])
140
128
 
141
129
 
142
 
class RepeatedAdd(TestBase):
143
 
    """Add the same version twice; harmless."""
144
 
    def runTest(self):
145
 
        k = Weave()
146
 
        idx = k.add('text0', [], TEXT_0)
147
 
        idx2 = k.add('text0', [], TEXT_0)
148
 
        self.assertEqual(idx, idx2)
149
 
 
150
 
 
151
 
class InvalidRepeatedAdd(TestBase):
152
 
    def runTest(self):
153
 
        k = Weave()
154
 
        idx = k.add('text0', [], TEXT_0)
155
 
        self.assertRaises(WeaveError,
156
 
                          k.add,
157
 
                          'text0',
158
 
                          [],
159
 
                          ['not the same text'])
160
 
        self.assertRaises(WeaveError,
161
 
                          k.add,
162
 
                          'text0',
163
 
                          [12],         # not the right parents
164
 
                          TEXT_0)
165
 
        
166
 
 
167
130
class InsertLines(TestBase):
168
131
    """Store a revision that adds one line to the original.
169
132
 
220
183
                          (4, 'ccc')])
221
184
 
222
185
 
 
186
 
223
187
class DeleteLines(TestBase):
224
188
    """Deletion of lines from existing text.
225
189
 
249
213
        for i in range(len(texts)):
250
214
            self.assertEqual(k.get(i+1),
251
215
                             texts[i])
 
216
            
 
217
 
252
218
 
253
219
 
254
220
class SuicideDelete(TestBase):
274
240
                          0)        
275
241
 
276
242
 
 
243
 
277
244
class CannedDelete(TestBase):
278
245
    """Unpack canned weave with deleted lines."""
279
246
    def runTest(self):
290
257
                'last line',
291
258
                ('}', 0),
292
259
                ]
293
 
        k._sha1s = [sha_string('first lineline to be deletedlast line')
294
 
                  , sha_string('first linelast line')]
295
260
 
296
261
        self.assertEqual(k.get(0),
297
262
                         ['first line',
305
270
                          ])
306
271
 
307
272
 
 
273
 
308
274
class CannedReplacement(TestBase):
309
275
    """Unpack canned weave with deleted lines."""
310
276
    def runTest(self):
324
290
                'last line',
325
291
                ('}', 0),
326
292
                ]
327
 
        k._sha1s = [sha_string('first lineline to be deletedlast line')
328
 
                  , sha_string('first linereplacement linelast line')]
329
293
 
330
294
        self.assertEqual(k.get(0),
331
295
                         ['first line',
340
304
                          ])
341
305
 
342
306
 
 
307
 
343
308
class BadWeave(TestBase):
344
309
    """Test that we trap an insert which should not occur."""
345
310
    def runTest(self):
425
390
                '}',
426
391
                ('}', 0)]
427
392
 
428
 
        k._sha1s = [sha_string('foo {}')
429
 
                  , sha_string('foo {  added in version 1  also from v1}')
430
 
                  , sha_string('foo {  added in v2}')
431
 
                  , sha_string('foo {  added in version 1  added in v2  also from v1}')
432
 
                  ]
433
 
 
434
393
        self.assertEqual(k.get(0),
435
394
                         ['foo {',
436
395
                          '}'])
454
413
                          '}'])
455
414
                         
456
415
 
 
416
 
457
417
class DeleteLines2(TestBase):
458
418
    """Test recording revisions that delete lines.
459
419
 
481
441
                          (0, "fine")])
482
442
 
483
443
 
 
444
 
484
445
class IncludeVersions(TestBase):
485
446
    """Check texts that are stored across multiple revisions.
486
447
 
502
463
                "second line",
503
464
                ('}', 1)]
504
465
 
505
 
        k._sha1s = [sha_string('first line')
506
 
                  , sha_string('first linesecond line')]
507
 
 
508
466
        self.assertEqual(k.get(1),
509
467
                         ["first line",
510
468
                          "second line"])
512
470
        self.assertEqual(k.get(0),
513
471
                         ["first line"])
514
472
 
 
473
        k.dump(self.TEST_LOG)
 
474
 
515
475
 
516
476
class DivergedIncludes(TestBase):
517
477
    """Weave with two diverged texts based on version 0.
534
494
                ('}', 2),                
535
495
                ]
536
496
 
537
 
        k._sha1s = [sha_string('first line')
538
 
                  , sha_string('first linesecond line')
539
 
                  , sha_string('first linealternative second line')]
540
 
 
541
497
        self.assertEqual(k.get(0),
542
498
                         ["first line"])
543
499
 
553
509
                         [0, 2])
554
510
 
555
511
 
 
512
 
556
513
class ReplaceLine(TestBase):
557
514
    def runTest(self):
558
515
        k = Weave()
569
526
        self.assertEqual(k.get(1), text1)
570
527
 
571
528
 
 
529
 
572
530
class Merge(TestBase):
573
531
    """Storage of versions that merge diverged parents"""
574
532
    def runTest(self):
625
583
                           [['bbb']]])
626
584
 
627
585
 
 
586
 
628
587
class NonConflict(TestBase):
629
588
    """Two descendants insert compatible changes.
630
589
 
637
596
        k.add([0], ['111', 'aaa', 'ccc', 'bbb'])
638
597
        k.add([1], ['aaa', 'ccc', 'bbb', '222'])
639
598
 
 
599
    
 
600
    
 
601
 
640
602
 
641
603
class AutoMerge(TestBase):
642
604
    def runTest(self):
660
622
                          'line from 1',
661
623
                          'bbb',
662
624
                          'line from 2', 'more from 2'])
 
625
        
663
626
 
664
627
 
665
628
class Khayyam(TestBase):
709
672
        self.check_read_write(k)
710
673
 
711
674
 
 
675
 
712
676
class MergeCases(TestBase):
713
677
    def doMerge(self, base, a, b, mp):
714
678
        from cStringIO import StringIO
765
729
        self.doMerge(['aaa', 'bbb'],
766
730
                     ['aaa', 'xxx', 'yyy', 'bbb'],
767
731
                     ['aaa', 'xxx', 'bbb'],
768
 
                     ['aaa', '<<<<<<<', 'xxx', 'yyy', '=======', 'xxx', 
769
 
                      '>>>>>>>', 'bbb'])
 
732
                     ['aaa', '<<<<', 'xxx', 'yyy', '====', 'xxx', '>>>>', 'bbb'])
770
733
 
771
734
        # really it ought to reduce this to 
772
735
        # ['aaa', 'xxx', 'yyy', 'bbb']
776
739
        self.doMerge(['aaa'],
777
740
                     ['xxx'],
778
741
                     ['yyy', 'zzz'],
779
 
                     ['<<<<<<<', 'xxx', '=======', 'yyy', 'zzz', 
780
 
                      '>>>>>>>'])
 
742
                     ['<<<<', 'xxx', '====', 'yyy', 'zzz', '>>>>'])
781
743
 
782
744
    def testNonClashInsert(self):
783
745
        self.doMerge(['aaa'],
784
746
                     ['xxx', 'aaa'],
785
747
                     ['yyy', 'zzz'],
786
 
                     ['<<<<<<<', 'xxx', 'aaa', '=======', 'yyy', 'zzz', 
787
 
                      '>>>>>>>'])
 
748
                     ['<<<<', 'xxx', 'aaa', '====', 'yyy', 'zzz', '>>>>'])
788
749
 
789
750
        self.doMerge(['aaa'],
790
751
                     ['aaa'],
806
767
        self.doMerge(['aaa', 'bbb', 'ccc'],
807
768
                     ['aaa', 'ddd', 'ccc'],
808
769
                     ['aaa', 'ccc'],
809
 
                     ['<<<<<<<<', 'aaa', '=======', '>>>>>>>', 'ccc'])
810
 
 
811
 
 
812
 
class JoinWeavesTests(TestBase):
813
 
    def setUp(self):
814
 
        super(JoinWeavesTests, self).setUp()
815
 
        self.weave1 = Weave()
816
 
        self.lines1 = ['hello\n']
817
 
        self.lines3 = ['hello\n', 'cruel\n', 'world\n']
818
 
        self.weave1.add('v1', [], self.lines1)
819
 
        self.weave1.add('v2', [0], ['hello\n', 'world\n'])
820
 
        self.weave1.add('v3', [1], self.lines3)
821
 
        
822
 
    def test_join_empty(self):
823
 
        """Join two empty weaves."""
824
 
        eq = self.assertEqual
825
 
        w1 = Weave()
826
 
        w2 = Weave()
827
 
        w1.join(w2)
828
 
        eq(w1.numversions(), 0)
829
 
        
830
 
    def test_join_empty_to_nonempty(self):
831
 
        """Join empty weave onto nonempty."""
832
 
        self.weave1.join(Weave())
833
 
        self.assertEqual(len(self.weave1), 3)
834
 
 
835
 
    def test_join_unrelated(self):
836
 
        """Join two weaves with no history in common."""
837
 
        wb = Weave()
838
 
        wb.add('b1', [], ['line from b\n'])
839
 
        w1 = self.weave1
840
 
        w1.join(wb)
841
 
        eq = self.assertEqual
842
 
        eq(len(w1), 4)
843
 
        eq(sorted(list(w1.iter_names())),
844
 
           ['b1', 'v1', 'v2', 'v3'])
845
 
 
846
 
    def test_join_related(self):
847
 
        wa = self.weave1.copy()
848
 
        wb = self.weave1.copy()
849
 
        wa.add('a1', ['v3'], ['hello\n', 'sweet\n', 'world\n'])
850
 
        wb.add('b1', ['v3'], ['hello\n', 'pale blue\n', 'world\n'])
851
 
        eq = self.assertEquals
852
 
        eq(len(wa), 4)
853
 
        eq(len(wb), 4)
854
 
        wa.join(wb)
855
 
        eq(len(wa), 5)
856
 
        eq(wa.get_lines('b1'),
857
 
           ['hello\n', 'pale blue\n', 'world\n'])
858
 
 
859
 
    def test_join_parent_disagreement(self):
860
 
        """Cannot join weaves with different parents for a version."""
861
 
        wa = Weave()
862
 
        wb = Weave()
863
 
        wa.add('v1', [], ['hello\n'])
864
 
        wb.add('v0', [], [])
865
 
        wb.add('v1', ['v0'], ['hello\n'])
866
 
        self.assertRaises(WeaveError,
867
 
                          wa.join, wb)
868
 
 
869
 
    def test_join_text_disagreement(self):
870
 
        """Cannot join weaves with different texts for a version."""
871
 
        wa = Weave()
872
 
        wb = Weave()
873
 
        wa.add('v1', [], ['hello\n'])
874
 
        wb.add('v1', [], ['not\n', 'hello\n'])
875
 
        self.assertRaises(WeaveError,
876
 
                          wa.join, wb)
877
 
 
878
 
    def test_join_unordered(self):
879
 
        """Join weaves where indexes differ.
880
 
        
881
 
        The source weave contains a different version at index 0."""
882
 
        wa = self.weave1.copy()
883
 
        wb = Weave()
884
 
        wb.add('x1', [], ['line from x1\n'])
885
 
        wb.add('v1', [], ['hello\n'])
886
 
        wb.add('v2', ['v1'], ['hello\n', 'world\n'])
887
 
        wa.join(wb)
888
 
        eq = self.assertEquals
889
 
        eq(sorted(wa.iter_names()), ['v1', 'v2', 'v3', 'x1',])
890
 
        eq(wa.get_text('x1'), 'line from x1\n')
891
 
 
892
 
 
893
 
class Corruption(TestCase):
894
 
 
895
 
    def test_detection(self):
896
 
        # Test weaves detect corruption.
897
 
        #
898
 
        # Weaves contain a checksum of their texts.
899
 
        # When a text is extracted, this checksum should be
900
 
        # verified.
901
 
 
902
 
        w = Weave()
903
 
        w.add('v1', [], ['hello\n'])
904
 
        w.add('v2', ['v1'], ['hello\n', 'there\n'])
905
 
 
906
 
        # We are going to invasively corrupt the text
907
 
        # Make sure the internals of weave are the same
908
 
        self.assertEqual([('{', 0)
909
 
                        , 'hello\n'
910
 
                        , ('}', None)
911
 
                        , ('{', 1)
912
 
                        , 'there\n'
913
 
                        , ('}', None)
914
 
                        ], w._weave)
915
 
 
916
 
        self.assertEqual(['f572d396fae9206628714fb2ce00f72e94f2258f'
917
 
                        , '90f265c6e75f1c8f9ab76dcf85528352c5f215ef'
918
 
                        ], w._sha1s)
919
 
        w.check()
920
 
 
921
 
        # Corrupted
922
 
        w._weave[4] = 'There\n'
923
 
 
924
 
        self.assertEqual('hello\n', w.get_text('v1'))
925
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_text, 'v2')
926
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_lines, 'v2')
927
 
        self.assertRaises(errors.WeaveInvalidChecksum, list, w.get_iter('v2'))
928
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.check)
929
 
 
930
 
        # Corrected
931
 
        w._weave[4] = 'there\n'
932
 
        self.assertEqual('hello\nthere\n', w.get_text('v2'))
933
 
 
934
 
        #Invalid checksum, first digit changed
935
 
        w._sha1s[1] =  'f0f265c6e75f1c8f9ab76dcf85528352c5f215ef'
936
 
 
937
 
        self.assertEqual('hello\n', w.get_text('v1'))
938
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_text, 'v2')
939
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_lines, 'v2')
940
 
        self.assertRaises(errors.WeaveInvalidChecksum, list, w.get_iter('v2'))
941
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.check)
942
 
 
943
 
    def test_written_detection(self):
944
 
        # Test detection of weave file corruption.
945
 
        #
946
 
        # Make sure that we can detect if a weave file has
947
 
        # been corrupted. This doesn't test all forms of corruption,
948
 
        # but it at least helps verify the data you get, is what you want.
949
 
        from cStringIO import StringIO
950
 
 
951
 
        w = Weave()
952
 
        w.add('v1', [], ['hello\n'])
953
 
        w.add('v2', ['v1'], ['hello\n', 'there\n'])
954
 
 
955
 
        tmpf = StringIO()
956
 
        write_weave(w, tmpf)
957
 
 
958
 
        # Because we are corrupting, we need to make sure we have the exact text
959
 
        self.assertEquals('# bzr weave file v5\n'
960
 
                          'i\n1 f572d396fae9206628714fb2ce00f72e94f2258f\nn v1\n\n'
961
 
                          'i 0\n1 90f265c6e75f1c8f9ab76dcf85528352c5f215ef\nn v2\n\n'
962
 
                          'w\n{ 0\n. hello\n}\n{ 1\n. there\n}\nW\n',
963
 
                          tmpf.getvalue())
964
 
 
965
 
        # Change a single letter
966
 
        tmpf = StringIO('# bzr weave file v5\n'
967
 
                        'i\n1 f572d396fae9206628714fb2ce00f72e94f2258f\nn v1\n\n'
968
 
                        'i 0\n1 90f265c6e75f1c8f9ab76dcf85528352c5f215ef\nn v2\n\n'
969
 
                        'w\n{ 0\n. hello\n}\n{ 1\n. There\n}\nW\n')
970
 
 
971
 
        w = read_weave(tmpf)
972
 
 
973
 
        self.assertEqual('hello\n', w.get_text('v1'))
974
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_text, 'v2')
975
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_lines, 'v2')
976
 
        self.assertRaises(errors.WeaveInvalidChecksum, list, w.get_iter('v2'))
977
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.check)
978
 
 
979
 
        # Change the sha checksum
980
 
        tmpf = StringIO('# bzr weave file v5\n'
981
 
                        'i\n1 f572d396fae9206628714fb2ce00f72e94f2258f\nn v1\n\n'
982
 
                        'i 0\n1 f0f265c6e75f1c8f9ab76dcf85528352c5f215ef\nn v2\n\n'
983
 
                        'w\n{ 0\n. hello\n}\n{ 1\n. there\n}\nW\n')
984
 
 
985
 
        w = read_weave(tmpf)
986
 
 
987
 
        self.assertEqual('hello\n', w.get_text('v1'))
988
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_text, 'v2')
989
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.get_lines, 'v2')
990
 
        self.assertRaises(errors.WeaveInvalidChecksum, list, w.get_iter('v2'))
991
 
        self.assertRaises(errors.WeaveInvalidChecksum, w.check)
992
 
 
993
 
 
 
770
                     ['<<<<', 'aaa', '====', '>>>>', 'ccc'])
 
771
    
 
772
 
 
773
 
 
774
def testweave():
 
775
    import testsweet
 
776
    from unittest import TestSuite, TestLoader
 
777
    import testweave
 
778
 
 
779
    tl = TestLoader()
 
780
    suite = TestSuite()
 
781
    suite.addTest(tl.loadTestsFromModule(testweave))
 
782
    
 
783
    return int(not testsweet.run_suite(suite)) # for shell 0=true
 
784
 
 
785
 
 
786
if __name__ == '__main__':
 
787
    import sys
 
788
    sys.exit(testweave())
 
789