blob: 00f273e21f13f0036954614b7d33dc8595c5619d [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001:mod:`difflib` --- Helpers for computing deltas
2===============================================
3
4.. module:: difflib
5 :synopsis: Helpers for computing differences between objects.
6.. moduleauthor:: Tim Peters <tim_one@users.sourceforge.net>
7.. sectionauthor:: Tim Peters <tim_one@users.sourceforge.net>
Christian Heimes5b5e81c2007-12-31 16:14:33 +00008.. Markup by Fred L. Drake, Jr. <fdrake@acm.org>
Georg Brandl116aa622007-08-15 14:28:22 +00009
Christian Heimesfe337bf2008-03-23 21:54:12 +000010.. testsetup::
Georg Brandl116aa622007-08-15 14:28:22 +000011
Christian Heimesfe337bf2008-03-23 21:54:12 +000012 import sys
13 from difflib import *
Georg Brandl116aa622007-08-15 14:28:22 +000014
Georg Brandl9afde1c2007-11-01 20:32:30 +000015This module provides classes and functions for comparing sequences. It
16can be used for example, for comparing files, and can produce difference
17information in various formats, including HTML and context and unified
18diffs. For comparing directories and files, see also, the :mod:`filecmp` module.
19
Georg Brandl116aa622007-08-15 14:28:22 +000020.. class:: SequenceMatcher
21
22 This is a flexible class for comparing pairs of sequences of any type, so long
Guido van Rossum2cc30da2007-11-02 23:46:40 +000023 as the sequence elements are :term:`hashable`. The basic algorithm predates, and is a
Georg Brandl116aa622007-08-15 14:28:22 +000024 little fancier than, an algorithm published in the late 1980's by Ratcliff and
25 Obershelp under the hyperbolic name "gestalt pattern matching." The idea is to
26 find the longest contiguous matching subsequence that contains no "junk"
27 elements (the Ratcliff and Obershelp algorithm doesn't address junk). The same
28 idea is then applied recursively to the pieces of the sequences to the left and
29 to the right of the matching subsequence. This does not yield minimal edit
30 sequences, but does tend to yield matches that "look right" to people.
31
32 **Timing:** The basic Ratcliff-Obershelp algorithm is cubic time in the worst
33 case and quadratic time in the expected case. :class:`SequenceMatcher` is
34 quadratic time for the worst case and has expected-case behavior dependent in a
35 complicated way on how many elements the sequences have in common; best case
36 time is linear.
37
38
39.. class:: Differ
40
41 This is a class for comparing sequences of lines of text, and producing
42 human-readable differences or deltas. Differ uses :class:`SequenceMatcher`
43 both to compare sequences of lines, and to compare sequences of characters
44 within similar (near-matching) lines.
45
46 Each line of a :class:`Differ` delta begins with a two-letter code:
47
48 +----------+-------------------------------------------+
49 | Code | Meaning |
50 +==========+===========================================+
51 | ``'- '`` | line unique to sequence 1 |
52 +----------+-------------------------------------------+
53 | ``'+ '`` | line unique to sequence 2 |
54 +----------+-------------------------------------------+
55 | ``' '`` | line common to both sequences |
56 +----------+-------------------------------------------+
57 | ``'? '`` | line not present in either input sequence |
58 +----------+-------------------------------------------+
59
60 Lines beginning with '``?``' attempt to guide the eye to intraline differences,
61 and were not present in either input sequence. These lines can be confusing if
62 the sequences contain tab characters.
63
64
65.. class:: HtmlDiff
66
67 This class can be used to create an HTML table (or a complete HTML file
68 containing the table) showing a side by side, line by line comparison of text
69 with inter-line and intra-line change highlights. The table can be generated in
70 either full or contextual difference mode.
71
72 The constructor for this class is:
73
74
75 .. function:: __init__([tabsize][, wrapcolumn][, linejunk][, charjunk])
76
77 Initializes instance of :class:`HtmlDiff`.
78
79 *tabsize* is an optional keyword argument to specify tab stop spacing and
80 defaults to ``8``.
81
82 *wrapcolumn* is an optional keyword to specify column number where lines are
83 broken and wrapped, defaults to ``None`` where lines are not wrapped.
84
85 *linejunk* and *charjunk* are optional keyword arguments passed into ``ndiff()``
86 (used by :class:`HtmlDiff` to generate the side by side HTML differences). See
87 ``ndiff()`` documentation for argument default values and descriptions.
88
89 The following methods are public:
90
91
92 .. function:: make_file(fromlines, tolines [, fromdesc][, todesc][, context][, numlines])
93
94 Compares *fromlines* and *tolines* (lists of strings) and returns a string which
95 is a complete HTML file containing a table showing line by line differences with
96 inter-line and intra-line changes highlighted.
97
98 *fromdesc* and *todesc* are optional keyword arguments to specify from/to file
99 column header strings (both default to an empty string).
100
101 *context* and *numlines* are both optional keyword arguments. Set *context* to
102 ``True`` when contextual differences are to be shown, else the default is
103 ``False`` to show the full files. *numlines* defaults to ``5``. When *context*
104 is ``True`` *numlines* controls the number of context lines which surround the
105 difference highlights. When *context* is ``False`` *numlines* controls the
106 number of lines which are shown before a difference highlight when using the
107 "next" hyperlinks (setting to zero would cause the "next" hyperlinks to place
108 the next difference highlight at the top of the browser without any leading
109 context).
110
111
112 .. function:: make_table(fromlines, tolines [, fromdesc][, todesc][, context][, numlines])
113
114 Compares *fromlines* and *tolines* (lists of strings) and returns a string which
115 is a complete HTML table showing line by line differences with inter-line and
116 intra-line changes highlighted.
117
118 The arguments for this method are the same as those for the :meth:`make_file`
119 method.
120
121 :file:`Tools/scripts/diff.py` is a command-line front-end to this class and
122 contains a good example of its use.
123
Georg Brandl116aa622007-08-15 14:28:22 +0000124
125.. function:: context_diff(a, b[, fromfile][, tofile][, fromfiledate][, tofiledate][, n][, lineterm])
126
Georg Brandl9afde1c2007-11-01 20:32:30 +0000127 Compare *a* and *b* (lists of strings); return a delta (a :term:`generator`
128 generating the delta lines) in context diff format.
Georg Brandl116aa622007-08-15 14:28:22 +0000129
130 Context diffs are a compact way of showing just the lines that have changed plus
131 a few lines of context. The changes are shown in a before/after style. The
132 number of context lines is set by *n* which defaults to three.
133
134 By default, the diff control lines (those with ``***`` or ``---``) are created
135 with a trailing newline. This is helpful so that inputs created from
136 :func:`file.readlines` result in diffs that are suitable for use with
137 :func:`file.writelines` since both the inputs and outputs have trailing
138 newlines.
139
140 For inputs that do not have trailing newlines, set the *lineterm* argument to
141 ``""`` so that the output will be uniformly newline free.
142
143 The context diff format normally has a header for filenames and modification
144 times. Any or all of these may be specified using strings for *fromfile*,
145 *tofile*, *fromfiledate*, and *tofiledate*. The modification times are normally
146 expressed in the format returned by :func:`time.ctime`. If not specified, the
147 strings default to blanks.
148
Christian Heimes8640e742008-02-23 16:23:06 +0000149 >>> s1 = ['bacon\n', 'eggs\n', 'ham\n', 'guido\n']
150 >>> s2 = ['python\n', 'eggy\n', 'hamster\n', 'guido\n']
151 >>> for line in context_diff(s1, s2, fromfile='before.py', tofile='after.py'):
Christian Heimesfe337bf2008-03-23 21:54:12 +0000152 ... sys.stdout.write(line) # doctest: +NORMALIZE_WHITESPACE
Christian Heimes8640e742008-02-23 16:23:06 +0000153 *** before.py
154 --- after.py
155 ***************
156 *** 1,4 ****
157 ! bacon
158 ! eggs
159 ! ham
160 guido
161 --- 1,4 ----
162 ! python
163 ! eggy
164 ! hamster
165 guido
166
167 See :ref:`difflib-interface` for a more detailed example.
Georg Brandl116aa622007-08-15 14:28:22 +0000168
Georg Brandl116aa622007-08-15 14:28:22 +0000169
170.. function:: get_close_matches(word, possibilities[, n][, cutoff])
171
172 Return a list of the best "good enough" matches. *word* is a sequence for which
173 close matches are desired (typically a string), and *possibilities* is a list of
174 sequences against which to match *word* (typically a list of strings).
175
176 Optional argument *n* (default ``3``) is the maximum number of close matches to
177 return; *n* must be greater than ``0``.
178
179 Optional argument *cutoff* (default ``0.6``) is a float in the range [0, 1].
180 Possibilities that don't score at least that similar to *word* are ignored.
181
182 The best (no more than *n*) matches among the possibilities are returned in a
Christian Heimesfe337bf2008-03-23 21:54:12 +0000183 list, sorted by similarity score, most similar first.
Georg Brandl116aa622007-08-15 14:28:22 +0000184
185 >>> get_close_matches('appel', ['ape', 'apple', 'peach', 'puppy'])
186 ['apple', 'ape']
187 >>> import keyword
188 >>> get_close_matches('wheel', keyword.kwlist)
189 ['while']
190 >>> get_close_matches('apple', keyword.kwlist)
191 []
192 >>> get_close_matches('accept', keyword.kwlist)
193 ['except']
194
195
196.. function:: ndiff(a, b[, linejunk][, charjunk])
197
Georg Brandl9afde1c2007-11-01 20:32:30 +0000198 Compare *a* and *b* (lists of strings); return a :class:`Differ`\ -style
199 delta (a :term:`generator` generating the delta lines).
Georg Brandl116aa622007-08-15 14:28:22 +0000200
201 Optional keyword parameters *linejunk* and *charjunk* are for filter functions
202 (or ``None``):
203
Georg Brandle6bcc912008-05-12 18:05:20 +0000204 *linejunk*: A function that accepts a single string argument, and returns
205 true if the string is junk, or false if not. The default is ``None``. There
206 is also a module-level function :func:`IS_LINE_JUNK`, which filters out lines
207 without visible characters, except for at most one pound character (``'#'``)
208 -- however the underlying :class:`SequenceMatcher` class does a dynamic
209 analysis of which lines are so frequent as to constitute noise, and this
210 usually works better than using this function.
Georg Brandl116aa622007-08-15 14:28:22 +0000211
212 *charjunk*: A function that accepts a character (a string of length 1), and
213 returns if the character is junk, or false if not. The default is module-level
214 function :func:`IS_CHARACTER_JUNK`, which filters out whitespace characters (a
215 blank or tab; note: bad idea to include newline in this!).
216
Christian Heimesfe337bf2008-03-23 21:54:12 +0000217 :file:`Tools/scripts/ndiff.py` is a command-line front-end to this function.
Georg Brandl116aa622007-08-15 14:28:22 +0000218
219 >>> diff = ndiff('one\ntwo\nthree\n'.splitlines(1),
220 ... 'ore\ntree\nemu\n'.splitlines(1))
Georg Brandl6911e3c2007-09-04 07:15:32 +0000221 >>> print(''.join(diff), end="")
Georg Brandl116aa622007-08-15 14:28:22 +0000222 - one
223 ? ^
224 + ore
225 ? ^
226 - two
227 - three
228 ? -
229 + tree
230 + emu
231
232
233.. function:: restore(sequence, which)
234
235 Return one of the two sequences that generated a delta.
236
237 Given a *sequence* produced by :meth:`Differ.compare` or :func:`ndiff`, extract
238 lines originating from file 1 or 2 (parameter *which*), stripping off line
239 prefixes.
240
Christian Heimesfe337bf2008-03-23 21:54:12 +0000241 Example:
Georg Brandl116aa622007-08-15 14:28:22 +0000242
243 >>> diff = ndiff('one\ntwo\nthree\n'.splitlines(1),
244 ... 'ore\ntree\nemu\n'.splitlines(1))
245 >>> diff = list(diff) # materialize the generated delta into a list
Georg Brandl6911e3c2007-09-04 07:15:32 +0000246 >>> print(''.join(restore(diff, 1)), end="")
Georg Brandl116aa622007-08-15 14:28:22 +0000247 one
248 two
249 three
Georg Brandl6911e3c2007-09-04 07:15:32 +0000250 >>> print(''.join(restore(diff, 2)), end="")
Georg Brandl116aa622007-08-15 14:28:22 +0000251 ore
252 tree
253 emu
254
255
256.. function:: unified_diff(a, b[, fromfile][, tofile][, fromfiledate][, tofiledate][, n][, lineterm])
257
Georg Brandl9afde1c2007-11-01 20:32:30 +0000258 Compare *a* and *b* (lists of strings); return a delta (a :term:`generator`
259 generating the delta lines) in unified diff format.
Georg Brandl116aa622007-08-15 14:28:22 +0000260
261 Unified diffs are a compact way of showing just the lines that have changed plus
262 a few lines of context. The changes are shown in a inline style (instead of
263 separate before/after blocks). The number of context lines is set by *n* which
264 defaults to three.
265
266 By default, the diff control lines (those with ``---``, ``+++``, or ``@@``) are
267 created with a trailing newline. This is helpful so that inputs created from
268 :func:`file.readlines` result in diffs that are suitable for use with
269 :func:`file.writelines` since both the inputs and outputs have trailing
270 newlines.
271
272 For inputs that do not have trailing newlines, set the *lineterm* argument to
273 ``""`` so that the output will be uniformly newline free.
274
275 The context diff format normally has a header for filenames and modification
276 times. Any or all of these may be specified using strings for *fromfile*,
277 *tofile*, *fromfiledate*, and *tofiledate*. The modification times are normally
278 expressed in the format returned by :func:`time.ctime`. If not specified, the
279 strings default to blanks.
280
Christian Heimes8640e742008-02-23 16:23:06 +0000281
282 >>> s1 = ['bacon\n', 'eggs\n', 'ham\n', 'guido\n']
283 >>> s2 = ['python\n', 'eggy\n', 'hamster\n', 'guido\n']
284 >>> for line in unified_diff(s1, s2, fromfile='before.py', tofile='after.py'):
Christian Heimesfe337bf2008-03-23 21:54:12 +0000285 ... sys.stdout.write(line) # doctest: +NORMALIZE_WHITESPACE
Christian Heimes8640e742008-02-23 16:23:06 +0000286 --- before.py
287 +++ after.py
288 @@ -1,4 +1,4 @@
289 -bacon
290 -eggs
291 -ham
292 +python
293 +eggy
294 +hamster
295 guido
296
297 See :ref:`difflib-interface` for a more detailed example.
Georg Brandl116aa622007-08-15 14:28:22 +0000298
Georg Brandl116aa622007-08-15 14:28:22 +0000299
300.. function:: IS_LINE_JUNK(line)
301
302 Return true for ignorable lines. The line *line* is ignorable if *line* is
303 blank or contains a single ``'#'``, otherwise it is not ignorable. Used as a
Georg Brandle6bcc912008-05-12 18:05:20 +0000304 default for parameter *linejunk* in :func:`ndiff` in older versions.
Georg Brandl116aa622007-08-15 14:28:22 +0000305
306
307.. function:: IS_CHARACTER_JUNK(ch)
308
309 Return true for ignorable characters. The character *ch* is ignorable if *ch*
310 is a space or tab, otherwise it is not ignorable. Used as a default for
311 parameter *charjunk* in :func:`ndiff`.
312
313
314.. seealso::
315
316 `Pattern Matching: The Gestalt Approach <http://www.ddj.com/184407970?pgno=5>`_
317 Discussion of a similar algorithm by John W. Ratcliff and D. E. Metzener. This
318 was published in `Dr. Dobb's Journal <http://www.ddj.com/>`_ in July, 1988.
319
320
321.. _sequence-matcher:
322
323SequenceMatcher Objects
324-----------------------
325
326The :class:`SequenceMatcher` class has this constructor:
327
328
329.. class:: SequenceMatcher([isjunk[, a[, b]]])
330
331 Optional argument *isjunk* must be ``None`` (the default) or a one-argument
332 function that takes a sequence element and returns true if and only if the
333 element is "junk" and should be ignored. Passing ``None`` for *isjunk* is
334 equivalent to passing ``lambda x: 0``; in other words, no elements are ignored.
335 For example, pass::
336
337 lambda x: x in " \t"
338
339 if you're comparing lines as sequences of characters, and don't want to synch up
340 on blanks or hard tabs.
341
342 The optional arguments *a* and *b* are sequences to be compared; both default to
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000343 empty strings. The elements of both sequences must be :term:`hashable`.
Georg Brandl116aa622007-08-15 14:28:22 +0000344
Benjamin Petersone41251e2008-04-25 01:59:09 +0000345 :class:`SequenceMatcher` objects have the following methods:
Georg Brandl116aa622007-08-15 14:28:22 +0000346
347
Benjamin Petersone41251e2008-04-25 01:59:09 +0000348 .. method:: set_seqs(a, b)
Georg Brandl116aa622007-08-15 14:28:22 +0000349
Benjamin Petersone41251e2008-04-25 01:59:09 +0000350 Set the two sequences to be compared.
Georg Brandl116aa622007-08-15 14:28:22 +0000351
Benjamin Petersone41251e2008-04-25 01:59:09 +0000352 :class:`SequenceMatcher` computes and caches detailed information about the
353 second sequence, so if you want to compare one sequence against many
354 sequences, use :meth:`set_seq2` to set the commonly used sequence once and
355 call :meth:`set_seq1` repeatedly, once for each of the other sequences.
Georg Brandl116aa622007-08-15 14:28:22 +0000356
357
Benjamin Petersone41251e2008-04-25 01:59:09 +0000358 .. method:: set_seq1(a)
Georg Brandl116aa622007-08-15 14:28:22 +0000359
Benjamin Petersone41251e2008-04-25 01:59:09 +0000360 Set the first sequence to be compared. The second sequence to be compared
361 is not changed.
Georg Brandl116aa622007-08-15 14:28:22 +0000362
363
Benjamin Petersone41251e2008-04-25 01:59:09 +0000364 .. method:: set_seq2(b)
Georg Brandl116aa622007-08-15 14:28:22 +0000365
Benjamin Petersone41251e2008-04-25 01:59:09 +0000366 Set the second sequence to be compared. The first sequence to be compared
367 is not changed.
Georg Brandl116aa622007-08-15 14:28:22 +0000368
369
Benjamin Petersone41251e2008-04-25 01:59:09 +0000370 .. method:: find_longest_match(alo, ahi, blo, bhi)
Georg Brandl116aa622007-08-15 14:28:22 +0000371
Benjamin Petersone41251e2008-04-25 01:59:09 +0000372 Find longest matching block in ``a[alo:ahi]`` and ``b[blo:bhi]``.
Georg Brandl116aa622007-08-15 14:28:22 +0000373
Benjamin Petersone41251e2008-04-25 01:59:09 +0000374 If *isjunk* was omitted or ``None``, :meth:`find_longest_match` returns
375 ``(i, j, k)`` such that ``a[i:i+k]`` is equal to ``b[j:j+k]``, where ``alo
376 <= i <= i+k <= ahi`` and ``blo <= j <= j+k <= bhi``. For all ``(i', j',
377 k')`` meeting those conditions, the additional conditions ``k >= k'``, ``i
378 <= i'``, and if ``i == i'``, ``j <= j'`` are also met. In other words, of
379 all maximal matching blocks, return one that starts earliest in *a*, and
380 of all those maximal matching blocks that start earliest in *a*, return
381 the one that starts earliest in *b*.
Georg Brandl116aa622007-08-15 14:28:22 +0000382
Benjamin Petersone41251e2008-04-25 01:59:09 +0000383 >>> s = SequenceMatcher(None, " abcd", "abcd abcd")
384 >>> s.find_longest_match(0, 5, 0, 9)
385 Match(a=0, b=4, size=5)
Georg Brandl116aa622007-08-15 14:28:22 +0000386
Benjamin Petersone41251e2008-04-25 01:59:09 +0000387 If *isjunk* was provided, first the longest matching block is determined
388 as above, but with the additional restriction that no junk element appears
389 in the block. Then that block is extended as far as possible by matching
390 (only) junk elements on both sides. So the resulting block never matches
391 on junk except as identical junk happens to be adjacent to an interesting
392 match.
Georg Brandl116aa622007-08-15 14:28:22 +0000393
Benjamin Petersone41251e2008-04-25 01:59:09 +0000394 Here's the same example as before, but considering blanks to be junk. That
395 prevents ``' abcd'`` from matching the ``' abcd'`` at the tail end of the
396 second sequence directly. Instead only the ``'abcd'`` can match, and
397 matches the leftmost ``'abcd'`` in the second sequence:
Georg Brandl116aa622007-08-15 14:28:22 +0000398
Benjamin Petersone41251e2008-04-25 01:59:09 +0000399 >>> s = SequenceMatcher(lambda x: x==" ", " abcd", "abcd abcd")
400 >>> s.find_longest_match(0, 5, 0, 9)
401 Match(a=1, b=0, size=4)
Georg Brandl116aa622007-08-15 14:28:22 +0000402
Benjamin Petersone41251e2008-04-25 01:59:09 +0000403 If no blocks match, this returns ``(alo, blo, 0)``.
Georg Brandl116aa622007-08-15 14:28:22 +0000404
Benjamin Petersone41251e2008-04-25 01:59:09 +0000405 This method returns a :term:`named tuple` ``Match(a, b, size)``.
Christian Heimes25bb7832008-01-11 16:17:00 +0000406
Georg Brandl116aa622007-08-15 14:28:22 +0000407
Benjamin Petersone41251e2008-04-25 01:59:09 +0000408 .. method:: get_matching_blocks()
Georg Brandl116aa622007-08-15 14:28:22 +0000409
Benjamin Petersone41251e2008-04-25 01:59:09 +0000410 Return list of triples describing matching subsequences. Each triple is of
411 the form ``(i, j, n)``, and means that ``a[i:i+n] == b[j:j+n]``. The
412 triples are monotonically increasing in *i* and *j*.
Georg Brandl116aa622007-08-15 14:28:22 +0000413
Benjamin Petersone41251e2008-04-25 01:59:09 +0000414 The last triple is a dummy, and has the value ``(len(a), len(b), 0)``. It
415 is the only triple with ``n == 0``. If ``(i, j, n)`` and ``(i', j', n')``
416 are adjacent triples in the list, and the second is not the last triple in
417 the list, then ``i+n != i'`` or ``j+n != j'``; in other words, adjacent
418 triples always describe non-adjacent equal blocks.
Georg Brandl116aa622007-08-15 14:28:22 +0000419
Benjamin Petersone41251e2008-04-25 01:59:09 +0000420 .. XXX Explain why a dummy is used!
Christian Heimes5b5e81c2007-12-31 16:14:33 +0000421
Benjamin Petersone41251e2008-04-25 01:59:09 +0000422 .. doctest::
Georg Brandl116aa622007-08-15 14:28:22 +0000423
Benjamin Petersone41251e2008-04-25 01:59:09 +0000424 >>> s = SequenceMatcher(None, "abxcd", "abcd")
425 >>> s.get_matching_blocks()
426 [Match(a=0, b=0, size=2), Match(a=3, b=2, size=2), Match(a=5, b=4, size=0)]
Georg Brandl116aa622007-08-15 14:28:22 +0000427
428
Benjamin Petersone41251e2008-04-25 01:59:09 +0000429 .. method:: get_opcodes()
Georg Brandl116aa622007-08-15 14:28:22 +0000430
Benjamin Petersone41251e2008-04-25 01:59:09 +0000431 Return list of 5-tuples describing how to turn *a* into *b*. Each tuple is
432 of the form ``(tag, i1, i2, j1, j2)``. The first tuple has ``i1 == j1 ==
433 0``, and remaining tuples have *i1* equal to the *i2* from the preceding
434 tuple, and, likewise, *j1* equal to the previous *j2*.
Georg Brandl116aa622007-08-15 14:28:22 +0000435
Benjamin Petersone41251e2008-04-25 01:59:09 +0000436 The *tag* values are strings, with these meanings:
Georg Brandl116aa622007-08-15 14:28:22 +0000437
Benjamin Petersone41251e2008-04-25 01:59:09 +0000438 +---------------+---------------------------------------------+
439 | Value | Meaning |
440 +===============+=============================================+
441 | ``'replace'`` | ``a[i1:i2]`` should be replaced by |
442 | | ``b[j1:j2]``. |
443 +---------------+---------------------------------------------+
444 | ``'delete'`` | ``a[i1:i2]`` should be deleted. Note that |
445 | | ``j1 == j2`` in this case. |
446 +---------------+---------------------------------------------+
447 | ``'insert'`` | ``b[j1:j2]`` should be inserted at |
448 | | ``a[i1:i1]``. Note that ``i1 == i2`` in |
449 | | this case. |
450 +---------------+---------------------------------------------+
451 | ``'equal'`` | ``a[i1:i2] == b[j1:j2]`` (the sub-sequences |
452 | | are equal). |
453 +---------------+---------------------------------------------+
Georg Brandl116aa622007-08-15 14:28:22 +0000454
Benjamin Petersone41251e2008-04-25 01:59:09 +0000455 For example:
Georg Brandl116aa622007-08-15 14:28:22 +0000456
Benjamin Petersone41251e2008-04-25 01:59:09 +0000457 >>> a = "qabxcd"
458 >>> b = "abycdf"
459 >>> s = SequenceMatcher(None, a, b)
460 >>> for tag, i1, i2, j1, j2 in s.get_opcodes():
461 ... print(("%7s a[%d:%d] (%s) b[%d:%d] (%s)" %
462 ... (tag, i1, i2, a[i1:i2], j1, j2, b[j1:j2])))
463 delete a[0:1] (q) b[0:0] ()
464 equal a[1:3] (ab) b[0:2] (ab)
465 replace a[3:4] (x) b[2:3] (y)
466 equal a[4:6] (cd) b[3:5] (cd)
467 insert a[6:6] () b[5:6] (f)
Georg Brandl116aa622007-08-15 14:28:22 +0000468
469
Benjamin Petersone41251e2008-04-25 01:59:09 +0000470 .. method:: get_grouped_opcodes([n])
Georg Brandl116aa622007-08-15 14:28:22 +0000471
Benjamin Petersone41251e2008-04-25 01:59:09 +0000472 Return a :term:`generator` of groups with up to *n* lines of context.
Georg Brandl116aa622007-08-15 14:28:22 +0000473
Benjamin Petersone41251e2008-04-25 01:59:09 +0000474 Starting with the groups returned by :meth:`get_opcodes`, this method
475 splits out smaller change clusters and eliminates intervening ranges which
476 have no changes.
Georg Brandl116aa622007-08-15 14:28:22 +0000477
Benjamin Petersone41251e2008-04-25 01:59:09 +0000478 The groups are returned in the same format as :meth:`get_opcodes`.
Georg Brandl116aa622007-08-15 14:28:22 +0000479
Georg Brandl116aa622007-08-15 14:28:22 +0000480
Benjamin Petersone41251e2008-04-25 01:59:09 +0000481 .. method:: ratio()
Georg Brandl116aa622007-08-15 14:28:22 +0000482
Benjamin Petersone41251e2008-04-25 01:59:09 +0000483 Return a measure of the sequences' similarity as a float in the range [0,
484 1].
Georg Brandl116aa622007-08-15 14:28:22 +0000485
Benjamin Petersone41251e2008-04-25 01:59:09 +0000486 Where T is the total number of elements in both sequences, and M is the
487 number of matches, this is 2.0\*M / T. Note that this is ``1.0`` if the
488 sequences are identical, and ``0.0`` if they have nothing in common.
Georg Brandl116aa622007-08-15 14:28:22 +0000489
Benjamin Petersone41251e2008-04-25 01:59:09 +0000490 This is expensive to compute if :meth:`get_matching_blocks` or
491 :meth:`get_opcodes` hasn't already been called, in which case you may want
492 to try :meth:`quick_ratio` or :meth:`real_quick_ratio` first to get an
493 upper bound.
Georg Brandl116aa622007-08-15 14:28:22 +0000494
495
Benjamin Petersone41251e2008-04-25 01:59:09 +0000496 .. method:: quick_ratio()
Georg Brandl116aa622007-08-15 14:28:22 +0000497
Benjamin Petersone41251e2008-04-25 01:59:09 +0000498 Return an upper bound on :meth:`ratio` relatively quickly.
Georg Brandl116aa622007-08-15 14:28:22 +0000499
Benjamin Petersone41251e2008-04-25 01:59:09 +0000500 This isn't defined beyond that it is an upper bound on :meth:`ratio`, and
501 is faster to compute.
Georg Brandl116aa622007-08-15 14:28:22 +0000502
503
Benjamin Petersone41251e2008-04-25 01:59:09 +0000504 .. method:: real_quick_ratio()
Georg Brandl116aa622007-08-15 14:28:22 +0000505
Benjamin Petersone41251e2008-04-25 01:59:09 +0000506 Return an upper bound on :meth:`ratio` very quickly.
Georg Brandl116aa622007-08-15 14:28:22 +0000507
Benjamin Petersone41251e2008-04-25 01:59:09 +0000508 This isn't defined beyond that it is an upper bound on :meth:`ratio`, and
509 is faster to compute than either :meth:`ratio` or :meth:`quick_ratio`.
Georg Brandl116aa622007-08-15 14:28:22 +0000510
511The three methods that return the ratio of matching to total characters can give
512different results due to differing levels of approximation, although
513:meth:`quick_ratio` and :meth:`real_quick_ratio` are always at least as large as
Christian Heimesfe337bf2008-03-23 21:54:12 +0000514:meth:`ratio`:
Georg Brandl116aa622007-08-15 14:28:22 +0000515
516 >>> s = SequenceMatcher(None, "abcd", "bcde")
517 >>> s.ratio()
518 0.75
519 >>> s.quick_ratio()
520 0.75
521 >>> s.real_quick_ratio()
522 1.0
523
524
525.. _sequencematcher-examples:
526
527SequenceMatcher Examples
528------------------------
529
Christian Heimesfe337bf2008-03-23 21:54:12 +0000530This example compares two strings, considering blanks to be "junk:"
Georg Brandl116aa622007-08-15 14:28:22 +0000531
532 >>> s = SequenceMatcher(lambda x: x == " ",
533 ... "private Thread currentThread;",
534 ... "private volatile Thread currentThread;")
535
536:meth:`ratio` returns a float in [0, 1], measuring the similarity of the
537sequences. As a rule of thumb, a :meth:`ratio` value over 0.6 means the
Christian Heimesfe337bf2008-03-23 21:54:12 +0000538sequences are close matches:
Georg Brandl116aa622007-08-15 14:28:22 +0000539
Georg Brandl6911e3c2007-09-04 07:15:32 +0000540 >>> print(round(s.ratio(), 3))
Georg Brandl116aa622007-08-15 14:28:22 +0000541 0.866
542
543If you're only interested in where the sequences match,
Christian Heimesfe337bf2008-03-23 21:54:12 +0000544:meth:`get_matching_blocks` is handy:
Georg Brandl116aa622007-08-15 14:28:22 +0000545
546 >>> for block in s.get_matching_blocks():
Georg Brandl6911e3c2007-09-04 07:15:32 +0000547 ... print("a[%d] and b[%d] match for %d elements" % block)
Georg Brandl116aa622007-08-15 14:28:22 +0000548 a[0] and b[0] match for 8 elements
Christian Heimesfe337bf2008-03-23 21:54:12 +0000549 a[8] and b[17] match for 21 elements
Georg Brandl116aa622007-08-15 14:28:22 +0000550 a[29] and b[38] match for 0 elements
551
552Note that the last tuple returned by :meth:`get_matching_blocks` is always a
553dummy, ``(len(a), len(b), 0)``, and this is the only case in which the last
554tuple element (number of elements matched) is ``0``.
555
556If you want to know how to change the first sequence into the second, use
Christian Heimesfe337bf2008-03-23 21:54:12 +0000557:meth:`get_opcodes`:
Georg Brandl116aa622007-08-15 14:28:22 +0000558
559 >>> for opcode in s.get_opcodes():
Georg Brandl6911e3c2007-09-04 07:15:32 +0000560 ... print("%6s a[%d:%d] b[%d:%d]" % opcode)
Georg Brandl116aa622007-08-15 14:28:22 +0000561 equal a[0:8] b[0:8]
562 insert a[8:8] b[8:17]
Christian Heimesfe337bf2008-03-23 21:54:12 +0000563 equal a[8:29] b[17:38]
Georg Brandl116aa622007-08-15 14:28:22 +0000564
565See also the function :func:`get_close_matches` in this module, which shows how
566simple code building on :class:`SequenceMatcher` can be used to do useful work.
567
568
569.. _differ-objects:
570
571Differ Objects
572--------------
573
574Note that :class:`Differ`\ -generated deltas make no claim to be **minimal**
575diffs. To the contrary, minimal diffs are often counter-intuitive, because they
576synch up anywhere possible, sometimes accidental matches 100 pages apart.
577Restricting synch points to contiguous matches preserves some notion of
578locality, at the occasional cost of producing a longer diff.
579
580The :class:`Differ` class has this constructor:
581
582
583.. class:: Differ([linejunk[, charjunk]])
584
585 Optional keyword parameters *linejunk* and *charjunk* are for filter functions
586 (or ``None``):
587
588 *linejunk*: A function that accepts a single string argument, and returns true
589 if the string is junk. The default is ``None``, meaning that no line is
590 considered junk.
591
592 *charjunk*: A function that accepts a single character argument (a string of
593 length 1), and returns true if the character is junk. The default is ``None``,
594 meaning that no character is considered junk.
595
Benjamin Petersone41251e2008-04-25 01:59:09 +0000596 :class:`Differ` objects are used (deltas generated) via a single method:
Georg Brandl116aa622007-08-15 14:28:22 +0000597
598
Benjamin Petersone41251e2008-04-25 01:59:09 +0000599 .. method:: Differ.compare(a, b)
Georg Brandl116aa622007-08-15 14:28:22 +0000600
Benjamin Petersone41251e2008-04-25 01:59:09 +0000601 Compare two sequences of lines, and generate the delta (a sequence of lines).
Georg Brandl116aa622007-08-15 14:28:22 +0000602
Benjamin Petersone41251e2008-04-25 01:59:09 +0000603 Each sequence must contain individual single-line strings ending with newlines.
604 Such sequences can be obtained from the :meth:`readlines` method of file-like
605 objects. The delta generated also consists of newline-terminated strings, ready
606 to be printed as-is via the :meth:`writelines` method of a file-like object.
Georg Brandl116aa622007-08-15 14:28:22 +0000607
608
609.. _differ-examples:
610
611Differ Example
612--------------
613
614This example compares two texts. First we set up the texts, sequences of
615individual single-line strings ending with newlines (such sequences can also be
Christian Heimesfe337bf2008-03-23 21:54:12 +0000616obtained from the :meth:`readlines` method of file-like objects):
Georg Brandl116aa622007-08-15 14:28:22 +0000617
618 >>> text1 = ''' 1. Beautiful is better than ugly.
619 ... 2. Explicit is better than implicit.
620 ... 3. Simple is better than complex.
621 ... 4. Complex is better than complicated.
622 ... '''.splitlines(1)
623 >>> len(text1)
624 4
625 >>> text1[0][-1]
626 '\n'
627 >>> text2 = ''' 1. Beautiful is better than ugly.
628 ... 3. Simple is better than complex.
629 ... 4. Complicated is better than complex.
630 ... 5. Flat is better than nested.
631 ... '''.splitlines(1)
632
Christian Heimesfe337bf2008-03-23 21:54:12 +0000633Next we instantiate a Differ object:
Georg Brandl116aa622007-08-15 14:28:22 +0000634
635 >>> d = Differ()
636
637Note that when instantiating a :class:`Differ` object we may pass functions to
638filter out line and character "junk." See the :meth:`Differ` constructor for
639details.
640
Christian Heimesfe337bf2008-03-23 21:54:12 +0000641Finally, we compare the two:
Georg Brandl116aa622007-08-15 14:28:22 +0000642
643 >>> result = list(d.compare(text1, text2))
644
Christian Heimesfe337bf2008-03-23 21:54:12 +0000645``result`` is a list of strings, so let's pretty-print it:
Georg Brandl116aa622007-08-15 14:28:22 +0000646
647 >>> from pprint import pprint
648 >>> pprint(result)
649 [' 1. Beautiful is better than ugly.\n',
650 '- 2. Explicit is better than implicit.\n',
651 '- 3. Simple is better than complex.\n',
652 '+ 3. Simple is better than complex.\n',
Christian Heimesfe337bf2008-03-23 21:54:12 +0000653 '? ++\n',
Georg Brandl116aa622007-08-15 14:28:22 +0000654 '- 4. Complex is better than complicated.\n',
Christian Heimesfe337bf2008-03-23 21:54:12 +0000655 '? ^ ---- ^\n',
Georg Brandl116aa622007-08-15 14:28:22 +0000656 '+ 4. Complicated is better than complex.\n',
Christian Heimesfe337bf2008-03-23 21:54:12 +0000657 '? ++++ ^ ^\n',
Georg Brandl116aa622007-08-15 14:28:22 +0000658 '+ 5. Flat is better than nested.\n']
659
Christian Heimesfe337bf2008-03-23 21:54:12 +0000660As a single multi-line string it looks like this:
Georg Brandl116aa622007-08-15 14:28:22 +0000661
662 >>> import sys
663 >>> sys.stdout.writelines(result)
664 1. Beautiful is better than ugly.
665 - 2. Explicit is better than implicit.
666 - 3. Simple is better than complex.
667 + 3. Simple is better than complex.
668 ? ++
669 - 4. Complex is better than complicated.
670 ? ^ ---- ^
671 + 4. Complicated is better than complex.
672 ? ++++ ^ ^
673 + 5. Flat is better than nested.
674
Christian Heimes8640e742008-02-23 16:23:06 +0000675
676.. _difflib-interface:
677
678A command-line interface to difflib
679-----------------------------------
680
681This example shows how to use difflib to create a ``diff``-like utility.
682It is also contained in the Python source distribution, as
683:file:`Tools/scripts/diff.py`.
684
Christian Heimesfe337bf2008-03-23 21:54:12 +0000685.. testcode::
Christian Heimes8640e742008-02-23 16:23:06 +0000686
687 """ Command line interface to difflib.py providing diffs in four formats:
688
689 * ndiff: lists every line and highlights interline changes.
690 * context: highlights clusters of changes in a before/after format.
691 * unified: highlights clusters of changes in an inline format.
692 * html: generates side by side comparison with change highlights.
693
694 """
695
696 import sys, os, time, difflib, optparse
697
698 def main():
699 # Configure the option parser
700 usage = "usage: %prog [options] fromfile tofile"
701 parser = optparse.OptionParser(usage)
702 parser.add_option("-c", action="store_true", default=False,
703 help='Produce a context format diff (default)')
704 parser.add_option("-u", action="store_true", default=False,
705 help='Produce a unified format diff')
706 hlp = 'Produce HTML side by side diff (can use -c and -l in conjunction)'
707 parser.add_option("-m", action="store_true", default=False, help=hlp)
708 parser.add_option("-n", action="store_true", default=False,
709 help='Produce a ndiff format diff')
710 parser.add_option("-l", "--lines", type="int", default=3,
711 help='Set number of context lines (default 3)')
712 (options, args) = parser.parse_args()
713
714 if len(args) == 0:
715 parser.print_help()
716 sys.exit(1)
717 if len(args) != 2:
718 parser.error("need to specify both a fromfile and tofile")
719
720 n = options.lines
721 fromfile, tofile = args # as specified in the usage string
722
723 # we're passing these as arguments to the diff function
724 fromdate = time.ctime(os.stat(fromfile).st_mtime)
725 todate = time.ctime(os.stat(tofile).st_mtime)
726 fromlines = open(fromfile, 'U').readlines()
727 tolines = open(tofile, 'U').readlines()
728
729 if options.u:
730 diff = difflib.unified_diff(fromlines, tolines, fromfile, tofile,
731 fromdate, todate, n=n)
732 elif options.n:
733 diff = difflib.ndiff(fromlines, tolines)
734 elif options.m:
735 diff = difflib.HtmlDiff().make_file(fromlines, tolines, fromfile,
736 tofile, context=options.c,
737 numlines=n)
738 else:
739 diff = difflib.context_diff(fromlines, tolines, fromfile, tofile,
740 fromdate, todate, n=n)
741
742 # we're using writelines because diff is a generator
743 sys.stdout.writelines(diff)
744
745 if __name__ == '__main__':
746 main()