~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/xml8.py

(vila) Fix test failures blocking package builds. (Vincent Ladeuil)

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2005-2010 Canonical Ltd
 
2
#
1
3
# This program is free software; you can redistribute it and/or modify
2
4
# it under the terms of the GNU General Public License as published by
3
5
# the Free Software Foundation; either version 2 of the License, or
4
6
# (at your option) any later version.
5
 
 
 
7
#
6
8
# This program is distributed in the hope that it will be useful,
7
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
8
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
9
11
# GNU General Public License for more details.
10
 
 
 
12
#
11
13
# You should have received a copy of the GNU General Public License
12
14
# along with this program; if not, write to the Free Software
13
 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
14
 
 
15
 
 
16
 
from bzrlib.xml import ElementTree, SubElement, Element, Serializer
17
 
from bzrlib.inventory import ROOT_ID, Inventory, InventoryEntry
18
 
import bzrlib.inventory as inventory
19
 
from bzrlib.revision import Revision        
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
16
 
 
17
from __future__ import absolute_import
 
18
 
 
19
import cStringIO
 
20
 
 
21
from bzrlib import (
 
22
    cache_utf8,
 
23
    lazy_regex,
 
24
    revision as _mod_revision,
 
25
    trace,
 
26
    )
 
27
from bzrlib.xml_serializer import (
 
28
    Element,
 
29
    SubElement,
 
30
    XMLSerializer,
 
31
    encode_and_escape,
 
32
    escape_invalid_chars,
 
33
    get_utf8_or_ascii,
 
34
    serialize_inventory_flat,
 
35
    unpack_inventory_entry,
 
36
    unpack_inventory_flat,
 
37
    )
 
38
from bzrlib.revision import Revision
20
39
from bzrlib.errors import BzrError
21
40
 
22
41
 
23
 
class Serializer_v5(Serializer):
24
 
    """Version 5 serializer
25
 
 
26
 
    Packs objects into XML and vice versa.
 
42
_xml_unescape_map = {
 
43
    'apos':"'",
 
44
    'quot':'"',
 
45
    'amp':'&',
 
46
    'lt':'<',
 
47
    'gt':'>'
 
48
}
 
49
 
 
50
 
 
51
def _unescaper(match, _map=_xml_unescape_map):
 
52
    code = match.group(1)
 
53
    try:
 
54
        return _map[code]
 
55
    except KeyError:
 
56
        if not code.startswith('#'):
 
57
            raise
 
58
        return unichr(int(code[1:])).encode('utf8')
 
59
 
 
60
 
 
61
_unescape_re = lazy_regex.lazy_compile('\&([^;]*);')
 
62
 
 
63
def _unescape_xml(data):
 
64
    """Unescape predefined XML entities in a string of data."""
 
65
    return _unescape_re.sub(_unescaper, data)
 
66
 
 
67
 
 
68
class Serializer_v8(XMLSerializer):
 
69
    """This serialiser adds rich roots.
 
70
 
 
71
    Its revision format number matches its inventory number.
27
72
    """
28
 
    
 
73
 
29
74
    __slots__ = []
30
 
    
31
 
    def _pack_inventory(self, inv):
32
 
        """Convert to XML Element"""
33
 
        e = Element('inventory',
34
 
                    format='5')
35
 
        e.text = '\n'
36
 
        if inv.root.file_id not in (None, ROOT_ID):
37
 
            e.set('file_id', inv.root.file_id)
38
 
        for path, ie in inv.iter_entries():
39
 
            e.append(self._pack_entry(ie))
40
 
        return e
41
 
 
42
 
 
43
 
    def _pack_entry(self, ie):
44
 
        """Convert InventoryEntry to XML element"""
45
 
        if not InventoryEntry.versionable_kind(ie.kind):
46
 
            raise AssertionError('unsupported entry kind %s' % ie.kind)
47
 
        e = Element(ie.kind)
48
 
        e.set('name', ie.name)
49
 
        e.set('file_id', ie.file_id)
50
 
 
51
 
        if ie.text_size != None:
52
 
            e.set('text_size', '%d' % ie.text_size)
53
 
 
54
 
        for f in ['text_sha1', 'revision', 'symlink_target']:
55
 
            v = getattr(ie, f)
56
 
            if v != None:
57
 
                e.set(f, v)
58
 
 
59
 
        if ie.executable:
60
 
            e.set('executable', 'yes')
61
 
 
62
 
        # to be conservative, we don't externalize the root pointers
63
 
        # for now, leaving them as null in the xml form.  in a future
64
 
        # version it will be implied by nested elements.
65
 
        if ie.parent_id != ROOT_ID:
66
 
            assert isinstance(ie.parent_id, basestring)
67
 
            e.set('parent_id', ie.parent_id)
68
 
 
69
 
        e.tail = '\n'
70
 
 
71
 
        return e
72
 
 
 
75
 
 
76
    root_id = None
 
77
    support_altered_by_hack = True
 
78
    # This format supports the altered-by hack that reads file ids directly out
 
79
    # of the versionedfile, without doing XML parsing.
 
80
 
 
81
    supported_kinds = set(['file', 'directory', 'symlink'])
 
82
    format_num = '8'
 
83
    revision_format_num = None
 
84
 
 
85
    # The search regex used by xml based repositories to determine what things
 
86
    # where changed in a single commit.
 
87
    _file_ids_altered_regex = lazy_regex.lazy_compile(
 
88
        r'file_id="(?P<file_id>[^"]+)"'
 
89
        r'.* revision="(?P<revision_id>[^"]+)"'
 
90
        )
 
91
 
 
92
    def _check_revisions(self, inv):
 
93
        """Extension point for subclasses to check during serialisation.
 
