~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/selftest/testrevision.py

  • Committer: Martin Pool
  • Date: 2005-09-21 08:57:13 UTC
  • Revision ID: mbp@sourcefrog.net-20050921085713-541dec922df6225d
- remove dead code from bzrlib.check

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005 Canonical Ltd
2
 
#
 
1
# (C) 2005 Canonical Ltd
 
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
5
5
# the Free Software Foundation; either version 2 of the License, or
6
6
# (at your option) any later version.
7
 
#
 
7
 
8
8
# This program is distributed in the hope that it will be useful,
9
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
11
# GNU General Public License for more details.
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
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
 
18
18
import os
19
 
import warnings
20
19
 
21
 
from bzrlib import (
22
 
    revision,
23
 
    )
 
20
from bzrlib.selftest import TestCaseInTempDir
24
21
from bzrlib.branch import Branch
 
22
from bzrlib.commit import commit
 
23
from bzrlib.fetch import fetch
 
24
from bzrlib.revision import (find_present_ancestors, common_ancestor,
 
25
                             is_ancestor)
 
26
from bzrlib.trace import mutter
25
27
from bzrlib.errors import NoSuchRevision
26
 
from bzrlib.deprecated_graph import Graph
27
 
from bzrlib.revision import (find_present_ancestors, combined_graph,
28
 
                             common_ancestor,
29
 
                             is_ancestor, MultipleRevisionSources,
30
 
                             NULL_REVISION)
31
 
from bzrlib.tests import TestCase, TestCaseWithTransport
32
 
from bzrlib.trace import mutter
33
 
from bzrlib.workingtree import WorkingTree
34
 
 
35
 
# We're allowed to test deprecated interfaces
36
 
warnings.filterwarnings('ignore',
37
 
        '.*get_intervening_revisions was deprecated',
38
 
        DeprecationWarning,
39
 
        r'bzrlib\.tests\.test_revision')
40
 
 
41
 
# XXX: Make this a method of a merge base case
42
 
def make_branches(self):
43
 
    """Create two branches
44
 
 
45
 
    branch 1 has 6 commits, branch 2 has 3 commits
46
 
    commit 10 is a ghosted merge merge from branch 1
47
 
 
48
 
    the object graph is
49
 
    B:     A:
50
 
    a..0   a..0 
51
 
    a..1   a..1
52
 
    a..2   a..2
53
 
    b..3   a..3 merges b..4
54
 
    b..4   a..4
55
 
    b..5   a..5 merges b..5
56
 
    b..6 merges a4
57
 
 
58
 
    so A is missing b6 at the start
59
 
    and B is missing a3, a4, a5
60
 
    """
61
 
    tree1 = self.make_branch_and_tree("branch1")
62
 
    br1 = tree1.branch
 
28
 
 
29
def make_branches():
 
30
    os.mkdir("branch1")
 
31
    br1 = Branch("branch1", init=True)
63
32
    
64
 
    tree1.commit("Commit one", rev_id="a@u-0-0")
65
 
    tree1.commit("Commit two", rev_id="a@u-0-1")
66
 
    tree1.commit("Commit three", rev_id="a@u-0-2")
 
33
    commit(br1, "Commit one", rev_id="a@u-0-0")
 
34
    commit(br1, "Commit two", rev_id="a@u-0-1")
 
35
    commit(br1, "Commit three", rev_id="a@u-0-2")
67
36
 
68
 
    tree2 = tree1.bzrdir.clone("branch2").open_workingtree()
69
 
    br2 = tree2.branch
70
 
    tree2.commit("Commit four", rev_id="b@u-0-3")
71
 
    tree2.commit("Commit five", rev_id="b@u-0-4")
 
37
    os.mkdir("branch2")
 
38
    br2 = Branch("branch2", init=True)
 
39
    br2.update_revisions(br1)
 
40
    commit(br2, "Commit four", rev_id="b@u-0-3")
 
41
    commit(br2, "Commit five", rev_id="b@u-0-4")
72
42
    revisions_2 = br2.revision_history()
