~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/testament.py

  • Committer: Canonical.com Patch Queue Manager
  • Date: 2008-07-16 23:23:13 UTC
  • mfrom: (1551.19.47 Aaron's mergeable stuff)
  • Revision ID: pqm@pqm.ubuntu.com-20080716232313-9pcoze89hualg5qn
Fetch copies all required data even with stacking (abentley, #248506)

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2005 Canonical Ltd
 
2
#
 
3
# This program is free software; you can redistribute it and/or modify
 
4
# it under the terms of the GNU General Public License as published by
 
5
# the Free Software Foundation; either version 2 of the License, or
 
6
# (at your option) any later version.
 
7
#
 
8
# This program is distributed in the hope that it will be useful,
 
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
11
# GNU General Public License for more details.
 
12
#
 
13
# You should have received a copy of the GNU General Public License
 
14
# along with this program; if not, write to the Free Software
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
16
 
 
17
"""Testament - a summary of a revision for signing.
 
18
 
 
19
A testament can be defined as "something that serves as tangible 
 
20
proof or evidence."  In bzr we use them to allow people to certify
 
21
particular revisions as authentic.  
 
22
 
 
23
The goal is that if two revisions are semantically equal, then they will
 
24
have a byte-for-byte equal testament.  We can define different versions of
 
25
"semantically equal" by using different testament classes; e.g. one that
 
26
includes or ignores file-ids.
 
27
 
 
28
We sign a testament rather than the revision XML itself for several reasons.
 
29
The most important is that the form in which the revision is stored
 
30
internally is designed for that purpose, and contains information which need
 
31
not be attested to by the signer.  For example the inventory contains the
 
32
last-changed revision for a file, but this is not necessarily something the
 
33
user cares to sign.
 
34
 
 
35
Having unnecessary fields signed makes the signatures brittle when the same
 
36
revision is stored in different branches or when the format is upgraded.
 
37
 
 
38
Handling upgrades is another motivation for using testaments separate from
 
39
the stored revision.  We would like to be able to compare a signature
 
40
generated from an old-format tree to newer tree, or vice versa.  This could
 
41
be done by comparing the revisions but that makes it unclear about exactly
 
42
what is being compared or not.
 
43
 
 
44
Different signing keys might indicate different levels of trust; we can in
 
45
the future extend this to allow signatures indicating not just that a
 
46
particular version is authentic but that it has other properties.
 
47
 
 
48
The signature can be applied to either the full testament or to just a
 
49
hash of it.
 
50
 
 
51
Testament format 1
 
52
~~~~~~~~~~~~~~~~~~
 
53
 
 
54
* timestamps are given as integers to avoid rounding errors
 
55
* parents given in lexicographical order
 
56
* indented-text form similar to log; intended to be human readable
 
57
* paths are given with forward slashes
 
58
* files are named using paths for ease of comparison/debugging
 
59
* the testament uses unix line-endings (\n)
 
60
"""
 
61
 
 
62
# XXX: At the moment, clients trust that the graph described in a weave
 
63
# is accurate, but that's not covered by the testament.  Perhaps the best
 
64
# fix is when verifying a revision to make sure that every file mentioned 
 
65
# in the revision has compatible ancestry links.
 
66
 
 
67
# TODO: perhaps write timestamp in a more readable form
 
68
 
 
69
# TODO: Perhaps these should just be different formats in which inventories/
 
70
# revisions can be serialized.
 
71
 
 
72
from copy import copy
 
73
from sha import sha
 
74
 
 
75
from bzrlib.osutils import contains_whitespace, contains_linebreaks
 
76
 
 
77
 
 
78
class Testament(object):
 
79
    """Reduced summary of a revision.
 
80
 
 
81
    Testaments can be 
 
82
 
 
83
      - produced from a revision
 
84
      - written to a stream
 
85
      - loaded from a stream
 
86
      - compared to a revision
 
87
    """
 
88
 
 
89
    long_header = 'bazaar-ng testament version 1\n'
 
90
    short_header = 'bazaar-ng testament short form 1\n'
 
91
 
 
92
    @classmethod
 
93
    def from_revision(cls, repository, revision_id):
 
94
        """Produce a new testament from a historical revision"""
 
95
        rev = repository.get_revision(revision_id)
 
96
        inventory = repository.get_inventory(revision_id)
 
97
        return cls(rev, inventory)
 
98
 
 
99
    def __init__(self, rev, inventory):
 
100
        """Create a new testament for rev using inventory."""
 
101
        self.revision_id = rev.revision_id
 
102
        self.committer = rev.committer
 
103
        self.timezone = rev.timezone or 0
 
104
        self.timestamp = rev.timestamp
 
105
        self.message = rev.message
 
106
        self.parent_ids = rev.parent_ids[:]
 
107
        self.inventory = inventory
 
108
        self.revprops = copy(rev.properties)
 
109
        if contains_whitespace(self.revision_id):
 
110
            raise ValueError(self.revision_id)
 
111
        if contains_linebreaks(self.committer):
 
112
            raise ValueError(self.committer)
 
113
 
 
114
    def as_text_lines(self):
 
115
        """Yield text form as a sequence of lines.
 
116
 
 
117
        The result is returned in utf-8, because it should be signed or
 
118
        hashed in that encoding.
 
119
        """
 
120
        r = []
 
121
        a = r.append
 
122
        a(self.long_header)
 
123
        a('revision-id: %s\n' % self.revision_id)
 
124
        a('committer: %s\n' % self.committer)
 
125
        a('timestamp: %d\n' % self.timestamp)
 
126
        a('timezone: %d\n' % self.timezone)
 
127
        # inventory length contains the root, which is not shown here
 
128
        a('parents:\n')
 
129
        for parent_id in sorted(self.parent_ids):
 
130
            if contains_whitespace(parent_id):
 
131
                raise ValueError(parent_id)
 
132
            a('  %s\n' % parent_id)
 
133
        a('message:\n')
 
134
        for l in self.message.splitlines():
 
135
            a('  %s\n' % l)
 
136
        a('inventory:\n')
 
137
        for path, ie in self._get_entries():
 
138
            a(self._entry_to_line(path, ie))
 
139
        r.extend(self._revprops_to_lines())
 
140
        return [line.encode('utf-8') for line in r]
 
141
 
 
142
    def _get_entries(self):
 
143
        entries = self.inventory.iter_entries()
 
144
        entries.next()
 
145
        return entries
 
146
 
 
147
    def _escape_path(self, path):
 
148
        if contains_linebreaks(path):
 
149
            raise ValueError(path)
 
150
        return unicode(path.replace('\\', '/').replace(' ', '\ '))
 
151
 
 
152
    def _entry_to_line(self, path, ie):
 
153
        """Turn an inventory entry into a testament line"""
 
154
        if contains_whitespace(ie.file_id):
 
155
            raise ValueError(ie.file_id)
 
156
        content = ''
 
157
        content_spacer=''
 
158
        if ie.kind == 'file':
 
159
            # TODO: avoid switching on kind
 
160
            if not ie.text_sha1:
 
161
                raise AssertionError()
 
162
            content = ie.text_sha1
 
163
            content_spacer = ' '
 
164
        elif ie.kind == 'symlink':
 
165
            if not ie.symlink_target:
 
166
                raise AssertionError()
 
167
            content = self._escape_path(ie.symlink_target)
 
168
            content_spacer = ' '
 
169
 
 
170
        l = u'  %s %s %s%s%s\n' % (ie.kind, self._escape_path(path),
 
171
                                   ie.file_id.decode('utf8'),
 
172
                                   content_spacer, content)
 
173
        return l
 
174
 
 
175
    def as_text(self):
 
176
        return ''.join(self.as_text_lines())
 
177
 
 
178
    def as_short_text(self):
 
179
        """Return short digest-based testament."""
 
180
        return (self.short_header + 
 
181
                'revision-id: %s\n'
 
182
                'sha1: %s\n'
 
183
                % (self.revision_id, self.as_sha1()))
 
184
 
 
185
    def _revprops_to_lines(self):
 
186
        """Pack up revision properties."""
 
187
        if not self.revprops:
 
188
            return []
 
189
        r = ['properties:\n']
 
190
        for name, value in sorted(self.revprops.items()):
 
191
            if contains_whitespace(name):
 
192
                raise ValueError(name)
 
193
            r.append('  %s:\n' % name)
 
194
            for line in value.splitlines():
 
195
                r.append(u'    %s\n' % line)
 
196
        return r
 
197
 
 
198
    def as_sha1(self):
 
199
        s = sha()
 
200
        map(s.update, self.as_text_lines())
 
201
        return s.hexdigest()
 
202
 
 
203
 
 
204
class StrictTestament(Testament):
 
205
    """This testament format is for use as a checksum in bundle format 0.8"""
 
206
 
 
207
    long_header = 'bazaar-ng testament version 2.1\n'
 
208
    short_header = 'bazaar-ng testament short form 2.1\n'
 
209
    def _entry_to_line(self, path, ie):
 
210
        l = Testament._entry_to_line(self, path, ie)[:-1]
 
211
        l += ' ' + ie.revision
 
212
        l += {True: ' yes\n', False: ' no\n'}[ie.executable]
 
213
        return l
 
214
 
 
215
 
 
216
class StrictTestament3(StrictTestament):
 
217
    """This testament format is for use as a checksum in bundle format 0.9+
 
218
    
 
219
    It differs from StrictTestament by including data about the tree root.
 
220
    """
 
221
 
 
222
    long_header = 'bazaar testament version 3 strict\n'
 
223
    short_header = 'bazaar testament short form 3 strict\n'
 
224
    def _get_entries(self):
 
225
        return self.inventory.iter_entries()
 
226
 
 
227
    def _escape_path(self, path):
 
228
        if contains_linebreaks(path):
 
229
            raise ValueError(path)
 
230
        if path == '':
 
231
            path = '.'
 
232
        return unicode(path.replace('\\', '/').replace(' ', '\ '))