~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/xml8.py

  • Committer: Tarmac
  • Author(s): Vincent Ladeuil
  • Date: 2017-01-30 14:42:05 UTC
  • mfrom: (6620.1.1 trunk)
  • Revision ID: tarmac-20170130144205-r8fh2xpmiuxyozpv
Merge  2.7 into trunk including fix for bug #1657238 [r=vila]

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005, 2006, 2007, 2008 Canonical Ltd
 
1
# Copyright (C) 2005-2010 Canonical Ltd
2
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
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
 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
16
 
 
17
from __future__ import absolute_import
16
18
 
17
19
import cStringIO
18
 
import re
19
20
 
20
21
from bzrlib import (
21
22
    cache_utf8,
22
 
    errors,
23
 
    inventory,
 
23
    lazy_regex,
24
24
    revision as _mod_revision,
25
 
    )
26
 
from bzrlib.xml_serializer import SubElement, Element, Serializer
27
 
from bzrlib.inventory import ROOT_ID, Inventory, InventoryEntry
 
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
    )
28
38
from bzrlib.revision import Revision
29
39
from bzrlib.errors import BzrError
30
40
 
31
41
 
32
 
_utf8_re = None
33
 
_unicode_re = None
34
 
_xml_escape_map = {
35
 
    "&":'&',
36
 
    "'":"'", # FIXME: overkill
37
 
    "\"":""",
38
 
    "<":"&lt;",
39
 
    ">":"&gt;",
40
 
    }
41
 
 
42
 
 
43
 
def _ensure_utf8_re():
44
 
    """Make sure the _utf8_re and _unicode_re regexes have been compiled."""
45
 
    global _utf8_re, _unicode_re
46
 
    if _utf8_re is None:
47
 
        _utf8_re = re.compile('[&<>\'\"]|[\x80-\xff]+')
48
 
    if _unicode_re is None:
49
 
        _unicode_re = re.compile(u'[&<>\'\"\u0080-\uffff]')
50
 
 
51
 
 
52
 
def _unicode_escape_replace(match, _map=_xml_escape_map):
53
 
    """Replace a string of non-ascii, non XML safe characters with their escape
54
 
 
55
 
    This will escape both Standard XML escapes, like <>"', etc.
56
 
    As well as escaping non ascii characters, because ElementTree did.
57
 
    This helps us remain compatible to older versions of bzr. We may change
58
 
    our policy in the future, though.
59
 
    """
60
 
    # jam 20060816 Benchmarks show that try/KeyError is faster if you
61
 
    # expect the entity to rarely miss. There is about a 10% difference
62
 
    # in overall time. But if you miss frequently, then if None is much
63
 
    # faster. For our use case, we *rarely* have a revision id, file id
64
 
    # or path name that is unicode. So use try/KeyError.
65
 
    try:
66
 
        return _map[match.group()]
67
 
    except KeyError:
68
 
        return "&#%d;" % ord(match.group())
69
 
 
70
 
 
71
 
def _utf8_escape_replace(match, _map=_xml_escape_map):
72
 
    """Escape utf8 characters into XML safe ones.
73
 
 
74
 
    This uses 2 tricks. It is either escaping "standard" characters, like "&<>,
75
 
    or it is handling characters with the high-bit set. For ascii characters,
76
 
    we just lookup the replacement in the dictionary. For everything else, we
77
 
    decode back into Unicode, and then use the XML escape code.
78
 
    """
79
 
    try:
80
 
        return _map[match.group()]
81
 
    except KeyError:
82
 
        return ''.join('&#%d;' % ord(uni_chr)
83
 
                       for uni_chr in match.group().decode('utf8'))
84
 
 
85
 
 
86
 
_to_escaped_map = {}
87
 
 
88
 
def _encode_and_escape(unicode_or_utf8_str, _map=_to_escaped_map):
89
 
    """Encode the string into utf8, and escape invalid XML characters"""
90
 
    # We frequently get entities we have not seen before, so it is better
91
 
    # to check if None, rather than try/KeyError
92
 
    text = _map.get(unicode_or_utf8_str)
93
 
    if text is None:
94
 
        if unicode_or_utf8_str.__class__ == unicode:
95
 
            # The alternative policy is to do a regular UTF8 encoding
96
 
            # and then escape only XML meta characters.
97
 
            # Performance is equivalent once you use cache_utf8. *However*
98
 
            # this makes the serialized texts incompatible with old versions
99
 
            # of bzr. So no net gain. (Perhaps the read code would handle utf8
100
 
            # better than entity escapes, but cElementTree seems to do just fine
101
 
            # either way)
102
 
            text = str(_unicode_re.sub(_unicode_escape_replace,
103
 
                                       unicode_or_utf8_str)) + '"'
104
 
        else:
105
 
            # Plain strings are considered to already be in utf-8 so we do a
106
 
            # slightly different method for escaping.
107
 
            text = _utf8_re.sub(_utf8_escape_replace,
108
 
                                unicode_or_utf8_str) + '"'
109
 
        _map[unicode_or_utf8_str] = text
110
 
    return text
111
 
 
112
 
 
113
 
def _get_utf8_or_ascii(a_str,
114
 
                       _encode_utf8=cache_utf8.encode,
115
 
                       _get_cached_ascii=cache_utf8.get_cached_ascii):
116
 
    """Return a cached version of the string.
117
 
 
118
 
    cElementTree will return a plain string if the XML is plain ascii. It only
119
 
    returns Unicode when it needs to. We want to work in utf-8 strings. So if
120
 
    cElementTree returns a plain string, we can just return the cached version.
121
 
    If it is Unicode, then we need to encode it.
122
 
 
123
 
    :param a_str: An 8-bit string or Unicode as returned by
124
 
                  cElementTree.Element.get()
125
 
    :return: A utf-8 encoded 8-bit string.
126
 
    """
127
 
    # This is fairly optimized because we know what cElementTree does, this is
128
 
    # not meant as a generic function for all cases. Because it is possible for
129
 
    # an 8-bit string to not be ascii or valid utf8.
130
 
    if a_str.__class__ == unicode:
131
 
        return _encode_utf8(a_str)
132
 
    else:
133
 
        return _get_cached_ascii(a_str)
134
 
 
135
 
 
136
 
def _clear_cache():
137
 
    """Clean out the unicode => escaped map"""
138
 
    _to_escaped_map.clear()
139
 
 
140
 
 
141
 
class Serializer_v8(Serializer):
 
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):
142
69
    """This serialiser adds rich roots.
143
70
 
144
71
    Its revision format number matches its inventory number.
155
82
    format_num = '8'
156
83
    revision_format_num = None
157
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
 
158
92
    def _check_revisions(self, inv):
159
93
        """Extension point for subclasses to check during serialisation.
160
94
 
161
95
        :param inv: An inventory about to be serialised, to be checked.
162
 
        :raises: AssertionError if an error has occured.
 
96
        :raises: AssertionError if an error has occurred.
163
97
        """
164
98
        if inv.revision_id is None:
165
 
            raise AssertionError()
 
99
            raise AssertionError("inv.revision_id is None")
166
100
        if inv.root.revision is None:
167
 
            raise AssertionError()
 
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)
168
130
 