73
 
    self.assertEquals(revisions_2[-1], 'b@u-0-4')
74
 
    
75
 
    tree1.merge_from_branch(br2)
76
 
    tree1.commit("Commit six", rev_id="a@u-0-3")
77
 
    tree1.commit("Commit seven", rev_id="a@u-0-4")
78
 
    tree2.commit("Commit eight", rev_id="b@u-0-5")
79
 
    self.assertEquals(br2.revision_history()[-1], 'b@u-0-5')
80
 
    
81
 
    tree1.merge_from_branch(br2)
82
 
    tree1.commit("Commit nine", rev_id="a@u-0-5")
83
 
    # DO NOT MERGE HERE - we WANT a GHOST.
84
 
    tree2.add_parent_tree_id(br1.revision_history()[4])
85
 
    tree2.commit("Commit ten - ghost merge", rev_id="b@u-0-6")
 
43
    
 
44
    fetch(from_branch=br2, to_branch=br1)
 
45
    br1.add_pending_merge(revisions_2[4])
 
46
    assert revisions_2[4] == 'b@u-0-4'
 
47
    commit(br1, "Commit six", rev_id="a@u-0-3")
 
48
    commit(br1, "Commit seven", rev_id="a@u-0-4")
 
49
    commit(br2, "Commit eight", rev_id="b@u-0-5")
 
50
    
 
51
    fetch(from_branch=br2, to_branch=br1)
 
52
    br1.add_pending_merge(br2.revision_history()[5])
 
53
    commit(br1, "Commit nine", rev_id="a@u-0-5")
 
54
 
 
55
    fetch(from_branch=br1, to_branch=br2)
 
56
    br2.add_pending_merge(br1.revision_history()[4])
 
57
    commit(br2, "Commit ten", rev_id="b@u-0-6")
 
58
 
 
59
    fetch(from_branch=br2, to_branch=br1)
86
60
    
87
61
    return br1, br2
88
62
 
89
63
 
90
 
class TestIsAncestor(TestCaseWithTransport):
91
 
 
 
64
class TestIsAncestor(TestCaseInTempDir):
92
65
    def test_recorded_ancestry(self):
93
66
        """Test that commit records all ancestors"""
94
 
        br1, br2 = make_branches(self)
 
67
        br1, br2 = make_branches()