94
 
 
95
        :param inv: An inventory about to be serialised, to be checked.
 
96
        :raises: AssertionError if an error has occurred.
 
97
        """
 
98
        if inv.revision_id is None:
 
99
            raise AssertionError("inv.revision_id is None")
 
100
        if inv.root.revision is None:
 
101
            raise AssertionError("inv.root.revision is None")
 
102
 
 
103
    def _check_cache_size(self, inv_size, entry_cache):
 
104
        """Check that the entry_cache is large enough.
 
105
 
 
106
        We want the cache to be ~2x the size of an inventory. The reason is
 
107
        because we use a FIFO cache, and how Inventory records are likely to
 
108
        change. In general, you have a small number of records which change
 
109
        often, and a lot of records which do not change at all. So when the
 
110
        cache gets full, you actually flush out a lot of the records you are
 
111
        interested in, which means you need to recreate all of those records.
 
112
        An LRU Cache would be better, but the overhead negates the cache
 
113
        coherency benefit.
 
114
 
 
115
        One way to look at it, only the size of the cache > len(inv) is your
 
116
        'working' set. And in general, it shouldn't be a problem to hold 2
 
117
        inventories in memory anyway.
 
118
 
 
119
        :param inv_size: The number of entries in an inventory.
 
120
        """
 
121
        if entry_cache is None:
 
122
            return
 
123
        # 1.5 times might also be reasonable.
 
124
        recommended_min_cache_size = inv_size * 1.5
 
125
        if entry_cache.cache_size() < recommended_min_cache_size:
 
126
            recommended_cache_size = inv_size * 2
 
127
            trace.mutter('Resizing the inventory entry cache from %d to %d',
 
128
                         entry_cache.cache_size(), recommended_cache_size)
 
129
            entry_cache.resize(recommended_cache_size)
 
130
 
 
131
    def write_inventory_to_lines(self, inv):
 
132
        """Return a list of lines with the encoded inventory."""
 
133
        return self.write_inventory(inv, None)
 
134
 
 
135
    def write_inventory_to_string(self, inv, working=False):
 
136
        """Just call write_inventory with a StringIO and return the value.
 
137
 
 
138
        :param working: If True skip history data - text_sha1, text_size,
 
139
            reference_revision, symlink_target.
 
140
        """
 
141
        sio = cStringIO.StringIO()
 
142
        self.write_inventory(inv, sio, working)
 
143
        return sio.getvalue()
 
144
 
 
145
    def write_inventory(self, inv, f, working=False):
 
146
        """Write inventory to a file.
 
147
 
 
148
        :param inv: the inventory to write.
 
149
        :param f: the file to write. (May be None if the lines are the desired
 
150
            output).
 
151
        :param working: If True skip history data - text_sha1, text_size,
 
152
            reference_revision, symlink_target.
 
153
        :return: The inventory as a list of lines.
 