169
131
    def write_inventory_to_lines(self, inv):
170
132
        """Return a list of lines with the encoded inventory."""
182
144
 
183
145
    def write_inventory(self, inv, f, working=False):
184
146
        """Write inventory to a file.
185
 
        
 
147
 
186
148
        :param inv: the inventory to write.
187
149
        :param f: the file to write. (May be None if the lines are the desired
188
150
            output).
190
152
            reference_revision, symlink_target.
191
153
        :return: The inventory as a list of lines.
192
154
        """
193
 
        _ensure_utf8_re()
194
 
        self._check_revisions(inv)
195
155
        output = []
196
156
        append = output.append
197
157
        self._append_inventory_root(append, inv)
198
 
        entries = inv.iter_entries()
199
 
        # Skip the root
200
 
        root_path, root_ie = entries.next()
201
 
        for path, ie in entries:
202
 
            if ie.parent_id != self.root_id:
203
 
                parent_str = ' parent_id="'
204
 
                parent_id  = _encode_and_escape(ie.parent_id)
205
 
            else:
206
 
                parent_str = ''
207
 
                parent_id  = ''
208
 
            if ie.kind == 'file':
209
 
                if ie.executable:
210
 
                    executable = ' executable="yes"'
211
 
                else:
212
 
                    executable = ''
