blob: ae3479d3d85e00cb839cd9b50e1dda90e995584f [file] [log] [blame]
Tim Peters9ae21482001-02-10 08:00:53 +00001"""
2Module difflib -- helpers for computing deltas between objects.
3
4Function get_close_matches(word, possibilities, n=3, cutoff=0.6):
Tim Peters9ae21482001-02-10 08:00:53 +00005 Use SequenceMatcher to return list of the best "good enough" matches.
6
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00007Function context_diff(a, b):
8 For two lists of strings, return a delta in context diff format.
9
Tim Peters5e824c32001-08-12 22:25:01 +000010Function ndiff(a, b):
11 Return a delta: the difference between `a` and `b` (lists of strings).
Tim Peters9ae21482001-02-10 08:00:53 +000012
Tim Peters5e824c32001-08-12 22:25:01 +000013Function restore(delta, which):
14 Return one of the two sequences that generated an ndiff delta.
Tim Peters9ae21482001-02-10 08:00:53 +000015
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +000016Function unified_diff(a, b):
17 For two lists of strings, return a delta in unified diff format.
18
Tim Peters5e824c32001-08-12 22:25:01 +000019Class SequenceMatcher:
20 A flexible class for comparing pairs of sequences of any type.
Tim Peters9ae21482001-02-10 08:00:53 +000021
Tim Peters5e824c32001-08-12 22:25:01 +000022Class Differ:
23 For producing human-readable deltas from sequences of lines of text.
Martin v. Löwise064b412004-08-29 16:34:40 +000024
25Class HtmlDiff:
26 For producing HTML side by side comparison with change highlights.
Tim Peters9ae21482001-02-10 08:00:53 +000027"""
28
Tim Peters5e824c32001-08-12 22:25:01 +000029__all__ = ['get_close_matches', 'ndiff', 'restore', 'SequenceMatcher',
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +000030 'Differ','IS_CHARACTER_JUNK', 'IS_LINE_JUNK', 'context_diff',
Christian Heimes25bb7832008-01-11 16:17:00 +000031 'unified_diff', 'HtmlDiff', 'Match']
Tim Peters5e824c32001-08-12 22:25:01 +000032
Raymond Hettingerae39fbd2014-08-03 22:40:59 -070033from heapq import nlargest as _nlargest
Christian Heimes25bb7832008-01-11 16:17:00 +000034from collections import namedtuple as _namedtuple
35
36Match = _namedtuple('Match', 'a b size')
Raymond Hettingerbb6b7342004-06-13 09:57:33 +000037
Neal Norwitze7dfe212003-07-01 14:59:46 +000038def _calculate_ratio(matches, length):
39 if length:
40 return 2.0 * matches / length
41 return 1.0
42
Tim Peters9ae21482001-02-10 08:00:53 +000043class SequenceMatcher:
Tim Peters5e824c32001-08-12 22:25:01 +000044
45 """
46 SequenceMatcher is a flexible class for comparing pairs of sequences of
47 any type, so long as the sequence elements are hashable. The basic
48 algorithm predates, and is a little fancier than, an algorithm
49 published in the late 1980's by Ratcliff and Obershelp under the
50 hyperbolic name "gestalt pattern matching". The basic idea is to find
51 the longest contiguous matching subsequence that contains no "junk"
52 elements (R-O doesn't address junk). The same idea is then applied
53 recursively to the pieces of the sequences to the left and to the right
54 of the matching subsequence. This does not yield minimal edit
55 sequences, but does tend to yield matches that "look right" to people.
56
57 SequenceMatcher tries to compute a "human-friendly diff" between two
58 sequences. Unlike e.g. UNIX(tm) diff, the fundamental notion is the
59 longest *contiguous* & junk-free matching subsequence. That's what
60 catches peoples' eyes. The Windows(tm) windiff has another interesting
61 notion, pairing up elements that appear uniquely in each sequence.
62 That, and the method here, appear to yield more intuitive difference
63 reports than does diff. This method appears to be the least vulnerable
64 to synching up on blocks of "junk lines", though (like blank lines in
65 ordinary text files, or maybe "<P>" lines in HTML files). That may be
66 because this is the only method of the 3 that has a *concept* of
67 "junk" <wink>.
68
69 Example, comparing two strings, and considering blanks to be "junk":
70
71 >>> s = SequenceMatcher(lambda x: x == " ",
72 ... "private Thread currentThread;",
73 ... "private volatile Thread currentThread;")
74 >>>
75
76 .ratio() returns a float in [0, 1], measuring the "similarity" of the
77 sequences. As a rule of thumb, a .ratio() value over 0.6 means the
78 sequences are close matches:
79
Guido van Rossumfff80df2007-02-09 20:33:44 +000080 >>> print(round(s.ratio(), 3))
Tim Peters5e824c32001-08-12 22:25:01 +000081 0.866
82 >>>
83
84 If you're only interested in where the sequences match,
85 .get_matching_blocks() is handy:
86
87 >>> for block in s.get_matching_blocks():
Guido van Rossumfff80df2007-02-09 20:33:44 +000088 ... print("a[%d] and b[%d] match for %d elements" % block)
Tim Peters5e824c32001-08-12 22:25:01 +000089 a[0] and b[0] match for 8 elements
Thomas Wouters0e3f5912006-08-11 14:57:12 +000090 a[8] and b[17] match for 21 elements
Tim Peters5e824c32001-08-12 22:25:01 +000091 a[29] and b[38] match for 0 elements
92
93 Note that the last tuple returned by .get_matching_blocks() is always a
94 dummy, (len(a), len(b), 0), and this is the only case in which the last
95 tuple element (number of elements matched) is 0.
96
97 If you want to know how to change the first sequence into the second,
98 use .get_opcodes():
99
100 >>> for opcode in s.get_opcodes():
Guido van Rossumfff80df2007-02-09 20:33:44 +0000101 ... print("%6s a[%d:%d] b[%d:%d]" % opcode)
Tim Peters5e824c32001-08-12 22:25:01 +0000102 equal a[0:8] b[0:8]
103 insert a[8:8] b[8:17]
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000104 equal a[8:29] b[17:38]
Tim Peters5e824c32001-08-12 22:25:01 +0000105
106 See the Differ class for a fancy human-friendly file differencer, which
107 uses SequenceMatcher both to compare sequences of lines, and to compare
108 sequences of characters within similar (near-matching) lines.
109
110 See also function get_close_matches() in this module, which shows how
111 simple code building on SequenceMatcher can be used to do useful work.
112
113 Timing: Basic R-O is cubic time worst case and quadratic time expected
114 case. SequenceMatcher is quadratic time for the worst case and has
115 expected-case behavior dependent in a complicated way on how many
116 elements the sequences have in common; best case time is linear.
117
118 Methods:
119
120 __init__(isjunk=None, a='', b='')
121 Construct a SequenceMatcher.
122
123 set_seqs(a, b)
124 Set the two sequences to be compared.
125
126 set_seq1(a)
127 Set the first sequence to be compared.
128
129 set_seq2(b)
130 Set the second sequence to be compared.
131
132 find_longest_match(alo, ahi, blo, bhi)
133 Find longest matching block in a[alo:ahi] and b[blo:bhi].
134
135 get_matching_blocks()
136 Return list of triples describing matching subsequences.
137
138 get_opcodes()
139 Return list of 5-tuples describing how to turn a into b.
140
141 ratio()
142 Return a measure of the sequences' similarity (float in [0,1]).
143
144 quick_ratio()
145 Return an upper bound on .ratio() relatively quickly.
146
147 real_quick_ratio()
148 Return an upper bound on ratio() very quickly.
149 """
150
Terry Reedy99f96372010-11-25 06:12:34 +0000151 def __init__(self, isjunk=None, a='', b='', autojunk=True):
Tim Peters9ae21482001-02-10 08:00:53 +0000152 """Construct a SequenceMatcher.
153
154 Optional arg isjunk is None (the default), or a one-argument
155 function that takes a sequence element and returns true iff the
Tim Peters5e824c32001-08-12 22:25:01 +0000156 element is junk. None is equivalent to passing "lambda x: 0", i.e.
Fred Drakef1da6282001-02-19 19:30:05 +0000157 no elements are considered to be junk. For example, pass
Tim Peters9ae21482001-02-10 08:00:53 +0000158 lambda x: x in " \\t"
159 if you're comparing lines as sequences of characters, and don't
160 want to synch up on blanks or hard tabs.
161
162 Optional arg a is the first of two sequences to be compared. By
163 default, an empty string. The elements of a must be hashable. See
164 also .set_seqs() and .set_seq1().
165
166 Optional arg b is the second of two sequences to be compared. By
Fred Drakef1da6282001-02-19 19:30:05 +0000167 default, an empty string. The elements of b must be hashable. See
Tim Peters9ae21482001-02-10 08:00:53 +0000168 also .set_seqs() and .set_seq2().
Terry Reedy99f96372010-11-25 06:12:34 +0000169
170 Optional arg autojunk should be set to False to disable the
171 "automatic junk heuristic" that treats popular elements as junk
172 (see module documentation for more information).
Tim Peters9ae21482001-02-10 08:00:53 +0000173 """
174
175 # Members:
176 # a
177 # first sequence
178 # b
179 # second sequence; differences are computed as "what do
180 # we need to do to 'a' to change it into 'b'?"
181 # b2j
182 # for x in b, b2j[x] is a list of the indices (into b)
Terry Reedybcd89882010-12-03 22:29:40 +0000183 # at which x appears; junk and popular elements do not appear
Tim Peters9ae21482001-02-10 08:00:53 +0000184 # fullbcount
185 # for x in b, fullbcount[x] == the number of times x
186 # appears in b; only materialized if really needed (used
187 # only for computing quick_ratio())
188 # matching_blocks
189 # a list of (i, j, k) triples, where a[i:i+k] == b[j:j+k];
190 # ascending & non-overlapping in i and in j; terminated by
191 # a dummy (len(a), len(b), 0) sentinel
192 # opcodes
193 # a list of (tag, i1, i2, j1, j2) tuples, where tag is
194 # one of
195 # 'replace' a[i1:i2] should be replaced by b[j1:j2]
196 # 'delete' a[i1:i2] should be deleted
197 # 'insert' b[j1:j2] should be inserted
198 # 'equal' a[i1:i2] == b[j1:j2]
199 # isjunk
200 # a user-supplied function taking a sequence element and
201 # returning true iff the element is "junk" -- this has
202 # subtle but helpful effects on the algorithm, which I'll
203 # get around to writing up someday <0.9 wink>.
Florent Xicluna7f1c15b2011-12-10 13:02:17 +0100204 # DON'T USE! Only __chain_b uses this. Use "in self.bjunk".
Terry Reedy74a7c672010-12-03 18:57:42 +0000205 # bjunk
206 # the items in b for which isjunk is True.
207 # bpopular
208 # nonjunk items in b treated as junk by the heuristic (if used).
Tim Peters9ae21482001-02-10 08:00:53 +0000209
210 self.isjunk = isjunk
211 self.a = self.b = None
Terry Reedy99f96372010-11-25 06:12:34 +0000212 self.autojunk = autojunk
Tim Peters9ae21482001-02-10 08:00:53 +0000213 self.set_seqs(a, b)
214
215 def set_seqs(self, a, b):
216 """Set the two sequences to be compared.
217
218 >>> s = SequenceMatcher()
219 >>> s.set_seqs("abcd", "bcde")
220 >>> s.ratio()
221 0.75
222 """
223
224 self.set_seq1(a)
225 self.set_seq2(b)
226
227 def set_seq1(self, a):
228 """Set the first sequence to be compared.
229
230 The second sequence to be compared is not changed.
231
232 >>> s = SequenceMatcher(None, "abcd", "bcde")
233 >>> s.ratio()
234 0.75
235 >>> s.set_seq1("bcde")
236 >>> s.ratio()
237 1.0
238 >>>
239
240 SequenceMatcher computes and caches detailed information about the
241 second sequence, so if you want to compare one sequence S against
242 many sequences, use .set_seq2(S) once and call .set_seq1(x)
243 repeatedly for each of the other sequences.
244
245 See also set_seqs() and set_seq2().
246 """
247
248 if a is self.a:
249 return
250 self.a = a
251 self.matching_blocks = self.opcodes = None
252
253 def set_seq2(self, b):
254 """Set the second sequence to be compared.
255
256 The first sequence to be compared is not changed.
257
258 >>> s = SequenceMatcher(None, "abcd", "bcde")
259 >>> s.ratio()
260 0.75
261 >>> s.set_seq2("abcd")
262 >>> s.ratio()
263 1.0
264 >>>
265
266 SequenceMatcher computes and caches detailed information about the
267 second sequence, so if you want to compare one sequence S against
268 many sequences, use .set_seq2(S) once and call .set_seq1(x)
269 repeatedly for each of the other sequences.
270
271 See also set_seqs() and set_seq1().
272 """
273
274 if b is self.b:
275 return
276 self.b = b
277 self.matching_blocks = self.opcodes = None
278 self.fullbcount = None
279 self.__chain_b()
280
281 # For each element x in b, set b2j[x] to a list of the indices in
282 # b where x appears; the indices are in increasing order; note that
283 # the number of times x appears in b is len(b2j[x]) ...
284 # when self.isjunk is defined, junk elements don't show up in this
285 # map at all, which stops the central find_longest_match method
286 # from starting any matching block at a junk element ...
Tim Peters81b92512002-04-29 01:37:32 +0000287 # b2j also does not contain entries for "popular" elements, meaning
Terry Reedy99f96372010-11-25 06:12:34 +0000288 # elements that account for more than 1 + 1% of the total elements, and
Tim Peters81b92512002-04-29 01:37:32 +0000289 # when the sequence is reasonably large (>= 200 elements); this can
290 # be viewed as an adaptive notion of semi-junk, and yields an enormous
291 # speedup when, e.g., comparing program files with hundreds of
292 # instances of "return NULL;" ...
Tim Peters9ae21482001-02-10 08:00:53 +0000293 # note that this is only called when b changes; so for cross-product
294 # kinds of matches, it's best to call set_seq2 once, then set_seq1
295 # repeatedly
296
297 def __chain_b(self):
298 # Because isjunk is a user-defined (not C) function, and we test
299 # for junk a LOT, it's important to minimize the number of calls.
300 # Before the tricks described here, __chain_b was by far the most
301 # time-consuming routine in the whole module! If anyone sees
302 # Jim Roskind, thank him again for profile.py -- I never would
303 # have guessed that.
304 # The first trick is to build b2j ignoring the possibility
305 # of junk. I.e., we don't call isjunk at all yet. Throwing
306 # out the junk later is much cheaper than building b2j "right"
307 # from the start.
308 b = self.b
309 self.b2j = b2j = {}
Terry Reedy99f96372010-11-25 06:12:34 +0000310
Tim Peters81b92512002-04-29 01:37:32 +0000311 for i, elt in enumerate(b):
Terry Reedy99f96372010-11-25 06:12:34 +0000312 indices = b2j.setdefault(elt, [])
313 indices.append(i)
Tim Peters9ae21482001-02-10 08:00:53 +0000314
Terry Reedy99f96372010-11-25 06:12:34 +0000315 # Purge junk elements
Terry Reedy74a7c672010-12-03 18:57:42 +0000316 self.bjunk = junk = set()
Tim Peters81b92512002-04-29 01:37:32 +0000317 isjunk = self.isjunk
Tim Peters9ae21482001-02-10 08:00:53 +0000318 if isjunk:
Terry Reedy17a59252010-12-15 20:18:10 +0000319 for elt in b2j.keys():
Terry Reedy99f96372010-11-25 06:12:34 +0000320 if isjunk(elt):
321 junk.add(elt)
Terry Reedy17a59252010-12-15 20:18:10 +0000322 for elt in junk: # separate loop avoids separate list of keys
323 del b2j[elt]
Tim Peters9ae21482001-02-10 08:00:53 +0000324
Terry Reedy99f96372010-11-25 06:12:34 +0000325 # Purge popular elements that are not junk
Terry Reedy74a7c672010-12-03 18:57:42 +0000326 self.bpopular = popular = set()
Terry Reedy99f96372010-11-25 06:12:34 +0000327 n = len(b)
328 if self.autojunk and n >= 200:
329 ntest = n // 100 + 1
Terry Reedy17a59252010-12-15 20:18:10 +0000330 for elt, idxs in b2j.items():
Terry Reedy99f96372010-11-25 06:12:34 +0000331 if len(idxs) > ntest:
332 popular.add(elt)
Terry Reedy17a59252010-12-15 20:18:10 +0000333 for elt in popular: # ditto; as fast for 1% deletion
334 del b2j[elt]
Terry Reedy99f96372010-11-25 06:12:34 +0000335
Tim Peters9ae21482001-02-10 08:00:53 +0000336 def find_longest_match(self, alo, ahi, blo, bhi):
337 """Find longest matching block in a[alo:ahi] and b[blo:bhi].
338
339 If isjunk is not defined:
340
341 Return (i,j,k) such that a[i:i+k] is equal to b[j:j+k], where
342 alo <= i <= i+k <= ahi
343 blo <= j <= j+k <= bhi
344 and for all (i',j',k') meeting those conditions,
345 k >= k'
346 i <= i'
347 and if i == i', j <= j'
348
349 In other words, of all maximal matching blocks, return one that
350 starts earliest in a, and of all those maximal matching blocks that
351 start earliest in a, return the one that starts earliest in b.
352
353 >>> s = SequenceMatcher(None, " abcd", "abcd abcd")
354 >>> s.find_longest_match(0, 5, 0, 9)
Christian Heimes25bb7832008-01-11 16:17:00 +0000355 Match(a=0, b=4, size=5)
Tim Peters9ae21482001-02-10 08:00:53 +0000356
357 If isjunk is defined, first the longest matching block is
358 determined as above, but with the additional restriction that no
359 junk element appears in the block. Then that block is extended as
360 far as possible by matching (only) junk elements on both sides. So
361 the resulting block never matches on junk except as identical junk
362 happens to be adjacent to an "interesting" match.
363
364 Here's the same example as before, but considering blanks to be
365 junk. That prevents " abcd" from matching the " abcd" at the tail
366 end of the second sequence directly. Instead only the "abcd" can
367 match, and matches the leftmost "abcd" in the second sequence:
368
369 >>> s = SequenceMatcher(lambda x: x==" ", " abcd", "abcd abcd")
370 >>> s.find_longest_match(0, 5, 0, 9)
Christian Heimes25bb7832008-01-11 16:17:00 +0000371 Match(a=1, b=0, size=4)
Tim Peters9ae21482001-02-10 08:00:53 +0000372
373 If no blocks match, return (alo, blo, 0).
374
375 >>> s = SequenceMatcher(None, "ab", "c")
376 >>> s.find_longest_match(0, 2, 0, 1)
Christian Heimes25bb7832008-01-11 16:17:00 +0000377 Match(a=0, b=0, size=0)
Tim Peters9ae21482001-02-10 08:00:53 +0000378 """
379
380 # CAUTION: stripping common prefix or suffix would be incorrect.
381 # E.g.,
382 # ab
383 # acab
384 # Longest matching block is "ab", but if common prefix is
385 # stripped, it's "a" (tied with "b"). UNIX(tm) diff does so
386 # strip, so ends up claiming that ab is changed to acab by
387 # inserting "ca" in the middle. That's minimal but unintuitive:
388 # "it's obvious" that someone inserted "ac" at the front.
389 # Windiff ends up at the same place as diff, but by pairing up
390 # the unique 'b's and then matching the first two 'a's.
391
Terry Reedybcd89882010-12-03 22:29:40 +0000392 a, b, b2j, isbjunk = self.a, self.b, self.b2j, self.bjunk.__contains__
Tim Peters9ae21482001-02-10 08:00:53 +0000393 besti, bestj, bestsize = alo, blo, 0
394 # find longest junk-free match
395 # during an iteration of the loop, j2len[j] = length of longest
396 # junk-free match ending with a[i-1] and b[j]
397 j2len = {}
398 nothing = []
Guido van Rossum805365e2007-05-07 22:24:25 +0000399 for i in range(alo, ahi):
Tim Peters9ae21482001-02-10 08:00:53 +0000400 # look at all instances of a[i] in b; note that because
401 # b2j has no junk keys, the loop is skipped if a[i] is junk
402 j2lenget = j2len.get
403 newj2len = {}
404 for j in b2j.get(a[i], nothing):
405 # a[i] matches b[j]
406 if j < blo:
407 continue
408 if j >= bhi:
409 break
410 k = newj2len[j] = j2lenget(j-1, 0) + 1
411 if k > bestsize:
412 besti, bestj, bestsize = i-k+1, j-k+1, k
413 j2len = newj2len
414
Tim Peters81b92512002-04-29 01:37:32 +0000415 # Extend the best by non-junk elements on each end. In particular,
416 # "popular" non-junk elements aren't in b2j, which greatly speeds
417 # the inner loop above, but also means "the best" match so far
418 # doesn't contain any junk *or* popular non-junk elements.
419 while besti > alo and bestj > blo and \
420 not isbjunk(b[bestj-1]) and \
421 a[besti-1] == b[bestj-1]:
422 besti, bestj, bestsize = besti-1, bestj-1, bestsize+1
423 while besti+bestsize < ahi and bestj+bestsize < bhi and \
424 not isbjunk(b[bestj+bestsize]) and \
425 a[besti+bestsize] == b[bestj+bestsize]:
426 bestsize += 1
427
Tim Peters9ae21482001-02-10 08:00:53 +0000428 # Now that we have a wholly interesting match (albeit possibly
429 # empty!), we may as well suck up the matching junk on each
430 # side of it too. Can't think of a good reason not to, and it
431 # saves post-processing the (possibly considerable) expense of
432 # figuring out what to do with it. In the case of an empty
433 # interesting match, this is clearly the right thing to do,
434 # because no other kind of match is possible in the regions.
435 while besti > alo and bestj > blo and \
436 isbjunk(b[bestj-1]) and \
437 a[besti-1] == b[bestj-1]:
438 besti, bestj, bestsize = besti-1, bestj-1, bestsize+1
439 while besti+bestsize < ahi and bestj+bestsize < bhi and \
440 isbjunk(b[bestj+bestsize]) and \
441 a[besti+bestsize] == b[bestj+bestsize]:
442 bestsize = bestsize + 1
443
Christian Heimes25bb7832008-01-11 16:17:00 +0000444 return Match(besti, bestj, bestsize)
Tim Peters9ae21482001-02-10 08:00:53 +0000445
446 def get_matching_blocks(self):
447 """Return list of triples describing matching subsequences.
448
449 Each triple is of the form (i, j, n), and means that
450 a[i:i+n] == b[j:j+n]. The triples are monotonically increasing in
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000451 i and in j. New in Python 2.5, it's also guaranteed that if
452 (i, j, n) and (i', j', n') are adjacent triples in the list, and
453 the second is not the last triple in the list, then i+n != i' or
454 j+n != j'. IOW, adjacent triples never describe adjacent equal
455 blocks.
Tim Peters9ae21482001-02-10 08:00:53 +0000456
457 The last triple is a dummy, (len(a), len(b), 0), and is the only
458 triple with n==0.
459
460 >>> s = SequenceMatcher(None, "abxcd", "abcd")
Christian Heimes25bb7832008-01-11 16:17:00 +0000461 >>> list(s.get_matching_blocks())
462 [Match(a=0, b=0, size=2), Match(a=3, b=2, size=2), Match(a=5, b=4, size=0)]
Tim Peters9ae21482001-02-10 08:00:53 +0000463 """
464
465 if self.matching_blocks is not None:
466 return self.matching_blocks
Tim Peters9ae21482001-02-10 08:00:53 +0000467 la, lb = len(self.a), len(self.b)
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000468
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000469 # This is most naturally expressed as a recursive algorithm, but
470 # at least one user bumped into extreme use cases that exceeded
471 # the recursion limit on their box. So, now we maintain a list
472 # ('queue`) of blocks we still need to look at, and append partial
473 # results to `matching_blocks` in a loop; the matches are sorted
474 # at the end.
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000475 queue = [(0, la, 0, lb)]
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000476 matching_blocks = []
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000477 while queue:
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000478 alo, ahi, blo, bhi = queue.pop()
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000479 i, j, k = x = self.find_longest_match(alo, ahi, blo, bhi)
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000480 # a[alo:i] vs b[blo:j] unknown
481 # a[i:i+k] same as b[j:j+k]
482 # a[i+k:ahi] vs b[j+k:bhi] unknown
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000483 if k: # if k is 0, there was no matching block
484 matching_blocks.append(x)
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000485 if alo < i and blo < j:
486 queue.append((alo, i, blo, j))
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000487 if i+k < ahi and j+k < bhi:
488 queue.append((i+k, ahi, j+k, bhi))
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000489 matching_blocks.sort()
Gustavo Niemeyer548148812006-01-31 18:34:13 +0000490
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000491 # It's possible that we have adjacent equal blocks in the
492 # matching_blocks list now. Starting with 2.5, this code was added
493 # to collapse them.
494 i1 = j1 = k1 = 0
495 non_adjacent = []
496 for i2, j2, k2 in matching_blocks:
497 # Is this block adjacent to i1, j1, k1?
498 if i1 + k1 == i2 and j1 + k1 == j2:
499 # Yes, so collapse them -- this just increases the length of
500 # the first block by the length of the second, and the first
501 # block so lengthened remains the block to compare against.
502 k1 += k2
503 else:
504 # Not adjacent. Remember the first block (k1==0 means it's
505 # the dummy we started with), and make the second block the
506 # new block to compare against.
507 if k1:
508 non_adjacent.append((i1, j1, k1))
509 i1, j1, k1 = i2, j2, k2
510 if k1:
511 non_adjacent.append((i1, j1, k1))
512
513 non_adjacent.append( (la, lb, 0) )
Raymond Hettingerfabefc32014-06-21 11:57:36 -0700514 self.matching_blocks = list(map(Match._make, non_adjacent))
515 return self.matching_blocks
Tim Peters9ae21482001-02-10 08:00:53 +0000516
Tim Peters9ae21482001-02-10 08:00:53 +0000517 def get_opcodes(self):
518 """Return list of 5-tuples describing how to turn a into b.
519
520 Each tuple is of the form (tag, i1, i2, j1, j2). The first tuple
521 has i1 == j1 == 0, and remaining tuples have i1 == the i2 from the
522 tuple preceding it, and likewise for j1 == the previous j2.
523
524 The tags are strings, with these meanings:
525
526 'replace': a[i1:i2] should be replaced by b[j1:j2]
527 'delete': a[i1:i2] should be deleted.
528 Note that j1==j2 in this case.
529 'insert': b[j1:j2] should be inserted at a[i1:i1].
530 Note that i1==i2 in this case.
531 'equal': a[i1:i2] == b[j1:j2]
532
533 >>> a = "qabxcd"
534 >>> b = "abycdf"
535 >>> s = SequenceMatcher(None, a, b)
536 >>> for tag, i1, i2, j1, j2 in s.get_opcodes():
Guido van Rossumfff80df2007-02-09 20:33:44 +0000537 ... print(("%7s a[%d:%d] (%s) b[%d:%d] (%s)" %
538 ... (tag, i1, i2, a[i1:i2], j1, j2, b[j1:j2])))
Tim Peters9ae21482001-02-10 08:00:53 +0000539 delete a[0:1] (q) b[0:0] ()
540 equal a[1:3] (ab) b[0:2] (ab)
541 replace a[3:4] (x) b[2:3] (y)
542 equal a[4:6] (cd) b[3:5] (cd)
543 insert a[6:6] () b[5:6] (f)
544 """
545
546 if self.opcodes is not None:
547 return self.opcodes
548 i = j = 0
549 self.opcodes = answer = []
550 for ai, bj, size in self.get_matching_blocks():
551 # invariant: we've pumped out correct diffs to change
552 # a[:i] into b[:j], and the next matching block is
553 # a[ai:ai+size] == b[bj:bj+size]. So we need to pump
554 # out a diff to change a[i:ai] into b[j:bj], pump out
555 # the matching block, and move (i,j) beyond the match
556 tag = ''
557 if i < ai and j < bj:
558 tag = 'replace'
559 elif i < ai:
560 tag = 'delete'
561 elif j < bj:
562 tag = 'insert'
563 if tag:
564 answer.append( (tag, i, ai, j, bj) )
565 i, j = ai+size, bj+size
566 # the list of matching blocks is terminated by a
567 # sentinel with size 0
568 if size:
569 answer.append( ('equal', ai, i, bj, j) )
570 return answer
571
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +0000572 def get_grouped_opcodes(self, n=3):
573 """ Isolate change clusters by eliminating ranges with no changes.
574
Ezio Melotti30b9d5d2013-08-17 15:50:46 +0300575 Return a generator of groups with up to n lines of context.
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +0000576 Each group is in the same format as returned by get_opcodes().
577
578 >>> from pprint import pprint
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000579 >>> a = list(map(str, range(1,40)))
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +0000580 >>> b = a[:]
581 >>> b[8:8] = ['i'] # Make an insertion
582 >>> b[20] += 'x' # Make a replacement
583 >>> b[23:28] = [] # Make a deletion
584 >>> b[30] += 'y' # Make another replacement
585 >>> pprint(list(SequenceMatcher(None,a,b).get_grouped_opcodes()))
586 [[('equal', 5, 8, 5, 8), ('insert', 8, 8, 8, 9), ('equal', 8, 11, 9, 12)],
587 [('equal', 16, 19, 17, 20),
588 ('replace', 19, 20, 20, 21),
589 ('equal', 20, 22, 21, 23),
590 ('delete', 22, 27, 23, 23),
591 ('equal', 27, 30, 23, 26)],
592 [('equal', 31, 34, 27, 30),
593 ('replace', 34, 35, 30, 31),
594 ('equal', 35, 38, 31, 34)]]
595 """
596
597 codes = self.get_opcodes()
Brett Cannond2c5b4b2004-07-10 23:54:07 +0000598 if not codes:
599 codes = [("equal", 0, 1, 0, 1)]
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +0000600 # Fixup leading and trailing groups if they show no changes.
601 if codes[0][0] == 'equal':
602 tag, i1, i2, j1, j2 = codes[0]
603 codes[0] = tag, max(i1, i2-n), i2, max(j1, j2-n), j2
604 if codes[-1][0] == 'equal':
605 tag, i1, i2, j1, j2 = codes[-1]
606 codes[-1] = tag, i1, min(i2, i1+n), j1, min(j2, j1+n)
607
608 nn = n + n
609 group = []
610 for tag, i1, i2, j1, j2 in codes:
611 # End the current group and start a new one whenever
612 # there is a large range with no changes.
613 if tag == 'equal' and i2-i1 > nn:
614 group.append((tag, i1, min(i2, i1+n), j1, min(j2, j1+n)))
615 yield group
616 group = []
617 i1, j1 = max(i1, i2-n), max(j1, j2-n)
618 group.append((tag, i1, i2, j1 ,j2))
619 if group and not (len(group)==1 and group[0][0] == 'equal'):
620 yield group
621
Tim Peters9ae21482001-02-10 08:00:53 +0000622 def ratio(self):
623 """Return a measure of the sequences' similarity (float in [0,1]).
624
625 Where T is the total number of elements in both sequences, and
Tim Petersbcc95cb2004-07-31 00:19:43 +0000626 M is the number of matches, this is 2.0*M / T.
Tim Peters9ae21482001-02-10 08:00:53 +0000627 Note that this is 1 if the sequences are identical, and 0 if
628 they have nothing in common.
629
630 .ratio() is expensive to compute if you haven't already computed
631 .get_matching_blocks() or .get_opcodes(), in which case you may
632 want to try .quick_ratio() or .real_quick_ratio() first to get an
633 upper bound.
634
635 >>> s = SequenceMatcher(None, "abcd", "bcde")
636 >>> s.ratio()
637 0.75
638 >>> s.quick_ratio()
639 0.75
640 >>> s.real_quick_ratio()
641 1.0
642 """
643
Guido van Rossum89da5d72006-08-22 00:21:25 +0000644 matches = sum(triple[-1] for triple in self.get_matching_blocks())
Neal Norwitze7dfe212003-07-01 14:59:46 +0000645 return _calculate_ratio(matches, len(self.a) + len(self.b))
Tim Peters9ae21482001-02-10 08:00:53 +0000646
647 def quick_ratio(self):
648 """Return an upper bound on ratio() relatively quickly.
649
650 This isn't defined beyond that it is an upper bound on .ratio(), and
651 is faster to compute.
652 """
653
654 # viewing a and b as multisets, set matches to the cardinality
655 # of their intersection; this counts the number of matches
656 # without regard to order, so is clearly an upper bound
657 if self.fullbcount is None:
658 self.fullbcount = fullbcount = {}
659 for elt in self.b:
660 fullbcount[elt] = fullbcount.get(elt, 0) + 1
661 fullbcount = self.fullbcount
662 # avail[x] is the number of times x appears in 'b' less the
663 # number of times we've seen it in 'a' so far ... kinda
664 avail = {}
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000665 availhas, matches = avail.__contains__, 0
Tim Peters9ae21482001-02-10 08:00:53 +0000666 for elt in self.a:
667 if availhas(elt):
668 numb = avail[elt]
669 else:
670 numb = fullbcount.get(elt, 0)
671 avail[elt] = numb - 1
672 if numb > 0:
673 matches = matches + 1
Neal Norwitze7dfe212003-07-01 14:59:46 +0000674 return _calculate_ratio(matches, len(self.a) + len(self.b))
Tim Peters9ae21482001-02-10 08:00:53 +0000675
676 def real_quick_ratio(self):
677 """Return an upper bound on ratio() very quickly.
678
679 This isn't defined beyond that it is an upper bound on .ratio(), and
680 is faster to compute than either .ratio() or .quick_ratio().
681 """
682
683 la, lb = len(self.a), len(self.b)
684 # can't have more matches than the number of elements in the
685 # shorter sequence
Neal Norwitze7dfe212003-07-01 14:59:46 +0000686 return _calculate_ratio(min(la, lb), la + lb)
Tim Peters9ae21482001-02-10 08:00:53 +0000687
688def get_close_matches(word, possibilities, n=3, cutoff=0.6):
689 """Use SequenceMatcher to return list of the best "good enough" matches.
690
691 word is a sequence for which close matches are desired (typically a
692 string).
693
694 possibilities is a list of sequences against which to match word
695 (typically a list of strings).
696
697 Optional arg n (default 3) is the maximum number of close matches to
698 return. n must be > 0.
699
700 Optional arg cutoff (default 0.6) is a float in [0, 1]. Possibilities
701 that don't score at least that similar to word are ignored.
702
703 The best (no more than n) matches among the possibilities are returned
704 in a list, sorted by similarity score, most similar first.
705
706 >>> get_close_matches("appel", ["ape", "apple", "peach", "puppy"])
707 ['apple', 'ape']
Tim Peters5e824c32001-08-12 22:25:01 +0000708 >>> import keyword as _keyword
709 >>> get_close_matches("wheel", _keyword.kwlist)
Tim Peters9ae21482001-02-10 08:00:53 +0000710 ['while']
Guido van Rossum486364b2007-06-30 05:01:58 +0000711 >>> get_close_matches("Apple", _keyword.kwlist)
Tim Peters9ae21482001-02-10 08:00:53 +0000712 []
Tim Peters5e824c32001-08-12 22:25:01 +0000713 >>> get_close_matches("accept", _keyword.kwlist)
Tim Peters9ae21482001-02-10 08:00:53 +0000714 ['except']
715 """
716
717 if not n > 0:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000718 raise ValueError("n must be > 0: %r" % (n,))
Tim Peters9ae21482001-02-10 08:00:53 +0000719 if not 0.0 <= cutoff <= 1.0:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000720 raise ValueError("cutoff must be in [0.0, 1.0]: %r" % (cutoff,))
Tim Peters9ae21482001-02-10 08:00:53 +0000721 result = []
722 s = SequenceMatcher()
723 s.set_seq2(word)
724 for x in possibilities:
725 s.set_seq1(x)
726 if s.real_quick_ratio() >= cutoff and \
727 s.quick_ratio() >= cutoff and \
728 s.ratio() >= cutoff:
729 result.append((s.ratio(), x))
Tim Peters9ae21482001-02-10 08:00:53 +0000730
Raymond Hettinger6b59f5f2003-10-16 05:53:16 +0000731 # Move the best scorers to head of list
Raymond Hettingerae39fbd2014-08-03 22:40:59 -0700732 result = _nlargest(n, result)
Raymond Hettinger6b59f5f2003-10-16 05:53:16 +0000733 # Strip scores for the best n matches
Raymond Hettingerbb6b7342004-06-13 09:57:33 +0000734 return [x for score, x in result]
Tim Peters5e824c32001-08-12 22:25:01 +0000735
736def _count_leading(line, ch):
737 """
738 Return number of `ch` characters at the start of `line`.
739
740 Example:
741
742 >>> _count_leading(' abc', ' ')
743 3
744 """
745
746 i, n = 0, len(line)
747 while i < n and line[i] == ch:
748 i += 1
749 return i
750
751class Differ:
752 r"""
753 Differ is a class for comparing sequences of lines of text, and
754 producing human-readable differences or deltas. Differ uses
755 SequenceMatcher both to compare sequences of lines, and to compare
756 sequences of characters within similar (near-matching) lines.
757
758 Each line of a Differ delta begins with a two-letter code:
759
760 '- ' line unique to sequence 1
761 '+ ' line unique to sequence 2
762 ' ' line common to both sequences
763 '? ' line not present in either input sequence
764
765 Lines beginning with '? ' attempt to guide the eye to intraline
766 differences, and were not present in either input sequence. These lines
767 can be confusing if the sequences contain tab characters.
768
769 Note that Differ makes no claim to produce a *minimal* diff. To the
770 contrary, minimal diffs are often counter-intuitive, because they synch
771 up anywhere possible, sometimes accidental matches 100 pages apart.
772 Restricting synch points to contiguous matches preserves some notion of
773 locality, at the occasional cost of producing a longer diff.
774
775 Example: Comparing two texts.
776
777 First we set up the texts, sequences of individual single-line strings
778 ending with newlines (such sequences can also be obtained from the
779 `readlines()` method of file-like objects):
780
781 >>> text1 = ''' 1. Beautiful is better than ugly.
782 ... 2. Explicit is better than implicit.
783 ... 3. Simple is better than complex.
784 ... 4. Complex is better than complicated.
Ezio Melottid8b509b2011-09-28 17:37:55 +0300785 ... '''.splitlines(keepends=True)
Tim Peters5e824c32001-08-12 22:25:01 +0000786 >>> len(text1)
787 4
788 >>> text1[0][-1]
789 '\n'
790 >>> text2 = ''' 1. Beautiful is better than ugly.
791 ... 3. Simple is better than complex.
792 ... 4. Complicated is better than complex.
793 ... 5. Flat is better than nested.
Ezio Melottid8b509b2011-09-28 17:37:55 +0300794 ... '''.splitlines(keepends=True)
Tim Peters5e824c32001-08-12 22:25:01 +0000795
796 Next we instantiate a Differ object:
797
798 >>> d = Differ()
799
800 Note that when instantiating a Differ object we may pass functions to
801 filter out line and character 'junk'. See Differ.__init__ for details.
802
803 Finally, we compare the two:
804
Tim Peters8a9c2842001-09-22 21:30:22 +0000805 >>> result = list(d.compare(text1, text2))
Tim Peters5e824c32001-08-12 22:25:01 +0000806
807 'result' is a list of strings, so let's pretty-print it:
808
809 >>> from pprint import pprint as _pprint
810 >>> _pprint(result)
811 [' 1. Beautiful is better than ugly.\n',
812 '- 2. Explicit is better than implicit.\n',
813 '- 3. Simple is better than complex.\n',
814 '+ 3. Simple is better than complex.\n',
815 '? ++\n',
816 '- 4. Complex is better than complicated.\n',
817 '? ^ ---- ^\n',
818 '+ 4. Complicated is better than complex.\n',
819 '? ++++ ^ ^\n',
820 '+ 5. Flat is better than nested.\n']
821
822 As a single multi-line string it looks like this:
823
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000824 >>> print(''.join(result), end="")
Tim Peters5e824c32001-08-12 22:25:01 +0000825 1. Beautiful is better than ugly.
826 - 2. Explicit is better than implicit.
827 - 3. Simple is better than complex.
828 + 3. Simple is better than complex.
829 ? ++
830 - 4. Complex is better than complicated.
831 ? ^ ---- ^
832 + 4. Complicated is better than complex.
833 ? ++++ ^ ^
834 + 5. Flat is better than nested.
835
836 Methods:
837
838 __init__(linejunk=None, charjunk=None)
839 Construct a text differencer, with optional filters.
840
841 compare(a, b)
Tim Peters8a9c2842001-09-22 21:30:22 +0000842 Compare two sequences of lines; generate the resulting delta.
Tim Peters5e824c32001-08-12 22:25:01 +0000843 """
844
845 def __init__(self, linejunk=None, charjunk=None):
846 """
847 Construct a text differencer, with optional filters.
848
849 The two optional keyword parameters are for filter functions:
850
851 - `linejunk`: A function that should accept a single string argument,
852 and return true iff the string is junk. The module-level function
853 `IS_LINE_JUNK` may be used to filter out lines without visible
Tim Peters81b92512002-04-29 01:37:32 +0000854 characters, except for at most one splat ('#'). It is recommended
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -0400855 to leave linejunk None; the underlying SequenceMatcher class has
856 an adaptive notion of "noise" lines that's better than any static
857 definition the author has ever been able to craft.
Tim Peters5e824c32001-08-12 22:25:01 +0000858
859 - `charjunk`: A function that should accept a string of length 1. The
860 module-level function `IS_CHARACTER_JUNK` may be used to filter out
861 whitespace characters (a blank or tab; **note**: bad idea to include
Tim Peters81b92512002-04-29 01:37:32 +0000862 newline in this!). Use of IS_CHARACTER_JUNK is recommended.
Tim Peters5e824c32001-08-12 22:25:01 +0000863 """
864
865 self.linejunk = linejunk
866 self.charjunk = charjunk
Tim Peters5e824c32001-08-12 22:25:01 +0000867
868 def compare(self, a, b):
869 r"""
Tim Peters8a9c2842001-09-22 21:30:22 +0000870 Compare two sequences of lines; generate the resulting delta.
Tim Peters5e824c32001-08-12 22:25:01 +0000871
872 Each sequence must contain individual single-line strings ending with
873 newlines. Such sequences can be obtained from the `readlines()` method
Tim Peters8a9c2842001-09-22 21:30:22 +0000874 of file-like objects. The delta generated also consists of newline-
875 terminated strings, ready to be printed as-is via the writeline()
Tim Peters5e824c32001-08-12 22:25:01 +0000876 method of a file-like object.
877
878 Example:
879
Ezio Melottid8b509b2011-09-28 17:37:55 +0300880 >>> print(''.join(Differ().compare('one\ntwo\nthree\n'.splitlines(True),
881 ... 'ore\ntree\nemu\n'.splitlines(True))),
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000882 ... end="")
Tim Peters5e824c32001-08-12 22:25:01 +0000883 - one
884 ? ^
885 + ore
886 ? ^
887 - two
888 - three
889 ? -
890 + tree
891 + emu
892 """
893
894 cruncher = SequenceMatcher(self.linejunk, a, b)
895 for tag, alo, ahi, blo, bhi in cruncher.get_opcodes():
896 if tag == 'replace':
Tim Peters8a9c2842001-09-22 21:30:22 +0000897 g = self._fancy_replace(a, alo, ahi, b, blo, bhi)
Tim Peters5e824c32001-08-12 22:25:01 +0000898 elif tag == 'delete':
Tim Peters8a9c2842001-09-22 21:30:22 +0000899 g = self._dump('-', a, alo, ahi)
Tim Peters5e824c32001-08-12 22:25:01 +0000900 elif tag == 'insert':
Tim Peters8a9c2842001-09-22 21:30:22 +0000901 g = self._dump('+', b, blo, bhi)
Tim Peters5e824c32001-08-12 22:25:01 +0000902 elif tag == 'equal':
Tim Peters8a9c2842001-09-22 21:30:22 +0000903 g = self._dump(' ', a, alo, ahi)
Tim Peters5e824c32001-08-12 22:25:01 +0000904 else:
Collin Winterce36ad82007-08-30 01:19:48 +0000905 raise ValueError('unknown tag %r' % (tag,))
Tim Peters8a9c2842001-09-22 21:30:22 +0000906
Philip Jenvey4993cc02012-10-01 12:53:43 -0700907 yield from g
Tim Peters5e824c32001-08-12 22:25:01 +0000908
909 def _dump(self, tag, x, lo, hi):
Tim Peters8a9c2842001-09-22 21:30:22 +0000910 """Generate comparison results for a same-tagged range."""
Guido van Rossum805365e2007-05-07 22:24:25 +0000911 for i in range(lo, hi):
Tim Peters8a9c2842001-09-22 21:30:22 +0000912 yield '%s %s' % (tag, x[i])
Tim Peters5e824c32001-08-12 22:25:01 +0000913
914 def _plain_replace(self, a, alo, ahi, b, blo, bhi):
915 assert alo < ahi and blo < bhi
916 # dump the shorter block first -- reduces the burden on short-term
917 # memory if the blocks are of very different sizes
918 if bhi - blo < ahi - alo:
Tim Peters8a9c2842001-09-22 21:30:22 +0000919 first = self._dump('+', b, blo, bhi)
920 second = self._dump('-', a, alo, ahi)
Tim Peters5e824c32001-08-12 22:25:01 +0000921 else:
Tim Peters8a9c2842001-09-22 21:30:22 +0000922 first = self._dump('-', a, alo, ahi)
923 second = self._dump('+', b, blo, bhi)
924
925 for g in first, second:
Philip Jenvey4993cc02012-10-01 12:53:43 -0700926 yield from g
Tim Peters5e824c32001-08-12 22:25:01 +0000927
928 def _fancy_replace(self, a, alo, ahi, b, blo, bhi):
929 r"""
930 When replacing one block of lines with another, search the blocks
931 for *similar* lines; the best-matching pair (if any) is used as a
932 synch point, and intraline difference marking is done on the
933 similar pair. Lots of work, but often worth it.
934
935 Example:
936
937 >>> d = Differ()
Raymond Hettinger83325e92003-07-16 04:32:32 +0000938 >>> results = d._fancy_replace(['abcDefghiJkl\n'], 0, 1,
939 ... ['abcdefGhijkl\n'], 0, 1)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000940 >>> print(''.join(results), end="")
Tim Peters5e824c32001-08-12 22:25:01 +0000941 - abcDefghiJkl
942 ? ^ ^ ^
943 + abcdefGhijkl
944 ? ^ ^ ^
945 """
946
Tim Peters5e824c32001-08-12 22:25:01 +0000947 # don't synch up unless the lines have a similarity score of at
948 # least cutoff; best_ratio tracks the best score seen so far
949 best_ratio, cutoff = 0.74, 0.75
950 cruncher = SequenceMatcher(self.charjunk)
951 eqi, eqj = None, None # 1st indices of equal lines (if any)
952
953 # search for the pair that matches best without being identical
954 # (identical lines must be junk lines, & we don't want to synch up
955 # on junk -- unless we have to)
Guido van Rossum805365e2007-05-07 22:24:25 +0000956 for j in range(blo, bhi):
Tim Peters5e824c32001-08-12 22:25:01 +0000957 bj = b[j]
958 cruncher.set_seq2(bj)
Guido van Rossum805365e2007-05-07 22:24:25 +0000959 for i in range(alo, ahi):
Tim Peters5e824c32001-08-12 22:25:01 +0000960 ai = a[i]
961 if ai == bj:
962 if eqi is None:
963 eqi, eqj = i, j
964 continue
965 cruncher.set_seq1(ai)
966 # computing similarity is expensive, so use the quick
967 # upper bounds first -- have seen this speed up messy
968 # compares by a factor of 3.
969 # note that ratio() is only expensive to compute the first
970 # time it's called on a sequence pair; the expensive part
971 # of the computation is cached by cruncher
972 if cruncher.real_quick_ratio() > best_ratio and \
973 cruncher.quick_ratio() > best_ratio and \
974 cruncher.ratio() > best_ratio:
975 best_ratio, best_i, best_j = cruncher.ratio(), i, j
976 if best_ratio < cutoff:
977 # no non-identical "pretty close" pair
978 if eqi is None:
979 # no identical pair either -- treat it as a straight replace
Philip Jenvey4993cc02012-10-01 12:53:43 -0700980 yield from self._plain_replace(a, alo, ahi, b, blo, bhi)
Tim Peters5e824c32001-08-12 22:25:01 +0000981 return
982 # no close pair, but an identical pair -- synch up on that
983 best_i, best_j, best_ratio = eqi, eqj, 1.0
984 else:
985 # there's a close pair, so forget the identical pair (if any)
986 eqi = None
987
988 # a[best_i] very similar to b[best_j]; eqi is None iff they're not
989 # identical
Tim Peters5e824c32001-08-12 22:25:01 +0000990
991 # pump out diffs from before the synch point
Philip Jenvey4993cc02012-10-01 12:53:43 -0700992 yield from self._fancy_helper(a, alo, best_i, b, blo, best_j)
Tim Peters5e824c32001-08-12 22:25:01 +0000993
994 # do intraline marking on the synch pair
995 aelt, belt = a[best_i], b[best_j]
996 if eqi is None:
997 # pump out a '-', '?', '+', '?' quad for the synched lines
998 atags = btags = ""
999 cruncher.set_seqs(aelt, belt)
1000 for tag, ai1, ai2, bj1, bj2 in cruncher.get_opcodes():
1001 la, lb = ai2 - ai1, bj2 - bj1
1002 if tag == 'replace':
1003 atags += '^' * la
1004 btags += '^' * lb
1005 elif tag == 'delete':
1006 atags += '-' * la
1007 elif tag == 'insert':
1008 btags += '+' * lb
1009 elif tag == 'equal':
1010 atags += ' ' * la
1011 btags += ' ' * lb
1012 else:
Collin Winterce36ad82007-08-30 01:19:48 +00001013 raise ValueError('unknown tag %r' % (tag,))
Philip Jenvey4993cc02012-10-01 12:53:43 -07001014 yield from self._qformat(aelt, belt, atags, btags)
Tim Peters5e824c32001-08-12 22:25:01 +00001015 else:
1016 # the synch pair is identical
Tim Peters8a9c2842001-09-22 21:30:22 +00001017 yield ' ' + aelt
Tim Peters5e824c32001-08-12 22:25:01 +00001018
1019 # pump out diffs from after the synch point
Philip Jenvey4993cc02012-10-01 12:53:43 -07001020 yield from self._fancy_helper(a, best_i+1, ahi, b, best_j+1, bhi)
Tim Peters5e824c32001-08-12 22:25:01 +00001021
1022 def _fancy_helper(self, a, alo, ahi, b, blo, bhi):
Tim Peters8a9c2842001-09-22 21:30:22 +00001023 g = []
Tim Peters5e824c32001-08-12 22:25:01 +00001024 if alo < ahi:
1025 if blo < bhi:
Tim Peters8a9c2842001-09-22 21:30:22 +00001026 g = self._fancy_replace(a, alo, ahi, b, blo, bhi)
Tim Peters5e824c32001-08-12 22:25:01 +00001027 else:
Tim Peters8a9c2842001-09-22 21:30:22 +00001028 g = self._dump('-', a, alo, ahi)
Tim Peters5e824c32001-08-12 22:25:01 +00001029 elif blo < bhi:
Tim Peters8a9c2842001-09-22 21:30:22 +00001030 g = self._dump('+', b, blo, bhi)
1031
Philip Jenvey4993cc02012-10-01 12:53:43 -07001032 yield from g
Tim Peters5e824c32001-08-12 22:25:01 +00001033
1034 def _qformat(self, aline, bline, atags, btags):
1035 r"""
1036 Format "?" output and deal with leading tabs.
1037
1038 Example:
1039
1040 >>> d = Differ()
Senthil Kumaran758025c2009-11-23 19:02:52 +00001041 >>> results = d._qformat('\tabcDefghiJkl\n', '\tabcdefGhijkl\n',
1042 ... ' ^ ^ ^ ', ' ^ ^ ^ ')
Guido van Rossumfff80df2007-02-09 20:33:44 +00001043 >>> for line in results: print(repr(line))
1044 ...
Tim Peters5e824c32001-08-12 22:25:01 +00001045 '- \tabcDefghiJkl\n'
1046 '? \t ^ ^ ^\n'
Senthil Kumaran758025c2009-11-23 19:02:52 +00001047 '+ \tabcdefGhijkl\n'
1048 '? \t ^ ^ ^\n'
Tim Peters5e824c32001-08-12 22:25:01 +00001049 """
1050
1051 # Can hurt, but will probably help most of the time.
1052 common = min(_count_leading(aline, "\t"),
1053 _count_leading(bline, "\t"))
1054 common = min(common, _count_leading(atags[:common], " "))
Senthil Kumaran758025c2009-11-23 19:02:52 +00001055 common = min(common, _count_leading(btags[:common], " "))
Tim Peters5e824c32001-08-12 22:25:01 +00001056 atags = atags[common:].rstrip()
1057 btags = btags[common:].rstrip()
1058
Tim Peters8a9c2842001-09-22 21:30:22 +00001059 yield "- " + aline
Tim Peters5e824c32001-08-12 22:25:01 +00001060 if atags:
Tim Peters527e64f2001-10-04 05:36:56 +00001061 yield "? %s%s\n" % ("\t" * common, atags)
Tim Peters5e824c32001-08-12 22:25:01 +00001062
Tim Peters8a9c2842001-09-22 21:30:22 +00001063 yield "+ " + bline
Tim Peters5e824c32001-08-12 22:25:01 +00001064 if btags:
Tim Peters8a9c2842001-09-22 21:30:22 +00001065 yield "? %s%s\n" % ("\t" * common, btags)
Tim Peters5e824c32001-08-12 22:25:01 +00001066
1067# With respect to junk, an earlier version of ndiff simply refused to
1068# *start* a match with a junk element. The result was cases like this:
1069# before: private Thread currentThread;
1070# after: private volatile Thread currentThread;
1071# If you consider whitespace to be junk, the longest contiguous match
1072# not starting with junk is "e Thread currentThread". So ndiff reported
1073# that "e volatil" was inserted between the 't' and the 'e' in "private".
1074# While an accurate view, to people that's absurd. The current version
1075# looks for matching blocks that are entirely junk-free, then extends the
1076# longest one of those as far as possible but only with matching junk.
1077# So now "currentThread" is matched, then extended to suck up the
1078# preceding blank; then "private" is matched, and extended to suck up the
1079# following blank; then "Thread" is matched; and finally ndiff reports
1080# that "volatile " was inserted before "Thread". The only quibble
1081# remaining is that perhaps it was really the case that " volatile"
1082# was inserted after "private". I can live with that <wink>.
1083
1084import re
1085
1086def IS_LINE_JUNK(line, pat=re.compile(r"\s*#?\s*$").match):
1087 r"""
1088 Return 1 for ignorable line: iff `line` is blank or contains a single '#'.
1089
1090 Examples:
1091
1092 >>> IS_LINE_JUNK('\n')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001093 True
Tim Peters5e824c32001-08-12 22:25:01 +00001094 >>> IS_LINE_JUNK(' # \n')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001095 True
Tim Peters5e824c32001-08-12 22:25:01 +00001096 >>> IS_LINE_JUNK('hello\n')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001097 False
Tim Peters5e824c32001-08-12 22:25:01 +00001098 """
1099
1100 return pat(line) is not None
1101
1102def IS_CHARACTER_JUNK(ch, ws=" \t"):
1103 r"""
1104 Return 1 for ignorable character: iff `ch` is a space or tab.
1105
1106 Examples:
1107
1108 >>> IS_CHARACTER_JUNK(' ')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001109 True
Tim Peters5e824c32001-08-12 22:25:01 +00001110 >>> IS_CHARACTER_JUNK('\t')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001111 True
Tim Peters5e824c32001-08-12 22:25:01 +00001112 >>> IS_CHARACTER_JUNK('\n')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001113 False
Tim Peters5e824c32001-08-12 22:25:01 +00001114 >>> IS_CHARACTER_JUNK('x')
Guido van Rossum77f6a652002-04-03 22:41:51 +00001115 False
Tim Peters5e824c32001-08-12 22:25:01 +00001116 """
1117
1118 return ch in ws
1119
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001120
Raymond Hettinger9180deb2011-04-12 15:25:30 -07001121########################################################################
1122### Unified Diff
1123########################################################################
1124
1125def _format_range_unified(start, stop):
Raymond Hettinger49353d02011-04-11 12:40:58 -07001126 'Convert range to the "ed" format'
1127 # Per the diff spec at http://www.unix.org/single_unix_specification/
1128 beginning = start + 1 # lines start numbering with one
1129 length = stop - start
1130 if length == 1:
1131 return '{}'.format(beginning)
1132 if not length:
1133 beginning -= 1 # empty ranges begin at line just before the range
1134 return '{},{}'.format(beginning, length)
1135
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001136def unified_diff(a, b, fromfile='', tofile='', fromfiledate='',
1137 tofiledate='', n=3, lineterm='\n'):
1138 r"""
1139 Compare two sequences of lines; generate the delta as a unified diff.
1140
1141 Unified diffs are a compact way of showing line changes and a few
1142 lines of context. The number of context lines is set by 'n' which
1143 defaults to three.
1144
Raymond Hettinger0887c732003-06-17 16:53:25 +00001145 By default, the diff control lines (those with ---, +++, or @@) are
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001146 created with a trailing newline. This is helpful so that inputs
1147 created from file.readlines() result in diffs that are suitable for
1148 file.writelines() since both the inputs and outputs have trailing
1149 newlines.
1150
1151 For inputs that do not have trailing newlines, set the lineterm
1152 argument to "" so that the output will be uniformly newline free.
1153
1154 The unidiff format normally has a header for filenames and modification
1155 times. Any or all of these may be specified using strings for
R. David Murrayb2416e52010-04-12 16:58:02 +00001156 'fromfile', 'tofile', 'fromfiledate', and 'tofiledate'.
1157 The modification times are normally expressed in the ISO 8601 format.
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001158
1159 Example:
1160
1161 >>> for line in unified_diff('one two three four'.split(),
1162 ... 'zero one tree four'.split(), 'Original', 'Current',
R. David Murrayb2416e52010-04-12 16:58:02 +00001163 ... '2005-01-26 23:30:50', '2010-04-02 10:20:52',
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001164 ... lineterm=''):
R. David Murrayb2416e52010-04-12 16:58:02 +00001165 ... print(line) # doctest: +NORMALIZE_WHITESPACE
1166 --- Original 2005-01-26 23:30:50
1167 +++ Current 2010-04-02 10:20:52
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001168 @@ -1,4 +1,4 @@
1169 +zero
1170 one
1171 -two
1172 -three
1173 +tree
1174 four
1175 """
1176
1177 started = False
1178 for group in SequenceMatcher(None,a,b).get_grouped_opcodes(n):
1179 if not started:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001180 started = True
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001181 fromdate = '\t{}'.format(fromfiledate) if fromfiledate else ''
1182 todate = '\t{}'.format(tofiledate) if tofiledate else ''
1183 yield '--- {}{}{}'.format(fromfile, fromdate, lineterm)
1184 yield '+++ {}{}{}'.format(tofile, todate, lineterm)
Raymond Hettinger49353d02011-04-11 12:40:58 -07001185
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001186 first, last = group[0], group[-1]
Raymond Hettinger9180deb2011-04-12 15:25:30 -07001187 file1_range = _format_range_unified(first[1], last[2])
1188 file2_range = _format_range_unified(first[3], last[4])
Raymond Hettinger49353d02011-04-11 12:40:58 -07001189 yield '@@ -{} +{} @@{}'.format(file1_range, file2_range, lineterm)
1190
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001191 for tag, i1, i2, j1, j2 in group:
1192 if tag == 'equal':
1193 for line in a[i1:i2]:
1194 yield ' ' + line
1195 continue
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001196 if tag in {'replace', 'delete'}:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001197 for line in a[i1:i2]:
1198 yield '-' + line
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001199 if tag in {'replace', 'insert'}:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001200 for line in b[j1:j2]:
1201 yield '+' + line
1202
Raymond Hettinger9180deb2011-04-12 15:25:30 -07001203
1204########################################################################
1205### Context Diff
1206########################################################################
1207
1208def _format_range_context(start, stop):
1209 'Convert range to the "ed" format'
1210 # Per the diff spec at http://www.unix.org/single_unix_specification/
1211 beginning = start + 1 # lines start numbering with one
1212 length = stop - start
1213 if not length:
1214 beginning -= 1 # empty ranges begin at line just before the range
1215 if length <= 1:
1216 return '{}'.format(beginning)
1217 return '{},{}'.format(beginning, beginning + length - 1)
1218
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001219# See http://www.unix.org/single_unix_specification/
1220def context_diff(a, b, fromfile='', tofile='',
1221 fromfiledate='', tofiledate='', n=3, lineterm='\n'):
1222 r"""
1223 Compare two sequences of lines; generate the delta as a context diff.
1224
1225 Context diffs are a compact way of showing line changes and a few
1226 lines of context. The number of context lines is set by 'n' which
1227 defaults to three.
1228
1229 By default, the diff control lines (those with *** or ---) are
1230 created with a trailing newline. This is helpful so that inputs
1231 created from file.readlines() result in diffs that are suitable for
1232 file.writelines() since both the inputs and outputs have trailing
1233 newlines.
1234
1235 For inputs that do not have trailing newlines, set the lineterm
1236 argument to "" so that the output will be uniformly newline free.
1237
1238 The context diff format normally has a header for filenames and
1239 modification times. Any or all of these may be specified using
1240 strings for 'fromfile', 'tofile', 'fromfiledate', and 'tofiledate'.
R. David Murrayb2416e52010-04-12 16:58:02 +00001241 The modification times are normally expressed in the ISO 8601 format.
1242 If not specified, the strings default to blanks.
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001243
1244 Example:
1245
Ezio Melottid8b509b2011-09-28 17:37:55 +03001246 >>> print(''.join(context_diff('one\ntwo\nthree\nfour\n'.splitlines(True),
1247 ... 'zero\none\ntree\nfour\n'.splitlines(True), 'Original', 'Current')),
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001248 ... end="")
R. David Murrayb2416e52010-04-12 16:58:02 +00001249 *** Original
1250 --- Current
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001251 ***************
1252 *** 1,4 ****
1253 one
1254 ! two
1255 ! three
1256 four
1257 --- 1,4 ----
1258 + zero
1259 one
1260 ! tree
1261 four
1262 """
1263
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001264 prefix = dict(insert='+ ', delete='- ', replace='! ', equal=' ')
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001265 started = False
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001266 for group in SequenceMatcher(None,a,b).get_grouped_opcodes(n):
1267 if not started:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001268 started = True
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001269 fromdate = '\t{}'.format(fromfiledate) if fromfiledate else ''
1270 todate = '\t{}'.format(tofiledate) if tofiledate else ''
1271 yield '*** {}{}{}'.format(fromfile, fromdate, lineterm)
1272 yield '--- {}{}{}'.format(tofile, todate, lineterm)
Raymond Hettinger7f2d3022003-06-08 19:38:42 +00001273
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001274 first, last = group[0], group[-1]
Raymond Hettinger49353d02011-04-11 12:40:58 -07001275 yield '***************' + lineterm
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001276
Raymond Hettinger9180deb2011-04-12 15:25:30 -07001277 file1_range = _format_range_context(first[1], last[2])
Raymond Hettinger49353d02011-04-11 12:40:58 -07001278 yield '*** {} ****{}'.format(file1_range, lineterm)
1279
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001280 if any(tag in {'replace', 'delete'} for tag, _, _, _, _ in group):
Raymond Hettinger7f2d3022003-06-08 19:38:42 +00001281 for tag, i1, i2, _, _ in group:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001282 if tag != 'insert':
1283 for line in a[i1:i2]:
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001284 yield prefix[tag] + line
Raymond Hettinger7f2d3022003-06-08 19:38:42 +00001285
Raymond Hettinger9180deb2011-04-12 15:25:30 -07001286 file2_range = _format_range_context(first[3], last[4])
Raymond Hettinger49353d02011-04-11 12:40:58 -07001287 yield '--- {} ----{}'.format(file2_range, lineterm)
1288
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001289 if any(tag in {'replace', 'insert'} for tag, _, _, _, _ in group):
Raymond Hettinger7f2d3022003-06-08 19:38:42 +00001290 for tag, _, _, j1, j2 in group:
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001291 if tag != 'delete':
1292 for line in b[j1:j2]:
Raymond Hettinger47e120e2011-04-10 17:14:56 -07001293 yield prefix[tag] + line
Raymond Hettingerf0b1a1f2003-06-08 11:07:08 +00001294
Tim Peters81b92512002-04-29 01:37:32 +00001295def ndiff(a, b, linejunk=None, charjunk=IS_CHARACTER_JUNK):
Tim Peters5e824c32001-08-12 22:25:01 +00001296 r"""
1297 Compare `a` and `b` (lists of strings); return a `Differ`-style delta.
1298
1299 Optional keyword parameters `linejunk` and `charjunk` are for filter
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -04001300 functions, or can be None:
Tim Peters5e824c32001-08-12 22:25:01 +00001301
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -04001302 - linejunk: A function that should accept a single string argument and
Tim Peters81b92512002-04-29 01:37:32 +00001303 return true iff the string is junk. The default is None, and is
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -04001304 recommended; the underlying SequenceMatcher class has an adaptive
1305 notion of "noise" lines.
Tim Peters5e824c32001-08-12 22:25:01 +00001306
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -04001307 - charjunk: A function that accepts a character (string of length
1308 1), and returns true iff the character is junk. The default is
1309 the module-level function IS_CHARACTER_JUNK, which filters out
1310 whitespace characters (a blank or tab; note: it's a bad idea to
1311 include newline in this!).
Tim Peters5e824c32001-08-12 22:25:01 +00001312
1313 Tools/scripts/ndiff.py is a command-line front-end to this function.
1314
1315 Example:
1316
Ezio Melottid8b509b2011-09-28 17:37:55 +03001317 >>> diff = ndiff('one\ntwo\nthree\n'.splitlines(keepends=True),
1318 ... 'ore\ntree\nemu\n'.splitlines(keepends=True))
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001319 >>> print(''.join(diff), end="")
Tim Peters5e824c32001-08-12 22:25:01 +00001320 - one
1321 ? ^
1322 + ore
1323 ? ^
1324 - two
1325 - three
1326 ? -
1327 + tree
1328 + emu
1329 """
1330 return Differ(linejunk, charjunk).compare(a, b)
1331
Martin v. Löwise064b412004-08-29 16:34:40 +00001332def _mdiff(fromlines, tolines, context=None, linejunk=None,
1333 charjunk=IS_CHARACTER_JUNK):
Thomas Wouters902d6eb2007-01-09 23:18:33 +00001334 r"""Returns generator yielding marked up from/to side by side differences.
Martin v. Löwise064b412004-08-29 16:34:40 +00001335
1336 Arguments:
1337 fromlines -- list of text lines to compared to tolines
1338 tolines -- list of text lines to be compared to fromlines
1339 context -- number of context lines to display on each side of difference,
1340 if None, all from/to text lines will be generated.
1341 linejunk -- passed on to ndiff (see ndiff documentation)
1342 charjunk -- passed on to ndiff (see ndiff documentation)
Tim Peters48bd7f32004-08-29 22:38:38 +00001343
Ezio Melotti30b9d5d2013-08-17 15:50:46 +03001344 This function returns an iterator which returns a tuple:
Martin v. Löwise064b412004-08-29 16:34:40 +00001345 (from line tuple, to line tuple, boolean flag)
1346
1347 from/to line tuple -- (line num, line text)
Mark Dickinson934896d2009-02-21 20:59:32 +00001348 line num -- integer or None (to indicate a context separation)
Martin v. Löwise064b412004-08-29 16:34:40 +00001349 line text -- original line text with following markers inserted:
1350 '\0+' -- marks start of added text
1351 '\0-' -- marks start of deleted text
1352 '\0^' -- marks start of changed text
1353 '\1' -- marks end of added/deleted/changed text
Tim Peters48bd7f32004-08-29 22:38:38 +00001354
Martin v. Löwise064b412004-08-29 16:34:40 +00001355 boolean flag -- None indicates context separation, True indicates
1356 either "from" or "to" line contains a change, otherwise False.
1357
1358 This function/iterator was originally developed to generate side by side
1359 file difference for making HTML pages (see HtmlDiff class for example
1360 usage).
1361
1362 Note, this function utilizes the ndiff function to generate the side by
1363 side difference markup. Optional ndiff arguments may be passed to this
Tim Peters48bd7f32004-08-29 22:38:38 +00001364 function and they in turn will be passed to ndiff.
Martin v. Löwise064b412004-08-29 16:34:40 +00001365 """
Tim Peters48bd7f32004-08-29 22:38:38 +00001366 import re
Martin v. Löwise064b412004-08-29 16:34:40 +00001367
1368 # regular expression for finding intraline change indices
1369 change_re = re.compile('(\++|\-+|\^+)')
Tim Peters48bd7f32004-08-29 22:38:38 +00001370
Martin v. Löwise064b412004-08-29 16:34:40 +00001371 # create the difference iterator to generate the differences
1372 diff_lines_iterator = ndiff(fromlines,tolines,linejunk,charjunk)
1373
1374 def _make_line(lines, format_key, side, num_lines=[0,0]):
1375 """Returns line of text with user's change markup and line formatting.
1376
1377 lines -- list of lines from the ndiff generator to produce a line of
1378 text from. When producing the line of text to return, the
1379 lines used are removed from this list.
1380 format_key -- '+' return first line in list with "add" markup around
1381 the entire line.
1382 '-' return first line in list with "delete" markup around
1383 the entire line.
1384 '?' return first line in list with add/delete/change
1385 intraline markup (indices obtained from second line)
1386 None return first line in list with no markup
1387 side -- indice into the num_lines list (0=from,1=to)
1388 num_lines -- from/to current line number. This is NOT intended to be a
1389 passed parameter. It is present as a keyword argument to
1390 maintain memory of the current line numbers between calls
1391 of this function.
1392
1393 Note, this function is purposefully not defined at the module scope so
1394 that data it needs from its parent function (within whose context it
1395 is defined) does not need to be of module scope.
1396 """
1397 num_lines[side] += 1
1398 # Handle case where no user markup is to be added, just return line of
1399 # text with user's line format to allow for usage of the line number.
1400 if format_key is None:
1401 return (num_lines[side],lines.pop(0)[2:])
1402 # Handle case of intraline changes
1403 if format_key == '?':
1404 text, markers = lines.pop(0), lines.pop(0)
1405 # find intraline changes (store change type and indices in tuples)
1406 sub_info = []
1407 def record_sub_info(match_object,sub_info=sub_info):
1408 sub_info.append([match_object.group(1)[0],match_object.span()])
1409 return match_object.group(1)
1410 change_re.sub(record_sub_info,markers)
1411 # process each tuple inserting our special marks that won't be
1412 # noticed by an xml/html escaper.
Raymond Hettingerf25a38e2014-08-03 22:36:32 -07001413 for key,(begin,end) in reversed(sub_info):
Martin v. Löwise064b412004-08-29 16:34:40 +00001414 text = text[0:begin]+'\0'+key+text[begin:end]+'\1'+text[end:]
1415 text = text[2:]
1416 # Handle case of add/delete entire line
1417 else:
1418 text = lines.pop(0)[2:]
1419 # if line of text is just a newline, insert a space so there is
1420 # something for the user to highlight and see.
Tim Peters0ca0c642004-11-12 16:12:15 +00001421 if not text:
1422 text = ' '
Martin v. Löwise064b412004-08-29 16:34:40 +00001423 # insert marks that won't be noticed by an xml/html escaper.
1424 text = '\0' + format_key + text + '\1'
Georg Brandl7eb4b7d2005-07-22 21:49:32 +00001425 # Return line of text, first allow user's line formatter to do its
Martin v. Löwise064b412004-08-29 16:34:40 +00001426 # thing (such as adding the line number) then replace the special
1427 # marks with what the user's change markup.
1428 return (num_lines[side],text)
Tim Peters48bd7f32004-08-29 22:38:38 +00001429
Martin v. Löwise064b412004-08-29 16:34:40 +00001430 def _line_iterator():
1431 """Yields from/to lines of text with a change indication.
1432
1433 This function is an iterator. It itself pulls lines from a
1434 differencing iterator, processes them and yields them. When it can
1435 it yields both a "from" and a "to" line, otherwise it will yield one
1436 or the other. In addition to yielding the lines of from/to text, a
1437 boolean flag is yielded to indicate if the text line(s) have
1438 differences in them.
1439
1440 Note, this function is purposefully not defined at the module scope so
1441 that data it needs from its parent function (within whose context it
1442 is defined) does not need to be of module scope.
1443 """
1444 lines = []
1445 num_blanks_pending, num_blanks_to_yield = 0, 0
Tim Peters48bd7f32004-08-29 22:38:38 +00001446 while True:
Martin v. Löwise064b412004-08-29 16:34:40 +00001447 # Load up next 4 lines so we can look ahead, create strings which
1448 # are a concatenation of the first character of each of the 4 lines
1449 # so we can do some very readable comparisons.
1450 while len(lines) < 4:
Raymond Hettingerbbeac6e2014-08-03 22:49:07 -07001451 lines.append(next(diff_lines_iterator, 'X'))
Martin v. Löwise064b412004-08-29 16:34:40 +00001452 s = ''.join([line[0] for line in lines])
1453 if s.startswith('X'):
1454 # When no more lines, pump out any remaining blank lines so the
1455 # corresponding add/delete lines get a matching blank line so
1456 # all line pairs get yielded at the next level.
1457 num_blanks_to_yield = num_blanks_pending
1458 elif s.startswith('-?+?'):
1459 # simple intraline change
1460 yield _make_line(lines,'?',0), _make_line(lines,'?',1), True
1461 continue
1462 elif s.startswith('--++'):
1463 # in delete block, add block coming: we do NOT want to get
1464 # caught up on blank lines yet, just process the delete line
1465 num_blanks_pending -= 1
1466 yield _make_line(lines,'-',0), None, True
1467 continue
Thomas Wouters0e3f5912006-08-11 14:57:12 +00001468 elif s.startswith(('--?+', '--+', '- ')):
Martin v. Löwise064b412004-08-29 16:34:40 +00001469 # in delete block and see a intraline change or unchanged line
1470 # coming: yield the delete line and then blanks
1471 from_line,to_line = _make_line(lines,'-',0), None
1472 num_blanks_to_yield,num_blanks_pending = num_blanks_pending-1,0
1473 elif s.startswith('-+?'):
1474 # intraline change
1475 yield _make_line(lines,None,0), _make_line(lines,'?',1), True
1476 continue
1477 elif s.startswith('-?+'):
1478 # intraline change
1479 yield _make_line(lines,'?',0), _make_line(lines,None,1), True
1480 continue
1481 elif s.startswith('-'):
1482 # delete FROM line
1483 num_blanks_pending -= 1
1484 yield _make_line(lines,'-',0), None, True
1485 continue
1486 elif s.startswith('+--'):
1487 # in add block, delete block coming: we do NOT want to get
1488 # caught up on blank lines yet, just process the add line
1489 num_blanks_pending += 1
1490 yield None, _make_line(lines,'+',1), True
1491 continue
Thomas Wouters0e3f5912006-08-11 14:57:12 +00001492 elif s.startswith(('+ ', '+-')):
Martin v. Löwise064b412004-08-29 16:34:40 +00001493 # will be leaving an add block: yield blanks then add line
1494 from_line, to_line = None, _make_line(lines,'+',1)
1495 num_blanks_to_yield,num_blanks_pending = num_blanks_pending+1,0
1496 elif s.startswith('+'):
1497 # inside an add block, yield the add line
1498 num_blanks_pending += 1
1499 yield None, _make_line(lines,'+',1), True
1500 continue
1501 elif s.startswith(' '):
1502 # unchanged text, yield it to both sides
1503 yield _make_line(lines[:],None,0),_make_line(lines,None,1),False
1504 continue
1505 # Catch up on the blank lines so when we yield the next from/to
1506 # pair, they are lined up.
1507 while(num_blanks_to_yield < 0):
1508 num_blanks_to_yield += 1
1509 yield None,('','\n'),True
1510 while(num_blanks_to_yield > 0):
1511 num_blanks_to_yield -= 1
1512 yield ('','\n'),None,True
1513 if s.startswith('X'):
Raymond Hettingerbbeac6e2014-08-03 22:49:07 -07001514 return
Martin v. Löwise064b412004-08-29 16:34:40 +00001515 else:
1516 yield from_line,to_line,True
1517
1518 def _line_pair_iterator():
1519 """Yields from/to lines of text with a change indication.
1520
1521 This function is an iterator. It itself pulls lines from the line
Georg Brandl7eb4b7d2005-07-22 21:49:32 +00001522 iterator. Its difference from that iterator is that this function
Martin v. Löwise064b412004-08-29 16:34:40 +00001523 always yields a pair of from/to text lines (with the change
1524 indication). If necessary it will collect single from/to lines
1525 until it has a matching pair from/to pair to yield.
1526
1527 Note, this function is purposefully not defined at the module scope so
1528 that data it needs from its parent function (within whose context it
1529 is defined) does not need to be of module scope.
1530 """
1531 line_iterator = _line_iterator()
1532 fromlines,tolines=[],[]
1533 while True:
1534 # Collecting lines of text until we have a from/to pair
1535 while (len(fromlines)==0 or len(tolines)==0):
Georg Brandla18af4e2007-04-21 15:47:16 +00001536 from_line, to_line, found_diff = next(line_iterator)
Martin v. Löwise064b412004-08-29 16:34:40 +00001537 if from_line is not None:
1538 fromlines.append((from_line,found_diff))
1539 if to_line is not None:
1540 tolines.append((to_line,found_diff))
1541 # Once we have a pair, remove them from the collection and yield it
1542 from_line, fromDiff = fromlines.pop(0)
1543 to_line, to_diff = tolines.pop(0)
1544 yield (from_line,to_line,fromDiff or to_diff)
1545
1546 # Handle case where user does not want context differencing, just yield
1547 # them up without doing anything else with them.
1548 line_pair_iterator = _line_pair_iterator()
1549 if context is None:
1550 while True:
Georg Brandla18af4e2007-04-21 15:47:16 +00001551 yield next(line_pair_iterator)
Martin v. Löwise064b412004-08-29 16:34:40 +00001552 # Handle case where user wants context differencing. We must do some
1553 # storage of lines until we know for sure that they are to be yielded.
1554 else:
1555 context += 1
1556 lines_to_write = 0
1557 while True:
1558 # Store lines up until we find a difference, note use of a
1559 # circular queue because we only need to keep around what
1560 # we need for context.
1561 index, contextLines = 0, [None]*(context)
1562 found_diff = False
1563 while(found_diff is False):
Georg Brandla18af4e2007-04-21 15:47:16 +00001564 from_line, to_line, found_diff = next(line_pair_iterator)
Martin v. Löwise064b412004-08-29 16:34:40 +00001565 i = index % context
1566 contextLines[i] = (from_line, to_line, found_diff)
1567 index += 1
1568 # Yield lines that we have collected so far, but first yield
1569 # the user's separator.
1570 if index > context:
1571 yield None, None, None
1572 lines_to_write = context
1573 else:
1574 lines_to_write = index
1575 index = 0
1576 while(lines_to_write):
1577 i = index % context
1578 index += 1
1579 yield contextLines[i]
1580 lines_to_write -= 1
1581 # Now yield the context lines after the change
1582 lines_to_write = context-1
1583 while(lines_to_write):
Georg Brandla18af4e2007-04-21 15:47:16 +00001584 from_line, to_line, found_diff = next(line_pair_iterator)
Martin v. Löwise064b412004-08-29 16:34:40 +00001585 # If another change within the context, extend the context
1586 if found_diff:
1587 lines_to_write = context-1
1588 else:
1589 lines_to_write -= 1
1590 yield from_line, to_line, found_diff
1591
1592
1593_file_template = """
1594<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
1595 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
1596
1597<html>
1598
1599<head>
Tim Peters48bd7f32004-08-29 22:38:38 +00001600 <meta http-equiv="Content-Type"
Martin v. Löwise064b412004-08-29 16:34:40 +00001601 content="text/html; charset=ISO-8859-1" />
1602 <title></title>
1603 <style type="text/css">%(styles)s
1604 </style>
1605</head>
1606
1607<body>
1608 %(table)s%(legend)s
1609</body>
1610
1611</html>"""
1612
1613_styles = """
1614 table.diff {font-family:Courier; border:medium;}
1615 .diff_header {background-color:#e0e0e0}
1616 td.diff_header {text-align:right}
1617 .diff_next {background-color:#c0c0c0}
1618 .diff_add {background-color:#aaffaa}
1619 .diff_chg {background-color:#ffff77}
1620 .diff_sub {background-color:#ffaaaa}"""
1621
1622_table_template = """
Tim Peters48bd7f32004-08-29 22:38:38 +00001623 <table class="diff" id="difflib_chg_%(prefix)s_top"
1624 cellspacing="0" cellpadding="0" rules="groups" >
1625 <colgroup></colgroup> <colgroup></colgroup> <colgroup></colgroup>
Martin v. Löwise064b412004-08-29 16:34:40 +00001626 <colgroup></colgroup> <colgroup></colgroup> <colgroup></colgroup>
1627 %(header_row)s
1628 <tbody>
1629%(data_rows)s </tbody>
1630 </table>"""
1631
1632_legend = """
1633 <table class="diff" summary="Legends">
1634 <tr> <th colspan="2"> Legends </th> </tr>
1635 <tr> <td> <table border="" summary="Colors">
1636 <tr><th> Colors </th> </tr>
1637 <tr><td class="diff_add">&nbsp;Added&nbsp;</td></tr>
1638 <tr><td class="diff_chg">Changed</td> </tr>
1639 <tr><td class="diff_sub">Deleted</td> </tr>
1640 </table></td>
1641 <td> <table border="" summary="Links">
1642 <tr><th colspan="2"> Links </th> </tr>
1643 <tr><td>(f)irst change</td> </tr>
1644 <tr><td>(n)ext change</td> </tr>
1645 <tr><td>(t)op</td> </tr>
1646 </table></td> </tr>
1647 </table>"""
1648
1649class HtmlDiff(object):
1650 """For producing HTML side by side comparison with change highlights.
1651
1652 This class can be used to create an HTML table (or a complete HTML file
Andrew M. Kuchling55be9ea2004-09-10 12:59:54 +00001653 containing the table) showing a side by side, line by line comparison
Tim Peters48bd7f32004-08-29 22:38:38 +00001654 of text with inter-line and intra-line change highlights. The table can
Martin v. Löwise064b412004-08-29 16:34:40 +00001655 be generated in either full or contextual difference mode.
Tim Peters48bd7f32004-08-29 22:38:38 +00001656
Martin v. Löwise064b412004-08-29 16:34:40 +00001657 The following methods are provided for HTML generation:
1658
1659 make_table -- generates HTML for a single side by side table
1660 make_file -- generates complete HTML file with a single side by side table
1661
Tim Peters48bd7f32004-08-29 22:38:38 +00001662 See tools/scripts/diff.py for an example usage of this class.
Martin v. Löwise064b412004-08-29 16:34:40 +00001663 """
1664
1665 _file_template = _file_template
1666 _styles = _styles
1667 _table_template = _table_template
1668 _legend = _legend
1669 _default_prefix = 0
Tim Peters48bd7f32004-08-29 22:38:38 +00001670
Martin v. Löwise064b412004-08-29 16:34:40 +00001671 def __init__(self,tabsize=8,wrapcolumn=None,linejunk=None,
1672 charjunk=IS_CHARACTER_JUNK):
1673 """HtmlDiff instance initializer
1674
1675 Arguments:
1676 tabsize -- tab stop spacing, defaults to 8.
1677 wrapcolumn -- column number where lines are broken and wrapped,
1678 defaults to None where lines are not wrapped.
Andrew Kuchlingc51da2b2014-03-19 16:43:06 -04001679 linejunk,charjunk -- keyword arguments passed into ndiff() (used by
Tim Peters48bd7f32004-08-29 22:38:38 +00001680 HtmlDiff() to generate the side by side HTML differences). See
Martin v. Löwise064b412004-08-29 16:34:40 +00001681 ndiff() documentation for argument default values and descriptions.
1682 """
1683 self._tabsize = tabsize
1684 self._wrapcolumn = wrapcolumn
1685 self._linejunk = linejunk
1686 self._charjunk = charjunk
1687
1688 def make_file(self,fromlines,tolines,fromdesc='',todesc='',context=False,
1689 numlines=5):
1690 """Returns HTML file of side by side comparison with change highlights
1691
1692 Arguments:
1693 fromlines -- list of "from" lines
1694 tolines -- list of "to" lines
1695 fromdesc -- "from" file column header string
1696 todesc -- "to" file column header string
1697 context -- set to True for contextual differences (defaults to False
1698 which shows full differences).
1699 numlines -- number of context lines. When context is set True,
1700 controls number of lines displayed before and after the change.
1701 When context is False, controls the number of lines to place
1702 the "next" link anchors before the next change (so click of
1703 "next" link jumps to just before the change).
1704 """
Tim Peters48bd7f32004-08-29 22:38:38 +00001705
Martin v. Löwise064b412004-08-29 16:34:40 +00001706 return self._file_template % dict(
1707 styles = self._styles,
1708 legend = self._legend,
1709 table = self.make_table(fromlines,tolines,fromdesc,todesc,
1710 context=context,numlines=numlines))
Tim Peters48bd7f32004-08-29 22:38:38 +00001711
Martin v. Löwise064b412004-08-29 16:34:40 +00001712 def _tab_newline_replace(self,fromlines,tolines):
1713 """Returns from/to line lists with tabs expanded and newlines removed.
1714
1715 Instead of tab characters being replaced by the number of spaces
1716 needed to fill in to the next tab stop, this function will fill
1717 the space with tab characters. This is done so that the difference
1718 algorithms can identify changes in a file when tabs are replaced by
1719 spaces and vice versa. At the end of the HTML generation, the tab
1720 characters will be replaced with a nonbreakable space.
1721 """
1722 def expand_tabs(line):
1723 # hide real spaces
1724 line = line.replace(' ','\0')
1725 # expand tabs into spaces
1726 line = line.expandtabs(self._tabsize)
Ezio Melotti13925002011-03-16 11:05:33 +02001727 # replace spaces from expanded tabs back into tab characters
Martin v. Löwise064b412004-08-29 16:34:40 +00001728 # (we'll replace them with markup after we do differencing)
1729 line = line.replace(' ','\t')
1730 return line.replace('\0',' ').rstrip('\n')
1731 fromlines = [expand_tabs(line) for line in fromlines]
1732 tolines = [expand_tabs(line) for line in tolines]
1733 return fromlines,tolines
1734
1735 def _split_line(self,data_list,line_num,text):
1736 """Builds list of text lines by splitting text lines at wrap point
1737
1738 This function will determine if the input text line needs to be
1739 wrapped (split) into separate lines. If so, the first wrap point
1740 will be determined and the first line appended to the output
1741 text line list. This function is used recursively to handle
1742 the second part of the split line to further split it.
1743 """
1744 # if blank line or context separator, just add it to the output list
1745 if not line_num:
1746 data_list.append((line_num,text))
1747 return
1748
1749 # if line text doesn't need wrapping, just add it to the output list
1750 size = len(text)
1751 max = self._wrapcolumn
1752 if (size <= max) or ((size -(text.count('\0')*3)) <= max):
1753 data_list.append((line_num,text))
1754 return
1755
1756 # scan text looking for the wrap point, keeping track if the wrap
1757 # point is inside markers
1758 i = 0
1759 n = 0
1760 mark = ''
1761 while n < max and i < size:
1762 if text[i] == '\0':
1763 i += 1
1764 mark = text[i]
1765 i += 1
1766 elif text[i] == '\1':
1767 i += 1
1768 mark = ''
1769 else:
1770 i += 1
1771 n += 1
1772
1773 # wrap point is inside text, break it up into separate lines
1774 line1 = text[:i]
1775 line2 = text[i:]
1776
1777 # if wrap point is inside markers, place end marker at end of first
1778 # line and start marker at beginning of second line because each
1779 # line will have its own table tag markup around it.
1780 if mark:
1781 line1 = line1 + '\1'
1782 line2 = '\0' + mark + line2
1783
Tim Peters48bd7f32004-08-29 22:38:38 +00001784 # tack on first line onto the output list
Martin v. Löwise064b412004-08-29 16:34:40 +00001785 data_list.append((line_num,line1))
1786
Tim Peters48bd7f32004-08-29 22:38:38 +00001787 # use this routine again to wrap the remaining text
Martin v. Löwise064b412004-08-29 16:34:40 +00001788 self._split_line(data_list,'>',line2)
1789
1790 def _line_wrapper(self,diffs):
1791 """Returns iterator that splits (wraps) mdiff text lines"""
1792
1793 # pull from/to data and flags from mdiff iterator
1794 for fromdata,todata,flag in diffs:
1795 # check for context separators and pass them through
1796 if flag is None:
1797 yield fromdata,todata,flag
1798 continue
1799 (fromline,fromtext),(toline,totext) = fromdata,todata
1800 # for each from/to line split it at the wrap column to form
1801 # list of text lines.
1802 fromlist,tolist = [],[]
1803 self._split_line(fromlist,fromline,fromtext)
1804 self._split_line(tolist,toline,totext)
1805 # yield from/to line in pairs inserting blank lines as
1806 # necessary when one side has more wrapped lines
1807 while fromlist or tolist:
1808 if fromlist:
1809 fromdata = fromlist.pop(0)
1810 else:
1811 fromdata = ('',' ')
1812 if tolist:
1813 todata = tolist.pop(0)
1814 else:
1815 todata = ('',' ')
1816 yield fromdata,todata,flag
1817
1818 def _collect_lines(self,diffs):
1819 """Collects mdiff output into separate lists
1820
1821 Before storing the mdiff from/to data into a list, it is converted
1822 into a single line of text with HTML markup.
1823 """
1824
1825 fromlist,tolist,flaglist = [],[],[]
Tim Peters48bd7f32004-08-29 22:38:38 +00001826 # pull from/to data and flags from mdiff style iterator
Martin v. Löwise064b412004-08-29 16:34:40 +00001827 for fromdata,todata,flag in diffs:
1828 try:
1829 # store HTML markup of the lines into the lists
1830 fromlist.append(self._format_line(0,flag,*fromdata))
1831 tolist.append(self._format_line(1,flag,*todata))
1832 except TypeError:
1833 # exceptions occur for lines where context separators go
1834 fromlist.append(None)
1835 tolist.append(None)
1836 flaglist.append(flag)
1837 return fromlist,tolist,flaglist
Tim Peters48bd7f32004-08-29 22:38:38 +00001838
Martin v. Löwise064b412004-08-29 16:34:40 +00001839 def _format_line(self,side,flag,linenum,text):
1840 """Returns HTML markup of "from" / "to" text lines
1841
1842 side -- 0 or 1 indicating "from" or "to" text
1843 flag -- indicates if difference on line
1844 linenum -- line number (used for line number column)
1845 text -- line text to be marked up
1846 """
1847 try:
1848 linenum = '%d' % linenum
1849 id = ' id="%s%s"' % (self._prefix[side],linenum)
1850 except TypeError:
1851 # handle blank lines where linenum is '>' or ''
Tim Peters48bd7f32004-08-29 22:38:38 +00001852 id = ''
Martin v. Löwise064b412004-08-29 16:34:40 +00001853 # replace those things that would get confused with HTML symbols
1854 text=text.replace("&","&amp;").replace(">","&gt;").replace("<","&lt;")
1855
1856 # make space non-breakable so they don't get compressed or line wrapped
1857 text = text.replace(' ','&nbsp;').rstrip()
1858
1859 return '<td class="diff_header"%s>%s</td><td nowrap="nowrap">%s</td>' \
1860 % (id,linenum,text)
1861
1862 def _make_prefix(self):
1863 """Create unique anchor prefixes"""
1864
1865 # Generate a unique anchor prefix so multiple tables
1866 # can exist on the same HTML page without conflicts.
1867 fromprefix = "from%d_" % HtmlDiff._default_prefix
1868 toprefix = "to%d_" % HtmlDiff._default_prefix
1869 HtmlDiff._default_prefix += 1
1870 # store prefixes so line format method has access
1871 self._prefix = [fromprefix,toprefix]
1872
1873 def _convert_flags(self,fromlist,tolist,flaglist,context,numlines):
1874 """Makes list of "next" links"""
Tim Peters48bd7f32004-08-29 22:38:38 +00001875
Martin v. Löwise064b412004-08-29 16:34:40 +00001876 # all anchor names will be generated using the unique "to" prefix
1877 toprefix = self._prefix[1]
Tim Peters48bd7f32004-08-29 22:38:38 +00001878
Martin v. Löwise064b412004-08-29 16:34:40 +00001879 # process change flags, generating middle column of next anchors/links
1880 next_id = ['']*len(flaglist)
1881 next_href = ['']*len(flaglist)
1882 num_chg, in_change = 0, False
1883 last = 0
1884 for i,flag in enumerate(flaglist):
1885 if flag:
1886 if not in_change:
1887 in_change = True
1888 last = i
1889 # at the beginning of a change, drop an anchor a few lines
Tim Peters48bd7f32004-08-29 22:38:38 +00001890 # (the context lines) before the change for the previous
Martin v. Löwise064b412004-08-29 16:34:40 +00001891 # link
1892 i = max([0,i-numlines])
1893 next_id[i] = ' id="difflib_chg_%s_%d"' % (toprefix,num_chg)
Tim Peters48bd7f32004-08-29 22:38:38 +00001894 # at the beginning of a change, drop a link to the next
Martin v. Löwise064b412004-08-29 16:34:40 +00001895 # change
1896 num_chg += 1
1897 next_href[last] = '<a href="#difflib_chg_%s_%d">n</a>' % (
1898 toprefix,num_chg)
1899 else:
1900 in_change = False
1901 # check for cases where there is no content to avoid exceptions
1902 if not flaglist:
1903 flaglist = [False]
1904 next_id = ['']
1905 next_href = ['']
1906 last = 0
1907 if context:
1908 fromlist = ['<td></td><td>&nbsp;No Differences Found&nbsp;</td>']
1909 tolist = fromlist
1910 else:
1911 fromlist = tolist = ['<td></td><td>&nbsp;Empty File&nbsp;</td>']
1912 # if not a change on first line, drop a link
1913 if not flaglist[0]:
1914 next_href[0] = '<a href="#difflib_chg_%s_0">f</a>' % toprefix
1915 # redo the last link to link to the top
1916 next_href[last] = '<a href="#difflib_chg_%s_top">t</a>' % (toprefix)
1917
1918 return fromlist,tolist,flaglist,next_href,next_id
1919
1920 def make_table(self,fromlines,tolines,fromdesc='',todesc='',context=False,
1921 numlines=5):
1922 """Returns HTML table of side by side comparison with change highlights
1923
1924 Arguments:
1925 fromlines -- list of "from" lines
1926 tolines -- list of "to" lines
1927 fromdesc -- "from" file column header string
1928 todesc -- "to" file column header string
1929 context -- set to True for contextual differences (defaults to False
1930 which shows full differences).
1931 numlines -- number of context lines. When context is set True,
1932 controls number of lines displayed before and after the change.
1933 When context is False, controls the number of lines to place
1934 the "next" link anchors before the next change (so click of
1935 "next" link jumps to just before the change).
1936 """
1937
1938 # make unique anchor prefixes so that multiple tables may exist
1939 # on the same page without conflict.
1940 self._make_prefix()
Tim Peters48bd7f32004-08-29 22:38:38 +00001941
Martin v. Löwise064b412004-08-29 16:34:40 +00001942 # change tabs to spaces before it gets more difficult after we insert
Ezio Melotti30b9d5d2013-08-17 15:50:46 +03001943 # markup
Martin v. Löwise064b412004-08-29 16:34:40 +00001944 fromlines,tolines = self._tab_newline_replace(fromlines,tolines)
Tim Peters48bd7f32004-08-29 22:38:38 +00001945
Martin v. Löwise064b412004-08-29 16:34:40 +00001946 # create diffs iterator which generates side by side from/to data
1947 if context:
1948 context_lines = numlines
1949 else:
1950 context_lines = None
1951 diffs = _mdiff(fromlines,tolines,context_lines,linejunk=self._linejunk,
1952 charjunk=self._charjunk)
1953
1954 # set up iterator to wrap lines that exceed desired width
1955 if self._wrapcolumn:
1956 diffs = self._line_wrapper(diffs)
Tim Peters48bd7f32004-08-29 22:38:38 +00001957
Martin v. Löwise064b412004-08-29 16:34:40 +00001958 # collect up from/to lines and flags into lists (also format the lines)
1959 fromlist,tolist,flaglist = self._collect_lines(diffs)
1960
1961 # process change flags, generating middle column of next anchors/links
1962 fromlist,tolist,flaglist,next_href,next_id = self._convert_flags(
1963 fromlist,tolist,flaglist,context,numlines)
1964
Guido van Rossumd8faa362007-04-27 19:54:29 +00001965 s = []
Martin v. Löwise064b412004-08-29 16:34:40 +00001966 fmt = ' <tr><td class="diff_next"%s>%s</td>%s' + \
1967 '<td class="diff_next">%s</td>%s</tr>\n'
1968 for i in range(len(flaglist)):
1969 if flaglist[i] is None:
1970 # mdiff yields None on separator lines skip the bogus ones
1971 # generated for the first line
1972 if i > 0:
Guido van Rossumd8faa362007-04-27 19:54:29 +00001973 s.append(' </tbody> \n <tbody>\n')
Martin v. Löwise064b412004-08-29 16:34:40 +00001974 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +00001975 s.append( fmt % (next_id[i],next_href[i],fromlist[i],
Martin v. Löwise064b412004-08-29 16:34:40 +00001976 next_href[i],tolist[i]))
1977 if fromdesc or todesc:
1978 header_row = '<thead><tr>%s%s%s%s</tr></thead>' % (
1979 '<th class="diff_next"><br /></th>',
1980 '<th colspan="2" class="diff_header">%s</th>' % fromdesc,
1981 '<th class="diff_next"><br /></th>',
1982 '<th colspan="2" class="diff_header">%s</th>' % todesc)
1983 else:
1984 header_row = ''
1985
1986 table = self._table_template % dict(
Guido van Rossumd8faa362007-04-27 19:54:29 +00001987 data_rows=''.join(s),
Martin v. Löwise064b412004-08-29 16:34:40 +00001988 header_row=header_row,
1989 prefix=self._prefix[1])
1990
1991 return table.replace('\0+','<span class="diff_add">'). \
1992 replace('\0-','<span class="diff_sub">'). \
1993 replace('\0^','<span class="diff_chg">'). \
1994 replace('\1','</span>'). \
1995 replace('\t','&nbsp;')
Tim Peters48bd7f32004-08-29 22:38:38 +00001996
Martin v. Löwise064b412004-08-29 16:34:40 +00001997del re
1998
Tim Peters5e824c32001-08-12 22:25:01 +00001999def restore(delta, which):
2000 r"""
Tim Peters8a9c2842001-09-22 21:30:22 +00002001 Generate one of the two sequences that generated a delta.
Tim Peters5e824c32001-08-12 22:25:01 +00002002
2003 Given a `delta` produced by `Differ.compare()` or `ndiff()`, extract
2004 lines originating from file 1 or 2 (parameter `which`), stripping off line
2005 prefixes.
2006
2007 Examples:
2008
Ezio Melottid8b509b2011-09-28 17:37:55 +03002009 >>> diff = ndiff('one\ntwo\nthree\n'.splitlines(keepends=True),
2010 ... 'ore\ntree\nemu\n'.splitlines(keepends=True))
Tim Peters8a9c2842001-09-22 21:30:22 +00002011 >>> diff = list(diff)
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002012 >>> print(''.join(restore(diff, 1)), end="")
Tim Peters5e824c32001-08-12 22:25:01 +00002013 one
2014 two
2015 three
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002016 >>> print(''.join(restore(diff, 2)), end="")
Tim Peters5e824c32001-08-12 22:25:01 +00002017 ore
2018 tree
2019 emu
2020 """
2021 try:
2022 tag = {1: "- ", 2: "+ "}[int(which)]
2023 except KeyError:
Collin Winterce36ad82007-08-30 01:19:48 +00002024 raise ValueError('unknown delta choice (must be 1 or 2): %r'
Tim Peters5e824c32001-08-12 22:25:01 +00002025 % which)
2026 prefixes = (" ", tag)
Tim Peters5e824c32001-08-12 22:25:01 +00002027 for line in delta:
2028 if line[:2] in prefixes:
Tim Peters8a9c2842001-09-22 21:30:22 +00002029 yield line[2:]
Tim Peters5e824c32001-08-12 22:25:01 +00002030
Tim Peters9ae21482001-02-10 08:00:53 +00002031def _test():
2032 import doctest, difflib
2033 return doctest.testmod(difflib)
2034
2035if __name__ == "__main__":
2036 _test()