154
        """
 
155
        output = []
 
156
        append = output.append
 
157
        self._append_inventory_root(append, inv)
 
158
        serialize_inventory_flat(inv, append,
 
159
            self.root_id, self.supported_kinds, working)
 
160
        if f is not None:
 
161
            f.writelines(output)
 
162
        # Just to keep the cache from growing without bounds
 
163
        # but we may actually not want to do clear the cache
 
164
        #_clear_cache()
 
165
        return output
 
166
 
 
167
    def _append_inventory_root(self, append, inv):
 
168
        """Append the inventory root to output."""
 
169
        if inv.revision_id is not None:
 
170
            revid1 = ' revision_id="'
 
171
            revid2 = encode_and_escape(inv.revision_id)
 
172
        else:
 
173
            revid1 = ""
 
174
            revid2 = ""
 
175
        append('<inventory format="%s"%s%s>\n' % (
 
176
            self.format_num, revid1, revid2))
 
177
        append('<directory file_id="%s name="%s revision="%s />\n' % (
 
178
            encode_and_escape(inv.root.file_id),
 
179
            encode_and_escape(inv.root.name),
 
180
            encode_and_escape(inv.root.revision)))
73
181
 
74
182
    def _pack_revision(self, rev):
75
183
        """Revision object -> xml tree"""
 
184
        # For the XML format, we need to write them as Unicode rather than as
 
185
        # utf-8 strings. So that cElementTree can handle properly escaping
 
186
        # them.
 
187
        decode_utf8 = cache_utf8.decode
 
188
        revision_id = rev.revision_id
 
189
        if isinstance(revision_id, str):
 
190
            revision_id = decode_utf8(revision_id)
 
191
        format_num = self.format_num
 
192
        if self.revision_format_num is not None:
 
193
            format_num = self.revision_format_num
76
194
        root = Element('revision',
77
195
                       committer = rev.committer,
78
 
                       timestamp = '%.9f' % rev.timestamp,
79
 
                       revision_id = rev.revision_id,
 
196
                       timestamp = '%.3f' % rev.timestamp,
 
197
                       revision_id = revision_id,
80
198
                       inventory_sha1 = rev.inventory_sha1,
81
 
                       format='5',
 
199
                       format=format_num,
82
200
                       )
83
 
        if rev.timezone:
 
201
        if rev.timezone is not None:
84
202
            root.set('timezone', str(rev.timezone))
85
203
        root.text = '\n'
86
204
        msg = SubElement(root, 'message')
87
 
        msg.text = rev.message
 
205
        msg.text = escape_invalid_chars(rev.message)[0]
88
206
        msg.tail = '\n'
89
207
        if rev.parent_ids:
90
208
            pelts = SubElement(root, 'parents')
91
209
            pelts.tail = pelts.text = '\n'
92
210
            for parent_id in rev.parent_ids:
93
 
                assert isinstance(parent_id, basestring)
 
211
                _mod_revision.check_not_reserved_id(parent_id)
94
212
                p = SubElement(pelts, 'revision_ref')
95
213
                p.tail = '\n'
 
214
                if isinstance(parent_id, str):
 
215
                    parent_id = decode_utf8(parent_id)
96
216
                p.set('revision_id', parent_id)
97
217
        if rev.properties:
98
218
            self._pack_revision_properties(rev, root)
99
219
        return root
100
220
 
101
 
 
102
221
    def _pack_revision_properties(self, rev, under_element):
103
222
        top_elt = SubElement(under_element, 'properties')
104
223
        for prop_name, prop_value in sorted(rev.properties.items()):
105
 
            assert isinstance(prop_name, basestring) 
106
 
            assert isinstance(prop_value, basestring) 
107
224
            prop_elt = SubElement(top_elt, 'property')
108
225
            prop_elt.set('name', prop_name)
109
226
            prop_elt.text = prop_value
110
227
            prop_elt.tail = '\n'
111
228
        top_elt.tail = '\n'
112
229
 
 
230
    def _unpack_entry(self, elt, entry_cache=None, return_from_cache=False):
 
231
        # This is here because it's overridden by xml7
 
232
        return unpack_inventory_entry(elt, entry_cache,
 
233
                return_from_cache)
113
234
 
114
 
    def _unpack_inventory(self, elt):
115
 
        """Construct from XML Element
