~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/xml8.py

  • Committer: Jelmer Vernooij
  • Date: 2008-07-08 15:58:12 UTC
  • mfrom: (3353.1.4 paramiko-1.7.2-compat)
  • mto: This revision was merged to the branch mainline in revision 3531.
  • Revision ID: jelmer@samba.org-20080708155812-gacwrgs7d7n48a0d
Merge bashprompt script that prints the bzr branch nick.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005-2010 Canonical Ltd
 
1
# Copyright (C) 2005, 2006, 2007, 2008 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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
 
 
17
 
from __future__ import absolute_import
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18
16
 
19
17
import cStringIO
 
18
import re
20
19
 
21
20
from bzrlib import (
22
21
    cache_utf8,
23
 
    lazy_regex,
 
22
    errors,
 
23
    inventory,
24
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
 
    )
 
25
    )
 
26
from bzrlib.xml_serializer import SubElement, Element, Serializer
 
27
from bzrlib.inventory import ROOT_ID, Inventory, InventoryEntry
38
28
from bzrlib.revision import Revision
39
29
from bzrlib.errors import BzrError
40
30
 
41
31
 
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):
 
32
_utf8_re = None
 
33
_unicode_re = None
 
34
_xml_escape_map = {
 
35
    "&":'&amp;',
 
36
    "'":"&apos;", # FIXME: overkill
 
37
    "\"":"&quot;",
 
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):
69
142
    """This serialiser adds rich roots.
70
143
 
71
144
    Its revision format number matches its inventory number.
82
155
    format_num = '8'
83
156
    revision_format_num = None
84
157
 
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
158
    def _check_revisions(self, inv):
93
159
        """Extension point for subclasses to check during serialisation.
94
160
 
95
161
        :param inv: An inventory about to be serialised, to be checked.
96
 
        :raises: AssertionError if an error has occurred.
 
162
        :raises: AssertionError if an error has occured.
97
163
        """
98
164
        if inv.revision_id is None:
99
 
            raise AssertionError("inv.revision_id is None")
 
165
            raise AssertionError()
100
166
        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)
 
167
            raise AssertionError()
130
168
 
131
169
    def write_inventory_to_lines(self, inv):
132
170
        """Return a list of lines with the encoded inventory."""
144
182
 
145
183
    def write_inventory(self, inv, f, working=False):
146
184
        """Write inventory to a file.
147
 
 
 
185
        
148
186
        :param inv: the inventory to write.
149
187
        :param f: the file to write. (May be None if the lines are the desired
150
188
            output).
152
190
            reference_revision, symlink_target.
153
191
        :return: The inventory as a list of lines.
154
192
        """
 
193
        _ensure_utf8_re()
 
194
        self._check_revisions(inv)
155
195
        output = []
156
196
        append = output.append
157
197
        self._append_inventory_root(append, inv)
158
 
        serialize_inventory_flat(inv, append,
159
 
            self.root_id, self.supported_kinds, working)
 
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')
160
270
        if f is not None:
161
271
            f.writelines(output)
162
272
        # Just to keep the cache from growing without bounds
168
278
        """Append the inventory root to output."""
169
279
        if inv.revision_id is not None:
170
280
            revid1 = ' revision_id="'
171
 
            revid2 = encode_and_escape(inv.revision_id)
 
281
            revid2 = _encode_and_escape(inv.revision_id)
172
282
        else:
173
283
            revid1 = ""
174
284
            revid2 = ""
175
285
        append('<inventory format="%s"%s%s>\n' % (
176
286
            self.format_num, revid1, revid2))
177
287
        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)))
 
288
            _encode_and_escape(inv.root.file_id),
 
289
            _encode_and_escape(inv.root.name),
 
290
            _encode_and_escape(inv.root.revision)))
181
291
 
182
292
    def _pack_revision(self, rev):
183
293
        """Revision object -> xml tree"""
202
312
            root.set('timezone', str(rev.timezone))
203
313
        root.text = '\n'
204
314
        msg = SubElement(root, 'message')
205
 
        msg.text = escape_invalid_chars(rev.message)[0]
 
315
        msg.text = rev.message
206
316
        msg.tail = '\n'
207
317
        if rev.parent_ids:
208
318
            pelts = SubElement(root, 'parents')
227
337
            prop_elt.tail = '\n'
228
338
        top_elt.tail = '\n'
229
339
 
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):
 
340
    def _unpack_inventory(self, elt, revision_id=None):
237
341
        """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)
 
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)
241
355
        return inv
242
356
 
 
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
 
243
396
    def _unpack_revision(self, elt):
244
397
        """XML Element -> Revision object"""
245
398
        format = elt.get('format')
250
403
            if format != format_num:
251
404
                raise BzrError("invalid format version %r on revision"
252
405
                                % format)
253
 
        get_cached = get_utf8_or_ascii
 
406
        get_cached = _get_utf8_or_ascii
254
407
        rev = Revision(committer = elt.get('committer'),
255
408
                       timestamp = float(elt.get('timestamp')),
256
409
                       revision_id = get_cached(elt.get('revision_id')),
288
441
                raise AssertionError("repeated property %r" % name)
289
442
            rev.properties[name] = value
290
443
 
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
444
 
371
445
serializer_v8 = Serializer_v8()