213
 
                if not working:
214
 
                    append('<file%s file_id="%s name="%s%s%s revision="%s '
215
 
                        'text_sha1="%s" text_size="%d" />\n' % (
216
 
                        executable, _encode_and_escape(ie.file_id),
217
 
                        _encode_and_escape(ie.name), parent_str, parent_id,
218
 
                        _encode_and_escape(ie.revision), ie.text_sha1,
219
 
                        ie.text_size))
220
 
                else:
221
 
                    append('<file%s file_id="%s name="%s%s%s />\n' % (
222
 
                        executable, _encode_and_escape(ie.file_id),
223
 
                        _encode_and_escape(ie.name), parent_str, parent_id))
224
 
            elif ie.kind == 'directory':
225
 
                if not working:
226
 
                    append('<directory file_id="%s name="%s%s%s revision="%s '
227
 
                        '/>\n' % (
228
 
                        _encode_and_escape(ie.file_id),
229
 
                        _encode_and_escape(ie.name),
230
 
                        parent_str, parent_id,
231
 
                        _encode_and_escape(ie.revision)))
232
 
                else:
233
 
                    append('<directory file_id="%s name="%s%s%s />\n' % (
234
 
                        _encode_and_escape(ie.file_id),
235
 
                        _encode_and_escape(ie.name),
236
 
                        parent_str, parent_id))
237
 
            elif ie.kind == 'symlink':
238
 
                if not working:
239
 
                    append('<symlink file_id="%s name="%s%s%s revision="%s '
240
 
                        'symlink_target="%s />\n' % (
241
 
                        _encode_and_escape(ie.file_id),
242
 
                        _encode_and_escape(ie.name),
243
 
                        parent_str, parent_id,
244
 
                        _encode_and_escape(ie.revision),
245
 
                        _encode_and_escape(ie.symlink_target)))
246
 
                else:
247
 
                    append('<symlink file_id="%s name="%s%s%s />\n' % (
248
 
                        _encode_and_escape(ie.file_id),
249
 
                        _encode_and_escape(ie.name),
250
 
                        parent_str, parent_id))
251
 
            elif ie.kind == 'tree-reference':
252
 
                if ie.kind not in self.supported_kinds:
253
 
                    raise errors.UnsupportedInventoryKind(ie.kind)
254
 
                if not working:
255
 
                    append('<tree-reference file_id="%s name="%s%s%s '
256
 
                        'revision="%s reference_revision="%s />\n' % (
257
 
                        _encode_and_escape(ie.file_id),
258
 
                        _encode_and_escape(ie.name),
259
 
                        parent_str, parent_id,
260
 
                        _encode_and_escape(ie.revision),
261
 
                        _encode_and_escape(ie.reference_revision)))
262
 
                else:
263
 
                    append('<tree-reference file_id="%s name="%s%s%s />\n' % (
264
 
                        _encode_and_escape(ie.file_id),
265
 
                        _encode_and_escape(ie.name),
266
 
                        parent_str, parent_id))
267
 
            else:
268
 
                raise errors.UnsupportedInventoryKind(ie.kind)
269
 
        append('</inventory>\n')
 
158
        serialize_inventory_flat(inv, append,
 
159
            self.root_id, self.supported_kinds, working)
270
160
        if f is not None:
271
161
            f.writelines(output)
272
162
        # Just to keep the cache from growing without bounds
278
168
        """Append the inventory root to output."""
279
169
        if inv.revision_id is not None:
280
170
            revid1 = ' revision_id="'
281
 
            revid2 = _encode_and_escape(inv.revision_id)
 
171
            revid2 = encode_and_escape(inv.revision_id)
282
172
        else:
283
173
            revid1 = ""
284
174
            revid2 = ""
285
175
        append('<inventory format="%s"%s%s>\n' % (
286
176
            self.format_num, revid1, revid2))
287
177
        append('<directory file_id="%s name="%s revision="%s />\n' % (
288
 
            _encode_and_escape(inv.root.file_id),
289
 
            _encode_and_escape(inv.root.name),
290
 
            _encode_and_escape(inv.root.revision)))
 