116
 
        """
117
 
        assert elt.tag == 'inventory'
118
 
        root_id = elt.get('file_id') or ROOT_ID
119
 
        format = elt.get('format')
120
 
        if format is not None:
121
 
            if format != '5':
122
 
                raise BzrError("invalid format version %r on inventory"
123
 
                                % format)
124
 
        inv = Inventory(root_id)
125
 
        for e in elt:
126
 
            ie = self._unpack_entry(e)
127
 
            if ie.parent_id == ROOT_ID:
128
 
                ie.parent_id = root_id
129
 
            inv.add(ie)
 
235
    def _unpack_inventory(self, elt, revision_id=None, entry_cache=None,
 
236
                          return_from_cache=False):
 
237
        """Construct from XML Element"""
 
238
        inv = unpack_inventory_flat(elt, self.format_num, self._unpack_entry,
 
239
            entry_cache, return_from_cache)
 
240
        self._check_cache_size(len(inv), entry_cache)
130
241
        return inv
131
242
 
132
 
 
133
 
    def _unpack_entry(self, elt):
134
 
        kind = elt.tag
135
 
        if not InventoryEntry.versionable_kind(kind):
136
 
            raise AssertionError('unsupported entry kind %s' % kind)
137
 
 
138
 
        parent_id = elt.get('parent_id')
139
 
        if parent_id == None:
140
 
            parent_id = ROOT_ID
141
 
 
142
 
        if kind == 'directory':
143
 
            ie = inventory.InventoryDirectory(elt.get('file_id'),
144
 
                                              elt.get('name'),
145
 
                                              parent_id)
146
 
        elif kind == 'file':
147
 
            ie = inventory.InventoryFile(elt.get('file_id'),
148
 
                                         elt.get('name'),
149
 
                                         parent_id)
150
 
            ie.text_sha1 = elt.get('text_sha1')
151
 
            if elt.get('executable') == 'yes':
152
 
                ie.executable = True
153
 
            v = elt.get('text_size')
154
 
            ie.text_size = v and int(v)
155
 
        elif kind == 'symlink':
156
 
            ie = inventory.InventoryLink(elt.get('file_id'),
157
 
                                         elt.get('name'),
158
 
                                         parent_id)
159
 
            ie.symlink_target = elt.get('symlink_target')
160
 
        else:
161
 
            raise BzrError("unknown kind %r" % kind)
162
 
        ie.revision = elt.get('revision')
163
 
 
164
 
        return ie
165
 
 
166
 
 
167
243
    def _unpack_revision(self, elt):
168
244
        """XML Element -> Revision object"""
169
 
        assert elt.tag == 'revision'
170
245
        format = elt.get('format')
 
246
        format_num = self.format_num
 
247
        if self.revision_format_num is not None:
 
248
            format_num = self.revision_format_num
171
249
        if format is not None:
172
 
            if format != '5':
173
 
                raise BzrError("invalid format version %r on inventory"
 
250
            if format != format_num:
 
251
                raise BzrError("invalid format version %r on revision"
174
252
                                % format)
 
253
        get_cached = get_utf8_or_ascii
175
254
        rev = Revision(committer = elt.get('committer'),
176
255
                       timestamp = float(elt.get('timestamp')),
177
 
                       revision_id = elt.get('revision_id'),
 
256
                       revision_id = get_cached(elt.get('revision_id')),
178
257
                       inventory_sha1 = elt.get('inventory_sha1')
179
258
                       )
180
259
        parents = elt.find('parents') or []
181
260
        for p in parents:
182
 
            assert p.tag == 'revision_ref', \
183
 
                   "bad parent node tag %r" % p.tag
184
 
            rev.parent_ids.append(p.get('revision_id'))
 
261
            rev.parent_ids.append(get_cached(p.get('revision_id')))
185
262
        self._unpack_revision_properties(elt, rev)
186
263
        v = elt.get('timezone')
187
 
        rev.timezone = v and int(v)
 
264
        if v is None:
 
265
            rev.timezone = 0
 
266
        else:
 
267
            rev.timezone = int(v)
188
268
        rev.message = elt.findtext('message') # text of <message>
189
269
        return rev
190
270
 
191
 
 
192
271
    def _unpack_revision_properties(self, elt, rev):
193
272
        """Unpack properties onto a revision."""
194
273
        props_elt = elt.find('properties')
195
 
        assert len(rev.properties) == 0
196
274
        if not props_elt:
197
275
            return
198
276
        for prop_elt in props_elt:
199
 
            assert prop_elt.tag == 'property', \
200
 
                "bad tag under properties list: %r" % p.tag
 
277
            if prop_elt.tag != 'property':
 
278
                raise AssertionError(
 
279
                    "bad tag under properties list: %r" % prop_elt.tag)
201
280
            name = prop_elt.get('name')
202
281
            value = prop_elt.text
203
 
            assert name not in rev.properties, \
204
 
                "repeated property %r" % p.name
 
282
            # If a property had an empty value ('') cElementTree reads
 
283
            # that back as None, convert it back to '', so that all
 
284
            # properties have string values
 
285
            if value is None:
 
286
                value = ''
 
287
            if name in rev.properties:
 
288
                raise AssertionError("repeated property %r" % name)
205
289
            rev.properties[name] = value
206
290
 
207
 
 
208
 
serializer_v5 = Serializer_v5()
 
291
    def _find_text_key_references(self, line_iterator):
 
292
        """Core routine for extracting references to texts from inventories.
 