95
68
        d = [('a@u-0-0', ['a@u-0-0']),
96
69
             ('a@u-0-1', ['a@u-0-0', 'a@u-0-1']),
97
70
             ('a@u-0-2', ['a@u-0-0', 'a@u-0-1', 'a@u-0-2']),
107
80
             ('a@u-0-5', ['a@u-0-0', 'a@u-0-1', 'a@u-0-2', 'a@u-0-3', 'a@u-0-4',
108
81
                          'b@u-0-3', 'b@u-0-4',
109
82
                          'b@u-0-5', 'a@u-0-5']),
110
 
             ('b@u-0-6', ['a@u-0-0', 'a@u-0-1', 'a@u-0-2',
 
83
             ('b@u-0-6', ['a@u-0-0', 'a@u-0-1', 'a@u-0-2', 'a@u-0-3', 'a@u-0-4',
111
84
                          'b@u-0-3', 'b@u-0-4',
112
85
                          'b@u-0-5', 'b@u-0-6']),
113
86
             ]
114
 
        br1_only = ('a@u-0-3', 'a@u-0-4', 'a@u-0-5')
115
 
        br2_only = ('b@u-0-6',)
116
87
        for branch in br1, br2:
117
88
            for rev_id, anc in d:
118
 
                if rev_id in br1_only and not branch is br1:
119
 
                    continue
120
 
                if rev_id in br2_only and not branch is br2:
121
 
                    continue
122
89
                mutter('ancestry of {%s}: %r',
123
 
                       rev_id, branch.repository.get_ancestry(rev_id))
124
 
                result = sorted(branch.repository.get_ancestry(rev_id))
125
 
                self.assertEquals(result, [None] + sorted(anc))
 
90
                       rev_id, branch.get_ancestry(rev_id))
 
91
                self.assertEquals(sorted(branch.get_ancestry(rev_id)),
 
92
                                  sorted(anc))
126
93
    
127
94
    
128
95
    def test_is_ancestor(self):
129
96
        """Test checking whether a revision is an ancestor of another revision"""
130
 
        br1, br2 = make_branches(self)
 
97
        br1, br2 = make_branches()
131
98
        revisions = br1.revision_history()
132
99
        revisions_2 = br2.revision_history()
133
100
        sources = br1
134
101
 
135
 
        self.assert_(is_ancestor(revisions[0], revisions[0], br1))
136
 
        self.assert_(is_ancestor(revisions[1], revisions[0], sources))
137
 
        self.assert_(not is_ancestor(revisions[0], revisions[1], sources))
138
 
        self.assert_(is_ancestor(revisions_2[3], revisions[0], sources))
139
 
        # disabled mbp 20050914, doesn't seem to happen anymore
 
102
        assert is_ancestor(revisions[0], revisions[0], br1)
 
103
        assert is_ancestor(revisions[1], revisions[0], sources)
 
104
        assert not is_ancestor(revisions[0], revisions[1], sources)
 
105
        assert is_ancestor(revisions_2[3], revisions[0], sources)
 
106
        # disabled mbp 20050914, doesn't seem to happen anymore
140
107
        ## self.assertRaises(NoSuchRevision, is_ancestor, revisions_2[3],
141
108
        ##                  revisions[0], br1)        
142
 
        self.assert_(is_ancestor(revisions[3], revisions_2[4], sources))
143
 
        self.assert_(is_ancestor(revisions[3], revisions_2[4], br1))
144
 
        self.assert_(is_ancestor(revisions[3], revisions_2[3], sources))
145
 
        ## self.assert_(not is_ancestor(revisions[3], revisions_2[3], br1))
146
 
 
147
 
 
148
 
class TestIntermediateRevisions(TestCaseWithTransport):
 
109
        assert is_ancestor(revisions[3], revisions_2[4], sources)
 
110
        assert is_ancestor(revisions[3], revisions_2[4], br1)
 
111
        assert is_ancestor(revisions[3], revisions_2[3], sources)
 
112
        ## assert not is_ancestor(revisions[3], revisions_2[3], br1)
 
113
 
 
114
 
 
115
 
 
116
class TestIntermediateRevisions(TestCaseInTempDir):
149
117
 
150
118
    def setUp(self):
151
 
        TestCaseWithTransport.setUp(self)
152
 
        self.br1, self.br2 = make_branches(self)
153
 
        wt1 = self.br1.bzrdir.open_workingtree()
154
 
        wt2 = self.br2.bzrdir.open_workingtree()
155
 
        wt2.commit("Commit eleven", rev_id="b@u-0-7")
156
 
        wt2.commit("Commit twelve", rev_id="b@u-0-8")
157
 
        wt2.commit("Commit thirtteen", rev_id="b@u-0-9")
158
 
 
159
 
        wt1.merge_from_branch(self.br2)
160
 
        wt1.commit("Commit fourtten", rev_id="a@u-0-6")
161
 
 
162
 
        wt2.merge_from_branch(self.br1)
163
 
        wt2.commit("Commit fifteen", rev_id="b@u-0-10")
 
119
        from bzrlib.commit import commit
 
120
        TestCaseInTempDir.setUp(self)
 
121
        self.br1, self.br2 = make_branches()
 
122
 
 
123
        self.br2.commit("Commit eleven", rev_id="b@u-0-7")
 
124
        self.br2.commit("Commit twelve", rev_id="b@u-0-8")
 
125
        self.br2.commit("Commit thirtteen", rev_id="b@u-0-9")
 
126
 
 
127
        fetch(from_branch=self.br2, to_branch=self.br1)
 
128
        self.br1.add_pending_merge(self.br2.revision_history()[6])
 
129
        self.br1.commit("Commit fourtten", rev_id="a@u-0-6")
 
130
 
 
131
        fetch(from_branch=self.br1, to_branch=self.br2)
 
132
        self.br2.add_pending_merge(self.br1.revision_history()[6])
 
133
        self.br2.commit("Commit fifteen", rev_id="b@u-0-10")
164
134
 
165
135
        from bzrlib.revision import MultipleRevisionSources
166
 
        self.sources = MultipleRevisionSources(self.br1.repository,
167
 
                                               self.br2.repository)
168
 
 
169
 
 
170
 
 
171
 
class MockRevisionSource(object):
172
 
    """A RevisionSource that takes a pregenerated graph.
173
 
 
174
 
    This is useful for testing revision graph algorithms where
175
 
    the actual branch existing is irrelevant.
176
 
    """
177
 
 
178
 
    def __init__(self, full_graph):
179
 
        self._full_graph = full_graph
180
 
 
181
 
    def get_revision_graph_with_ghosts(self, revision_ids):
182
 
        # This is mocked out to just return a constant graph.
183
 
        return self._full_graph
184
 
 
185
 
 
186
 
class TestCommonAncestor(TestCaseWithTransport):
 
136
        self.sources = MultipleRevisionSources(self.br1, self.br2)
 
137
 
 
138
    def intervene(self, ancestor, revision, revision_history=None):
 
139
        from bzrlib.revision import get_intervening_revisions
 
140
        return get_intervening_revisions(ancestor,revision, self.sources, 
 
141
                                         revision_history)
 
142
 
 
143
    def test_intervene(self):
 
144
        """Find intermediate revisions, without requiring history"""
 
145
        from bzrlib.errors import NotAncestor, NoSuchRevision
 
146
        assert len(self.intervene('a@u-0-0', 'a@u-0-0')) == 0
 
147
        self.assertEqual(self.intervene('a@u-0-0', 'a@u-0-1'), ['a@u-0-1'])
 
148
        self.assertEqual(self.intervene('a@u-0-0', 'a@u-0-2'), 
 
149
                         ['a@u-0-1', 'a@u-0-2'])
 
150
        self.assertEqual(self.intervene('a@u-0-0', 'b@u-0-3'), 
 
151
                         ['a@u-0-1', 'a@u-0-2', 'b@u-0-3'])
 
152
        self.assertEqual(self.intervene('b@u-0-3', 'a@u-0-3'), 
 
153
                         ['b@u-0-4', 'a@u-0-3'])
 
154
        self.assertEqual(self.intervene('a@u-0-2', 'a@u-0-3', 
 
155
                                        self.br1.revision_history()), 
 
156
                         ['a@u-0-3'])
 
157
        self.assertEqual(self.intervene('a@u-0-0', 'a@u-0-5', 
 
158
                                        self.br1.revision_history()), 
 
159
                         ['a@u-0-1', 'a@u-0-2', 'a@u-0-3', 'a@u-0-4', 
 
160
                          'a@u-0-5'])
 
161
        self.assertEqual(self.intervene('a@u-0-0', 'b@u-0-6', 
 
162
                         self.br1.revision_history()), 
 
163
                         ['a@u-0-1', 'a@u-0-2', 'a@u-0-3', 'a@u-0-4', 
 
164
                          'b@u-0-6'])
 
165
        self.assertEqual(self.intervene('a@u-0-0', 'b@u-0-5'), 
 
166
                         ['a@u-0-1', 'a@u-0-2', 'b@u-0-3', 'b@u-0-4', 
 
167
                          'b@u-0-5'])
 
168
        self.assertEqual(self.intervene('b@u-0-3', 'b@u-0-6', 
 
169
                         self.br2.revision_history()), 
 
170
                         ['b@u-0-4', 'b@u-0-5', 'b@u-0-6'])
 
171
        self.assertEqual(self.intervene('b@u-0-6', 'b@u-0-10'), 
 
172
                         ['b@u-0-7', 'b@u-0-8', 'b@u-0-9', 'b@u-0-10'])
 
173
        self.assertEqual(self.intervene('b@u-0-6', 'b@u-0-10', 
 
174
                                        self.br2.revision_history()), 
 
175
                         ['b@u-0-7', 'b@u-0-8', 'b@u-0-9', 'b@u-0-10'])
 
176
        self.assertRaises(NotAncestor, self.intervene, 'b@u-0-10', 'b@u-0-6', 
 
177
                          self.br2.revision_history())
 
178
        self.assertRaises(NoSuchRevision, self.intervene, 'c@u-0-10', 
 
179
                          'b@u-0-6', self.br2.revision_history())
 
180
        self.assertRaises(NoSuchRevision, self.intervene, 'b@u-0-10', 
 
181
                          'c@u-0-6', self.br2.revision_history())
 
182
 
 
183
 
 
184
class TestCommonAncestor(TestCaseInTempDir):
187
185
    """Test checking whether a revision is an ancestor of another revision"""
188
186
 
189
187
    def test_common_ancestor(self):
190
 
        """Pick a reasonable merge base"""
191
 
        br1, br2 = make_branches(self)
 
188
        br1, br2 = make_branches()
192
189
        revisions = br1.revision_history()
193
190
        revisions_2 = br2.revision_history()
194
 
        sources = MultipleRevisionSources(br1.repository, br2.repository)
 
191
        sources = br1
 
192
 
195
193
        expected_ancestors_list = {revisions[3]:(0, 0), 
196
194
                                   revisions[2]:(1, 1),
197
195
                                   revisions_2[4]:(2, 1), 
199
197
                                   revisions_2[3]:(4, 2),
200
198
                                   revisions[0]:(5, 3) }
201
199
        ancestors_list = find_present_ancestors(revisions[3], sources)
202
 
        self.assertEquals(len(expected_ancestors_list), len(ancestors_list))
 
200
        assert len(expected_ancestors_list) == len(ancestors_list)
203
201
        for key, value in expected_ancestors_list.iteritems():
204
202
            self.assertEqual(ancestors_list[key], value, 
205
203
                              "key %r, %r != %r" % (key, ancestors_list[key],
206
204
                                                    value))
 
205
 
207
206
        self.assertEqual(common_ancestor(revisions[0], revisions[0], sources),
208
207
                          revisions[0])
209
208
        self.assertEqual(common_ancestor(revisions[1], revisions[2], sources),
216
215
                          revisions_2[4])
217
216
        self.assertEqual(common_ancestor(revisions[4], revisions_2[5], sources),
218
217
                          revisions_2[4])
219
 
        self.assertTrue(common_ancestor(revisions[5], revisions_2[6], sources) in
220
 
                        (revisions[4], revisions_2[5]))
221
 
        self.assertTrue(common_ancestor(revisions_2[6], revisions[5], sources),
222
 
                        (revisions[4], revisions_2[5]))
223
 
        self.assertEqual(None, common_ancestor(None, revisions[5], sources))
224
 
        self.assertEqual(NULL_REVISION,
225
 
            common_ancestor(NULL_REVISION, NULL_REVISION, sources))
226
 
        self.assertEqual(NULL_REVISION,
227
 
            common_ancestor(revisions[0], NULL_REVISION, sources))
228
 
        self.assertEqual(NULL_REVISION,
229
 
            common_ancestor(NULL_REVISION, revisions[0], sources))
230
 
 
231
 
    def test_combined(self):
232
 
        """combined_graph
233
 
        Ensure it's not order-sensitive
234
 
        """
235
 
        br1, br2 = make_branches(self)
236
 
        source = MultipleRevisionSources(br1.repository, br2.repository)
237
 
        combined_1 = combined_graph(br1.last_revision(),
238
 
                                    br2.last_revision(), source)
239
 
        combined_2 = combined_graph(br2.last_revision(),
240
 
                                    br1.last_revision(), source)
241
 
        self.assertEquals(combined_1[1], combined_2[1])
242
 
        self.assertEquals(combined_1[2], combined_2[2])
243
 
        self.assertEquals(combined_1[3], combined_2[3])
244
 
        self.assertEquals(combined_1, combined_2)
245
 
 
246
 
    def test_get_history(self):
247
 
        # TODO: test ghosts on the left hand branch's impact
248
 
        # TODO: test ghosts on all parents, we should get some
249
 
        # indicator. i.e. NULL_REVISION
250
 
        # RBC 20060608
251
 
        tree = self.make_branch_and_tree('.')
252
 
        tree.commit('1', rev_id = '1', allow_pointless=True)
253
 
        tree.commit('2', rev_id = '2', allow_pointless=True)
254
 
        tree.commit('3', rev_id = '3', allow_pointless=True)
255
 
        rev = tree.branch.repository.get_revision('1')
256
 
        history = rev.get_history(tree.branch.repository)
257
 
        self.assertEqual([None, '1'], history)
258
 
        rev = tree.branch.repository.get_revision('2')
259
 
        history = rev.get_history(tree.branch.repository)
260
 
        self.assertEqual([None, '1', '2'], history)
261
 
        rev = tree.branch.repository.get_revision('3')
262
 
        history = rev.get_history(tree.branch.repository)
263
 
        self.assertEqual([None, '1', '2' ,'3'], history)
264
 
 
265
 
    def test_common_ancestor_rootless_graph(self):
266
 
        # common_ancestor on a graph with no reachable roots - only
267
 
        # ghosts - should still return a useful value.
268
 
        graph = Graph()
269
 
        # add a ghost node which would be a root if it wasn't a ghost.
270
 
        graph.add_ghost('a_ghost')
271
 
        # add a normal commit on top of that
272
 
        graph.add_node('rev1', ['a_ghost'])
273
 
        # add a left-branch revision
274
 
        graph.add_node('left', ['rev1'])
275
 
        # add a right-branch revision
276
 
        graph.add_node('right', ['rev1'])
277
 
        source = MockRevisionSource(graph)
278
 
        self.assertEqual('rev1', common_ancestor('left', 'right', source))
279
 
 
280
 
 
281
 
class TestMultipleRevisionSources(TestCaseWithTransport):
282
 
    """Tests for the MultipleRevisionSources adapter."""
283
 
 
284
 
    def test_get_revision_graph_merges_ghosts(self):
285
 
        # when we ask for the revision graph for B, which
286
 
        # is in repo 1 with a ghost of A, and which is not
287
 
        # in repo 2, which has A, the revision_graph()
288
 
        # should return A and B both.
289
 
        tree_1 = self.make_branch_and_tree('1')
290
 
        tree_1.set_parent_ids(['A'], allow_leftmost_as_ghost=True)
291
 
        tree_1.commit('foo', rev_id='B', allow_pointless=True)
292
 
        tree_2 = self.make_branch_and_tree('2')
293
 
        tree_2.commit('bar', rev_id='A', allow_pointless=True)
294
 
        source = MultipleRevisionSources(tree_1.branch.repository,
295
 
                                         tree_2.branch.repository)
296
 
        self.assertEqual({'B':['A'],
297
 
                          'A':[]},
298
 
                         source.get_revision_graph('B'))
299
 
 
300
 
 
301
 
class TestReservedId(TestCase):
302
 
 
303
 
    def test_is_reserved_id(self):
304
 
        self.assertEqual(True, revision.is_reserved_id(NULL_REVISION))
305
 
        self.assertEqual(True, revision.is_reserved_id(
306
 
            revision.CURRENT_REVISION))
307
 
        self.assertEqual(True, revision.is_reserved_id('arch:'))
308
 
        self.assertEqual(False, revision.is_reserved_id('null'))
309
 
        self.assertEqual(False, revision.is_reserved_id(
310
 
            'arch:a@example.com/c--b--v--r'))
311
 
        self.assertEqual(False, revision.is_reserved_id(None))
 
218
        self.assertEqual(common_ancestor(revisions[5], revisions_2[6], sources),
 
219
                          revisions[4])
 
220
        self.assertEqual(common_ancestor(revisions_2[6], revisions[5], sources),
 
221
                          revisions_2[5])
 
222
 
 
223
 
 
224
if __name__ == '__main__':
 
225
    import unittest, sys
 
226
    unittest.main()
 
227