178
            encode_and_escape(inv.root.file_id),
 
179
            encode_and_escape(inv.root.name),
 
180
            encode_and_escape(inv.root.revision)))
291
181
 
292
182
    def _pack_revision(self, rev):
293
183
        """Revision object -> xml tree"""
312
202
            root.set('timezone', str(rev.timezone))
313
203
        root.text = '\n'
314
204
        msg = SubElement(root, 'message')
315
 
        msg.text = rev.message
 
205
        msg.text = escape_invalid_chars(rev.message)[0]
316
206
        msg.tail = '\n'
317
207
        if rev.parent_ids:
318
208
            pelts = SubElement(root, 'parents')
337
227
            prop_elt.tail = '\n'
338
228
        top_elt.tail = '\n'
339
229
 
340
 
    def _unpack_inventory(self, elt, revision_id=None):
 
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)
 
234
 
 
235
    def _unpack_inventory(self, elt, revision_id=None, entry_cache=None,
 
236
                          return_from_cache=False):
341
237
        """Construct from XML Element"""
342
 
        if elt.tag != 'inventory':
343
 
            raise errors.UnexpectedInventoryFormat('Root tag is %r' % elt.tag)
344
 
        format = elt.get('format')
345
 
        if format != self.format_num:
346
 
            raise errors.UnexpectedInventoryFormat('Invalid format version %r'
347
 
                                                   % format)
348
 
        revision_id = elt.get('revision_id')
349
 
        if revision_id is not None:
350
 
            revision_id = cache_utf8.encode(revision_id)
351
 
        inv = inventory.Inventory(root_id=None, revision_id=revision_id)
352
 
        for e in elt:
353
 
            ie = self._unpack_entry(e)
354
 
            inv.add(ie)
 
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)
355
241
        return inv
356
242
 
357
 
    def _unpack_entry(self, elt):
358
 
        kind = elt.tag
359
 
        if not InventoryEntry.versionable_kind(kind):
360
 
            raise AssertionError('unsupported entry kind %s' % kind)
361
 
 
362
 
        get_cached = _get_utf8_or_ascii
363
 
 
364
 
        parent_id = elt.get('parent_id')
365
 
        if parent_id is not None:
366
 
            parent_id = get_cached(parent_id)
367
 
        file_id = get_cached(elt.get('file_id'))
368
 
 
369
 
        if kind == 'directory':
370
 
            ie = inventory.InventoryDirectory(file_id,
371
 
                                              elt.get('name'),
372
 
                                              parent_id)
373
 
        elif kind == 'file':
374
 
            ie = inventory.InventoryFile(file_id,
375
 
                                         elt.get('name'),
376
 
                                         parent_id)
377
 
            ie.text_sha1 = elt.get('text_sha1')
378
 
            if elt.get('executable') == 'yes':
379
 
                ie.executable = True
380
 
            v = elt.get('text_size')
381
 
            ie.text_size = v and int(v)
382
 
        elif kind == 'symlink':
383
 
            ie = inventory.InventoryLink(file_id,
384
 
                                         elt.get('name'),
385
 
                                         parent_id)
386
 
            ie.symlink_target = elt.get('symlink_target')
387
 
        else:
388
 
            raise errors.UnsupportedInventoryKind(kind)
389
 
        revision = elt.get('revision')
390
 
        if revision is not None:
391
 
            revision = get_cached(revision)
392
 
        ie.revision = revision
393
 
 
394
 
        return ie
395
 
 
396
243
    def _unpack_revision(self, elt):
397
244
        """XML Element -> Revision object"""
398
245
        format = elt.get('format')
403
250
            if format != format_num:
404
251
                raise BzrError("invalid format version %r on revision"
405
252
                                % format)
406
 
        get_cached = _get_utf8_or_ascii
 
253
        get_cached = get_utf8_or_ascii
407
254
        rev = Revision(committer = elt.get('committer'),
408
255
                       timestamp = float(elt.get('timestamp')),
409
256
                       revision_id = get_cached(elt.get('revision_id')),
441
288
                raise AssertionError("repeated property %r" % name)
442
289
            rev.properties[name] = value
443
290
 
 
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
 
444
370
 
445
371
serializer_v8 = Serializer_v8()