293
 
 
294
        This performs the translation of xml lines to revision ids.
 
295
 
 
296
        :param line_iterator: An iterator of lines, origin_version_id
 
297
        :return: A dictionary mapping text keys ((fileid, revision_id) tuples)
 
298
            to whether they were referred to by the inventory of the
 
299
            revision_id that they contain. Note that if that revision_id was
 
300
            not part of the line_iterator's output then False will be given -
 
301
            even though it may actually refer to that key.
 
302
        """
 
303
        if not self.support_altered_by_hack:
 
304
            raise AssertionError(
 
305
                "_find_text_key_references only "
 
306
                "supported for branches which store inventory as unnested xml"
 
307
                ", not on %r" % self)
 
308
        result = {}
 
309
 
 
310
        # this code needs to read every new line in every inventory for the
 
311
        # inventories [revision_ids]. Seeing a line twice is ok. Seeing a line
 
312
        # not present in one of those inventories is unnecessary but not
 
313
        # harmful because we are filtering by the revision id marker in the
 
314
        # inventory lines : we only select file ids altered in one of those
 
315
        # revisions. We don't need to see all lines in the inventory because
 
316
        # only those added in an inventory in rev X can contain a revision=X
 
317
        # line.
 
318
        unescape_revid_cache = {}
 
319
        unescape_fileid_cache = {}
 
320
 
 
321
        # jam 20061218 In a big fetch, this handles hundreds of thousands
 
322
        # of lines, so it has had a lot of inlining and optimizing done.
 
323
        # Sorry that it is a little bit messy.
 
324
        # Move several functions to be local variables, since this is a long
 
325
        # running loop.
 
326
        search = self._file_ids_altered_regex.search
 
327
        unescape = _unescape_xml
 
328
        setdefault = result.setdefault
 
329
        for line, line_key in line_iterator:
 
330
            match = search(line)
 
331
            if match is None:
 
332
                continue
 
333
            # One call to match.group() returning multiple items is quite a
 
334
            # bit faster than 2 calls to match.group() each returning 1
 
335
            file_id, revision_id = match.group('file_id', 'revision_id')
 
336
 
 
337
            # Inlining the cache lookups helps a lot when you make 170,000
 
338
            # lines and 350k ids, versus 8.4 unique ids.
 
339
            # Using a cache helps in 2 ways:
 
340
            #   1) Avoids unnecessary decoding calls
 
341
            #   2) Re-uses cached strings, which helps in future set and
 
342
            #      equality checks.
 
343
            # (2) is enough that removing encoding entirely along with
 
344
            # the cache (so we are using plain strings) results in no
 
345
            # performance improvement.
 
346
            try:
 
347
                revision_id = unescape_revid_cache[revision_id]
 
348
            except KeyError:
 
349
                unescaped = unescape(revision_id)
 
350
                unescape_revid_cache[revision_id] = unescaped
 
351
                revision_id = unescaped
 
352
 
 
353
            # Note that unconditionally unescaping means that we deserialise
 
354
            # every fileid, which for general 'pull' is not great, but we don't
 
355
            # really want to have some many fulltexts that this matters anyway.
 
356
            # RBC 20071114.
 
357
            try:
 
358
                file_id = unescape_fileid_cache[file_id]
 
359
            except KeyError:
 
360
                unescaped = unescape(file_id)
 
361
                unescape_fileid_cache[file_id] = unescaped
 
362
                file_id = unescaped
 
363
 
 
364
            key = (file_id, revision_id)
 
365
            setdefault(key, False)
 
366
            if revision_id == line_key[-1]:
 
367
                result[key] = True
 
368
        return result
 
369
 
 
370
 
 
371
serializer_v8 = Serializer_v8()