]> code.delx.au - gnu-emacs/blob - lisp/ediff-diff.el
(f90-indent-region): Bind case-fold-search to t.
[gnu-emacs] / lisp / ediff-diff.el
1 ;;; ediff-diff.el --- diff-related utilities
2
3 ;; Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
4 ;; 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
5
6 ;; Author: Michael Kifer <kifer@cs.stonybrook.edu>
7
8 ;; This file is part of GNU Emacs.
9
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
11 ;; it under the terms of the GNU General Public License as published by
12 ;; the Free Software Foundation; either version 2, or (at your option)
13 ;; any later version.
14
15 ;; GNU Emacs is distributed in the hope that it will be useful,
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 ;; GNU General Public License for more details.
19
20 ;; You should have received a copy of the GNU General Public License
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
22 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
23 ;; Boston, MA 02110-1301, USA.
24
25 ;;; Commentary:
26
27 ;;; Code:
28
29
30 ;; compiler pacifier
31 (defvar ediff-default-variant)
32 (defvar null-device)
33 (defvar longlines-mode)
34
35 (eval-when-compile
36 (let ((load-path (cons (expand-file-name ".") load-path)))
37 (or (featurep 'ediff-init)
38 (load "ediff-init.el" nil nil 'nosuffix))
39 (or (featurep 'ediff-util)
40 (load "ediff-util.el" nil nil 'nosuffix))
41 ))
42 ;; end pacifier
43
44 (require 'ediff-init)
45
46 (defgroup ediff-diff nil
47 "Diff related utilities."
48 :prefix "ediff-"
49 :group 'ediff)
50
51 ;; these two must be here to prevent ediff-test-utility from barking
52 (defcustom ediff-diff-program "diff"
53 "*Program to use for generating the differential of the two files."
54 :type 'string
55 :group 'ediff-diff)
56 (defcustom ediff-diff3-program "diff3"
57 "*Program to be used for three-way comparison.
58 Must produce output compatible with Unix's diff3 program."
59 :type 'string
60 :group 'ediff-diff)
61
62
63 ;; The following functions must precede all defcustom-defined variables.
64
65 ;; The following functions needed for setting diff/diff3 options
66 ;; test if diff supports the --binary option
67 (defsubst ediff-test-utility (diff-util option &optional files)
68 (condition-case nil
69 (eq 0 (apply 'call-process
70 (append (list diff-util nil nil nil option) files)))
71 (error (format "Cannot execute program %S." diff-util)))
72 )
73
74 (defun ediff-diff-mandatory-option (diff-util)
75 (let ((file (if (boundp 'null-device) null-device "/dev/null")))
76 (cond ((not (memq system-type '(ms-dos windows-nt windows-95)))
77 "")
78 ((and (string= diff-util ediff-diff-program)
79 (ediff-test-utility
80 ediff-diff-program "--binary" (list file file)))
81 "--binary ")
82 ((and (string= diff-util ediff-diff3-program)
83 (ediff-test-utility
84 ediff-diff3-program "--binary" (list file file file)))
85 "--binary ")
86 (t ""))))
87
88
89 ;; must be before ediff-reset-diff-options to avoid compiler errors
90 (fset 'ediff-set-actual-diff-options '(lambda () nil))
91
92 ;; make sure that mandatory options are added even if the user changes
93 ;; ediff-diff-options or ediff-diff3-options in the customization widget
94 (defun ediff-reset-diff-options (symb val)
95 (let* ((diff-program
96 (if (eq symb 'ediff-diff-options)
97 ediff-diff-program
98 ediff-diff3-program))
99 (mandatory-option (ediff-diff-mandatory-option diff-program)))
100 (set symb (concat mandatory-option val))
101 (ediff-set-actual-diff-options)
102 ))
103
104
105 (defcustom ediff-shell
106 (cond ((eq system-type 'emx) "cmd") ; OS/2
107 ((memq system-type '(ms-dos windows-nt windows-95))
108 shell-file-name) ; no standard name on MS-DOS
109 ((memq system-type '(vax-vms axp-vms)) "*dcl*") ; VMS
110 (t "sh")) ; UNIX
111 "*The shell used to run diff and patch.
112 If user's .profile or .cshrc files are set up correctly, any shell
113 will do. However, some people set $prompt or other things
114 incorrectly, which leads to undesirable output messages. These may
115 cause Ediff to fail. In such a case, set `ediff-shell' to a shell that
116 you are not using or, better, fix your shell's startup file."
117 :type 'string
118 :group 'ediff-diff)
119
120 (defcustom ediff-cmp-program "cmp"
121 "*Utility to use to determine if two files are identical.
122 It must return code 0, if its arguments are identical files."
123 :type 'string
124 :group 'ediff-diff)
125
126 (defcustom ediff-cmp-options nil
127 "*Options to pass to `ediff-cmp-program'.
128 If GNU diff is used as `ediff-cmp-program', then the most useful options
129 are `-I REGEXP', to ignore changes whose lines match the REGEXP."
130 :type '(repeat string)
131 :group 'ediff-diff)
132
133 (defcustom ediff-diff-options ""
134 "*Options to pass to `ediff-diff-program'.
135 If Unix diff is used as `ediff-diff-program',
136 then a useful option is `-w', to ignore space.
137 Options `-c' and `-i' are not allowed. Case sensitivity can be
138 toggled interactively using \\[ediff-toggle-ignore-case]."
139 :set 'ediff-reset-diff-options
140 :type 'string
141 :group 'ediff-diff)
142
143 (ediff-defvar-local ediff-ignore-case nil
144 "*If t, skip over difference regions that differ only in letter case.
145 This variable can be set either in .emacs or toggled interactively.
146 Use `setq-default' if setting it in .emacs")
147
148 (defcustom ediff-ignore-case-option "-i"
149 "*Option that causes the diff program to ignore case of letters."
150 :type 'string
151 :group 'ediff-diff)
152
153 (defcustom ediff-ignore-case-option3 ""
154 "*Option that causes the diff3 program to ignore case of letters.
155 GNU diff3 doesn't have such an option."
156 :type 'string
157 :group 'ediff-diff)
158
159 ;; the actual options used in comparison
160 (ediff-defvar-local ediff-actual-diff-options ediff-diff-options "")
161
162 (defcustom ediff-custom-diff-program ediff-diff-program
163 "*Program to use for generating custom diff output for saving it in a file.
164 This output is not used by Ediff internally."
165 :type 'string
166 :group 'ediff-diff)
167 (defcustom ediff-custom-diff-options "-c"
168 "*Options to pass to `ediff-custom-diff-program'."
169 :type 'string
170 :group 'ediff-diff)
171
172 ;;; Support for diff3
173
174 (defvar ediff-match-diff3-line "^====\\(.?\\)\C-m?$"
175 "Pattern to match lines produced by diff3 that describe differences.")
176 (defcustom ediff-diff3-options ""
177 "*Options to pass to `ediff-diff3-program'."
178 :set 'ediff-reset-diff-options
179 :type 'string
180 :group 'ediff-diff)
181
182 ;; the actual options used in comparison
183 (ediff-defvar-local ediff-actual-diff3-options ediff-diff3-options "")
184
185 (defcustom ediff-diff3-ok-lines-regexp
186 "^\\([1-3]:\\|====\\| \\|.*Warning *:\\|.*No newline\\|.*missing newline\\|^\C-m$\\)"
187 "*Regexp that matches normal output lines from `ediff-diff3-program'.
188 Lines that do not match are assumed to be error messages."
189 :type 'regexp
190 :group 'ediff-diff)
191
192 ;; keeps the status of the current diff in 3-way jobs.
193 ;; the status can be =diff(A), =diff(B), or =diff(A+B)
194 (ediff-defvar-local ediff-diff-status "" "")
195
196
197 ;;; Fine differences
198
199 (ediff-defvar-local ediff-auto-refine (if (ediff-has-face-support-p) 'on 'nix)
200 "If `on', Ediff auto-highlights fine diffs for the current diff region.
201 If `off', auto-highlighting is not used. If `nix', no fine diffs are shown
202 at all, unless the user force-refines the region by hitting `*'.
203
204 This variable can be set either in .emacs or toggled interactively.
205 Use `setq-default' if setting it in .emacs")
206
207 (ediff-defvar-local ediff-ignore-similar-regions nil
208 "*If t, skip over difference regions that differ only in the white space and line breaks.
209 This variable can be set either in .emacs or toggled interactively.
210 Use `setq-default' if setting it in .emacs")
211
212 (ediff-defvar-local ediff-auto-refine-limit 14000
213 "*Auto-refine only the regions of this size \(in bytes\) or less.")
214
215 ;;; General
216
217 (defvar ediff-diff-ok-lines-regexp
218 (concat
219 "^\\("
220 "[0-9,]+[acd][0-9,]+\C-m?$"
221 "\\|[<>] "
222 "\\|---"
223 "\\|.*Warning *:"
224 "\\|.*No +newline"
225 "\\|.*missing +newline"
226 "\\|^\C-m?$"
227 "\\)")
228 "Regexp that matches normal output lines from `ediff-diff-program'.
229 This is mostly lifted from Emerge, except that Ediff also considers
230 warnings and `Missing newline'-type messages to be normal output.
231 Lines that do not match are assumed to be error messages.")
232
233 (defvar ediff-match-diff-line
234 (let ((x "\\([0-9]+\\)\\(\\|,\\([0-9]+\\)\\)"))
235 (concat "^" x "\\([acd]\\)" x "\C-m?$"))
236 "Pattern to match lines produced by diff that describe differences.")
237
238 (ediff-defvar-local ediff-setup-diff-regions-function nil
239 "value is a function symbol depending on the kind of job is to be done.
240 For 2-way jobs and for ediff-merge, it should be `ediff-setup-diff-regions'.
241 For jobs requiring diff3, it should be `ediff-setup-diff-regions3'.
242
243 The function should take three mandatory arguments, file-A, file-B, and
244 file-C. It may ignore file C for diff2 jobs. It should also take
245 one optional arguments, diff-number to refine.")
246
247
248 ;;; Functions
249
250 ;; Generate the difference vector and overlays for the two files
251 ;; With optional arg REG-TO-REFINE, refine this region.
252 ;; File-C argument is not used here. It is there just because
253 ;; ediff-setup-diff-regions is called via a funcall to
254 ;; ediff-setup-diff-regions-function, which can also have the value
255 ;; ediff-setup-diff-regions3, which takes 4 arguments.
256 (defun ediff-setup-diff-regions (file-A file-B file-C)
257 ;; looking for '-c', '-i', or a 'c', 'i' among clustered non-long options
258 (if (string-match "^-[ci]\\| -[ci]\\|\\(^\\| \\)-[^- ]+[ci]"
259 ediff-diff-options)
260 (error "Options `-c' and `-i' are not allowed in `ediff-diff-options'"))
261
262 ;; create, if it doesn't exist
263 (or (ediff-buffer-live-p ediff-diff-buffer)
264 (setq ediff-diff-buffer
265 (get-buffer-create (ediff-unique-buffer-name "*ediff-diff" "*"))))
266 (ediff-make-diff2-buffer ediff-diff-buffer file-A file-B)
267 (ediff-prepare-error-list ediff-diff-ok-lines-regexp ediff-diff-buffer)
268 (ediff-convert-diffs-to-overlays
269 (ediff-extract-diffs
270 ediff-diff-buffer ediff-word-mode ediff-narrow-bounds)))
271
272 ;; Run the diff program on FILE1 and FILE2 and put the output in DIFF-BUFFER
273 ;; Return the size of DIFF-BUFFER
274 ;; The return code isn't used in the program at present.
275 (defun ediff-make-diff2-buffer (diff-buffer file1 file2)
276 (let ((file1-size (ediff-file-size file1))
277 (file2-size (ediff-file-size file2)))
278 (cond ((not (numberp file1-size))
279 (message "Can't find file: %s"
280 (ediff-abbreviate-file-name file1))
281 (sit-for 2)
282 ;; 1 is an error exit code
283 1)
284 ((not (numberp file2-size))
285 (message "Can't find file: %s"
286 (ediff-abbreviate-file-name file2))
287 (sit-for 2)
288 ;; 1 is an error exit code
289 1)
290 (t (message "Computing differences between %s and %s ..."
291 (file-name-nondirectory file1)
292 (file-name-nondirectory file2))
293 ;; this erases the diff buffer automatically
294 (ediff-exec-process ediff-diff-program
295 diff-buffer
296 'synchronize
297 ediff-actual-diff-options file1 file2)
298 (message "")
299 (ediff-with-current-buffer diff-buffer
300 (buffer-size))))))
301
302
303
304 ;; If file-A/B/C is nil, do 2-way comparison with the non-nil buffers
305 ;; This function works for diff3 and diff2 jobs
306 (defun ediff-setup-fine-diff-regions (file-A file-B file-C reg-num)
307 (or (ediff-buffer-live-p ediff-fine-diff-buffer)
308 (setq ediff-fine-diff-buffer
309 (get-buffer-create
310 (ediff-unique-buffer-name "*ediff-fine-diff" "*"))))
311
312 (let (diff3-job diff-program diff-options ok-regexp diff-list)
313 (setq diff3-job ediff-3way-job
314 diff-program (if diff3-job ediff-diff3-program ediff-diff-program)
315 diff-options (if diff3-job
316 ediff-actual-diff3-options
317 ediff-actual-diff-options)
318 ok-regexp (if diff3-job
319 ediff-diff3-ok-lines-regexp
320 ediff-diff-ok-lines-regexp))
321
322 (ediff-message-if-verbose "Refining difference region %d ..." (1+ reg-num))
323 (ediff-exec-process diff-program ediff-fine-diff-buffer 'synchronize
324 diff-options
325 ;; The shuffle below is because we can compare 3-way
326 ;; or in several 2-way fashions, like fA fC, fA fB,
327 ;; or fB fC.
328 (if file-A file-A file-B)
329 (if file-B file-B file-A)
330 (if diff3-job
331 (if file-C file-C file-B))
332 ) ; exec process
333
334 (ediff-prepare-error-list ok-regexp ediff-fine-diff-buffer)
335 (ediff-message-if-verbose
336 "")
337 ;; "Refining difference region %d ... done" (1+ reg-num))
338
339 (setq diff-list
340 (if diff3-job
341 (ediff-extract-diffs3
342 ediff-fine-diff-buffer '3way-comparison 'word-mode)
343 (ediff-extract-diffs ediff-fine-diff-buffer 'word-mode)))
344 ;; fixup diff-list
345 (if diff3-job
346 (cond ((not file-A)
347 (mapcar (lambda (elt)
348 (aset elt 0 nil)
349 (aset elt 1 nil))
350 (cdr diff-list)))
351 ((not file-B)
352 (mapcar (lambda (elt)
353 (aset elt 2 nil)
354 (aset elt 3 nil))
355 (cdr diff-list)))
356 ((not file-C)
357 (mapcar (lambda (elt)
358 (aset elt 4 nil)
359 (aset elt 5 nil))
360 (cdr diff-list)))
361 ))
362
363 (ediff-convert-fine-diffs-to-overlays diff-list reg-num)
364 ))
365
366
367 (defun ediff-prepare-error-list (ok-regexp diff-buff)
368 (or (ediff-buffer-live-p ediff-error-buffer)
369 (setq ediff-error-buffer
370 (get-buffer-create (ediff-unique-buffer-name
371 "*ediff-errors" "*"))))
372 (ediff-with-current-buffer ediff-error-buffer
373 (erase-buffer)
374 (insert (ediff-with-current-buffer diff-buff (buffer-string)))
375 (goto-char (point-min))
376 (delete-matching-lines ok-regexp)
377 (if (memq system-type '(vax-vms axp-vms))
378 (delete-matching-lines "^$")))
379 ;; If diff reports errors, show them then quit.
380 (if (/= 0 (ediff-with-current-buffer ediff-error-buffer (buffer-size)))
381 (let ((ctl-buf ediff-control-buffer)
382 (error-buf ediff-error-buffer))
383 (ediff-skip-unsuitable-frames)
384 (switch-to-buffer error-buf)
385 (ediff-kill-buffer-carefully ctl-buf)
386 (error "Errors in diff output. Diff output is in %S" diff-buff))))
387
388 ;; BOUNDS specifies visibility bounds to use.
389 ;; WORD-MODE tells whether we are in the word-mode or not.
390 ;; If WORD-MODE, also construct vector of diffs using word numbers.
391 ;; Else, use point values.
392 ;; This function handles diff-2 jobs including the case of
393 ;; merging buffers and files without ancestor.
394 (defun ediff-extract-diffs (diff-buffer word-mode &optional bounds)
395 (let ((A-buffer ediff-buffer-A)
396 (B-buffer ediff-buffer-B)
397 (C-buffer ediff-buffer-C)
398 (a-prev 1) ; this is needed to set the first diff line correctly
399 (a-prev-pt nil)
400 (b-prev 1)
401 (b-prev-pt nil)
402 (c-prev 1)
403 (c-prev-pt nil)
404 diff-list shift-A shift-B
405 )
406
407 ;; diff list contains word numbers, unless changed later
408 (setq diff-list (cons (if word-mode 'words 'points)
409 diff-list))
410 ;; we don't use visibility bounds for buffer C when merging
411 (if bounds
412 (setq shift-A
413 (ediff-overlay-start
414 (ediff-get-value-according-to-buffer-type 'A bounds))
415 shift-B
416 (ediff-overlay-start
417 (ediff-get-value-according-to-buffer-type 'B bounds))))
418
419 ;; reset point in buffers A/B/C
420 (ediff-with-current-buffer A-buffer
421 (goto-char (if shift-A shift-A (point-min))))
422 (ediff-with-current-buffer B-buffer
423 (goto-char (if shift-B shift-B (point-min))))
424 (if (ediff-buffer-live-p C-buffer)
425 (ediff-with-current-buffer C-buffer
426 (goto-char (point-min))))
427
428 (ediff-with-current-buffer diff-buffer
429 (goto-char (point-min))
430 (while (re-search-forward ediff-match-diff-line nil t)
431 (let* ((a-begin (string-to-number (buffer-substring (match-beginning 1)
432 (match-end 1))))
433 (a-end (let ((b (match-beginning 3))
434 (e (match-end 3)))
435 (if b
436 (string-to-number (buffer-substring b e))
437 a-begin)))
438 (diff-type (buffer-substring (match-beginning 4) (match-end 4)))
439 (b-begin (string-to-number (buffer-substring (match-beginning 5)
440 (match-end 5))))
441 (b-end (let ((b (match-beginning 7))
442 (e (match-end 7)))
443 (if b
444 (string-to-number (buffer-substring b e))
445 b-begin)))
446 a-begin-pt a-end-pt b-begin-pt b-end-pt
447 c-begin c-end c-begin-pt c-end-pt)
448 ;; fix the beginning and end numbers, because diff is somewhat
449 ;; strange about how it numbers lines
450 (if (string-equal diff-type "a")
451 (setq b-end (1+ b-end)
452 a-begin (1+ a-begin)
453 a-end a-begin)
454 (if (string-equal diff-type "d")
455 (setq a-end (1+ a-end)
456 b-begin (1+ b-begin)
457 b-end b-begin)
458 ;; (string-equal diff-type "c")
459 (setq a-end (1+ a-end)
460 b-end (1+ b-end))))
461
462 (if (eq ediff-default-variant 'default-B)
463 (setq c-begin b-begin
464 c-end b-end)
465 (setq c-begin a-begin
466 c-end a-end))
467
468 ;; compute main diff vector
469 (if word-mode
470 ;; make diff-list contain word numbers
471 (setq diff-list
472 (nconc diff-list
473 (list
474 (if (ediff-buffer-live-p C-buffer)
475 (vector (- a-begin a-prev) (- a-end a-begin)
476 (- b-begin b-prev) (- b-end b-begin)
477 (- c-begin c-prev) (- c-end c-begin)
478 nil nil ; dummy ancestor
479 nil ; state of diff
480 nil ; state of merge
481 nil ; state of ancestor
482 )
483 (vector (- a-begin a-prev) (- a-end a-begin)
484 (- b-begin b-prev) (- b-end b-begin)
485 nil nil ; dummy buf C
486 nil nil ; dummy ancestor
487 nil ; state of diff
488 nil ; state of merge
489 nil ; state of ancestor
490 ))
491 ))
492 a-prev a-end
493 b-prev b-end
494 c-prev c-end)
495 ;; else convert lines to points
496 (ediff-with-current-buffer A-buffer
497 (let ((longlines-mode-val
498 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
499 ;; we must disable and then restore longlines-mode
500 (if (eq longlines-mode-val 1)
501 (longlines-mode 0))
502 (goto-char (or a-prev-pt shift-A (point-min)))
503 (forward-line (- a-begin a-prev))
504 (setq a-begin-pt (point))
505 (forward-line (- a-end a-begin))
506 (setq a-end-pt (point)
507 a-prev a-end
508 a-prev-pt a-end-pt)
509 (if (eq longlines-mode-val 1)
510 (longlines-mode longlines-mode-val))
511 ))
512 (ediff-with-current-buffer B-buffer
513 (let ((longlines-mode-val
514 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
515 (if (eq longlines-mode-val 1)
516 (longlines-mode 0))
517 (goto-char (or b-prev-pt shift-B (point-min)))
518 (forward-line (- b-begin b-prev))
519 (setq b-begin-pt (point))
520 (forward-line (- b-end b-begin))
521 (setq b-end-pt (point)
522 b-prev b-end
523 b-prev-pt b-end-pt)
524 (if (eq longlines-mode-val 1)
525 (longlines-mode longlines-mode-val))
526 ))
527 (if (ediff-buffer-live-p C-buffer)
528 (ediff-with-current-buffer C-buffer
529 (let ((longlines-mode-val
530 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
531 (if (eq longlines-mode-val 1)
532 (longlines-mode 0))
533 (goto-char (or c-prev-pt (point-min)))
534 (forward-line (- c-begin c-prev))
535 (setq c-begin-pt (point))
536 (forward-line (- c-end c-begin))
537 (setq c-end-pt (point)
538 c-prev c-end
539 c-prev-pt c-end-pt)
540 (if (eq longlines-mode-val 1)
541 (longlines-mode longlines-mode-val))
542 )))
543 (setq diff-list
544 (nconc
545 diff-list
546 (list
547 (if (ediff-buffer-live-p C-buffer)
548 (vector
549 a-begin-pt a-end-pt b-begin-pt b-end-pt
550 c-begin-pt c-end-pt
551 nil nil ; dummy ancestor
552 ;; state of diff
553 ;; shows which buff is different from the other two
554 (if (eq ediff-default-variant 'default-B) 'A 'B)
555 ediff-default-variant ; state of merge
556 nil ; state of ancestor
557 )
558 (vector a-begin-pt a-end-pt
559 b-begin-pt b-end-pt
560 nil nil ; dummy buf C
561 nil nil ; dummy ancestor
562 nil nil ; dummy state of diff & merge
563 nil ; dummy state of ancestor
564 )))
565 )))
566
567 ))) ; end ediff-with-current-buffer
568 diff-list
569 ))
570
571
572 (defun ediff-convert-diffs-to-overlays (diff-list)
573 (ediff-set-diff-overlays-in-one-buffer 'A diff-list)
574 (ediff-set-diff-overlays-in-one-buffer 'B diff-list)
575 (if ediff-3way-job
576 (ediff-set-diff-overlays-in-one-buffer 'C diff-list))
577 (if ediff-merge-with-ancestor-job
578 (ediff-set-diff-overlays-in-one-buffer 'Ancestor diff-list))
579 ;; set up vector showing the status of merge regions
580 (if ediff-merge-job
581 (setq ediff-state-of-merge
582 (vconcat
583 (mapcar (lambda (elt)
584 (let ((state-of-merge (aref elt 9))
585 (state-of-ancestor (aref elt 10)))
586 (vector
587 ;; state of merge: prefers/default-A/B or combined
588 (if state-of-merge (format "%S" state-of-merge))
589 ;; whether the ancestor region is empty
590 state-of-ancestor)))
591 ;; the first elt designates type of list
592 (cdr diff-list))
593 )))
594 (message "Processing difference regions ... done"))
595
596
597 (defun ediff-set-diff-overlays-in-one-buffer (buf-type diff-list)
598 (let* ((current-diff -1)
599 (buff (ediff-get-buffer buf-type))
600 (ctl-buf ediff-control-buffer)
601 ;; ediff-extract-diffs puts the type of diff-list as the first elt
602 ;; of this list. The type is either 'points or 'words
603 (diff-list-type (car diff-list))
604 (shift (ediff-overlay-start
605 (ediff-get-value-according-to-buffer-type
606 buf-type ediff-narrow-bounds)))
607 (limit (ediff-overlay-end
608 (ediff-get-value-according-to-buffer-type
609 buf-type ediff-narrow-bounds)))
610 diff-overlay-list list-element total-diffs
611 begin end pt-saved overlay state-of-diff)
612
613 (setq diff-list (cdr diff-list)) ; discard diff list type
614 (setq total-diffs (length diff-list))
615
616 ;; shift, if necessary
617 (ediff-with-current-buffer buff (setq pt-saved shift))
618
619 (while diff-list
620 (setq current-diff (1+ current-diff)
621 list-element (car diff-list)
622 begin (aref list-element (cond ((eq buf-type 'A) 0)
623 ((eq buf-type 'B) 2)
624 ((eq buf-type 'C) 4)
625 (t 6))) ; Ancestor
626 end (aref list-element (cond ((eq buf-type 'A) 1)
627 ((eq buf-type 'B) 3)
628 ((eq buf-type 'C) 5)
629 (t 7))) ; Ancestor
630 state-of-diff (aref list-element 8)
631 )
632
633 (cond ((and (not (eq buf-type state-of-diff))
634 (not (eq buf-type 'Ancestor))
635 (memq state-of-diff '(A B C)))
636 (setq state-of-diff
637 (car (delq buf-type (delq state-of-diff (list 'A 'B 'C)))))
638 (setq state-of-diff (format "=diff(%S)" state-of-diff))
639 )
640 (t (setq state-of-diff nil)))
641
642 ;; Put overlays at appropriate places in buffer
643 ;; convert word numbers to points, if necessary
644 (if (eq diff-list-type 'words)
645 (progn
646 (ediff-with-current-buffer buff (goto-char pt-saved))
647 (ediff-with-current-buffer ctl-buf
648 (setq begin (ediff-goto-word (1+ begin) buff)
649 end (ediff-goto-word end buff 'end)))
650 (if (> end limit) (setq end limit))
651 (if (> begin end) (setq begin end))
652 (setq pt-saved (ediff-with-current-buffer buff (point)))))
653 (setq overlay (ediff-make-bullet-proof-overlay begin end buff))
654
655 (ediff-overlay-put overlay 'priority ediff-shadow-overlay-priority)
656 (ediff-overlay-put overlay 'ediff-diff-num current-diff)
657 (if (and (ediff-has-face-support-p)
658 ediff-use-faces ediff-highlight-all-diffs)
659 (ediff-set-overlay-face
660 overlay (ediff-background-face buf-type current-diff)))
661
662 (if (= 0 (mod current-diff 10))
663 (message "Buffer %S: Processing difference region %d of %d"
664 buf-type current-diff total-diffs))
665 ;; Record all overlays for this difference.
666 ;; The 2-d elt, nil, is a place holder for the fine diff vector.
667 ;; The 3-d elt, nil, is a place holder for no-fine-diffs flag.
668 ;; The 4-th elt says which diff region is different from the other two
669 ;; (3-way jobs only).
670 (setq diff-overlay-list
671 (nconc
672 diff-overlay-list
673 (list (vector overlay nil nil state-of-diff)))
674 diff-list
675 (cdr diff-list))
676 ) ; while
677
678 (set (ediff-get-symbol-from-alist buf-type ediff-difference-vector-alist)
679 (vconcat diff-overlay-list))
680 ))
681
682 ;; `n' is the diff region to work on. Default is ediff-current-difference.
683 ;; if `flag' is 'noforce then make fine-diffs only if this region's fine
684 ;; diffs have not been computed before.
685 ;; if `flag' is 'skip then don't compute fine diffs for this region.
686 (defun ediff-make-fine-diffs (&optional n flag)
687 (or n (setq n ediff-current-difference))
688
689 (if (< ediff-number-of-differences 1)
690 (error ediff-NO-DIFFERENCES))
691
692 (if ediff-word-mode
693 (setq flag 'skip
694 ediff-auto-refine 'nix))
695
696 (or (< n 0)
697 (>= n ediff-number-of-differences)
698 ;; n is within the range
699 (let ((tmp-buffer (get-buffer-create ediff-tmp-buffer))
700 (file-A ediff-temp-file-A)
701 (file-B ediff-temp-file-B)
702 (file-C ediff-temp-file-C)
703 (empty-A (ediff-empty-diff-region-p n 'A))
704 (empty-B (ediff-empty-diff-region-p n 'B))
705 (empty-C (ediff-empty-diff-region-p n 'C))
706 (whitespace-A (ediff-whitespace-diff-region-p n 'A))
707 (whitespace-B (ediff-whitespace-diff-region-p n 'B))
708 (whitespace-C (ediff-whitespace-diff-region-p n 'C))
709 cumulative-fine-diff-length)
710
711 (cond ;; If one of the regions is empty (or 2 in 3way comparison)
712 ;; then don't refine.
713 ;; If the region happens to be entirely whitespace or empty then
714 ;; mark as such.
715 ((> (length (delq nil (list empty-A empty-B empty-C))) 1)
716 (if (and (ediff-looks-like-combined-merge n)
717 ediff-merge-job)
718 (ediff-set-fine-overlays-in-one-buffer 'C nil n))
719 (if ediff-3way-comparison-job
720 (ediff-message-if-verbose
721 "Region %d is empty in all buffers but %S"
722 (1+ n)
723 (cond ((not empty-A) 'A)
724 ((not empty-B) 'B)
725 ((not empty-C) 'C)))
726 (ediff-message-if-verbose
727 "Region %d in buffer %S is empty"
728 (1+ n)
729 (cond (empty-A 'A)
730 (empty-B 'B)
731 (empty-C 'C)))
732 )
733 ;; if all regions happen to be whitespace
734 (if (and whitespace-A whitespace-B whitespace-C)
735 ;; mark as space only
736 (ediff-mark-diff-as-space-only n t)
737 ;; if some regions are white and others don't, then mark as
738 ;; non-white-space-only
739 (ediff-mark-diff-as-space-only n nil)))
740
741 ;; don't compute fine diffs if diff vector exists
742 ((and (eq flag 'noforce) (ediff-get-fine-diff-vector n 'A))
743 (if (ediff-no-fine-diffs-p n)
744 (message
745 "Only white-space differences in region %d %s"
746 (1+ n)
747 (cond ((eq (ediff-no-fine-diffs-p n) 'A)
748 "in buffers B & C")
749 ((eq (ediff-no-fine-diffs-p n) 'B)
750 "in buffers A & C")
751 ((eq (ediff-no-fine-diffs-p n) 'C)
752 "in buffers A & B")
753 (t "")))))
754 ;; don't compute fine diffs for this region
755 ((eq flag 'skip)
756 (or (ediff-get-fine-diff-vector n 'A)
757 (memq ediff-auto-refine '(off nix))
758 (ediff-message-if-verbose
759 "Region %d exceeds the auto-refinement limit. Type `%s' to refine"
760 (1+ n)
761 (substitute-command-keys
762 "\\[ediff-make-or-kill-fine-diffs]")
763 )))
764 (t
765 ;; recompute fine diffs
766 (ediff-wordify
767 (ediff-get-diff-posn 'A 'beg n)
768 (ediff-get-diff-posn 'A 'end n)
769 ediff-buffer-A
770 tmp-buffer
771 ediff-control-buffer)
772 (setq file-A
773 (ediff-make-temp-file tmp-buffer "fineDiffA" file-A))
774
775 (ediff-wordify
776 (ediff-get-diff-posn 'B 'beg n)
777 (ediff-get-diff-posn 'B 'end n)
778 ediff-buffer-B
779 tmp-buffer
780 ediff-control-buffer)
781 (setq file-B
782 (ediff-make-temp-file tmp-buffer "fineDiffB" file-B))
783
784 (if ediff-3way-job
785 (progn
786 (ediff-wordify
787 (ediff-get-diff-posn 'C 'beg n)
788 (ediff-get-diff-posn 'C 'end n)
789 ediff-buffer-C
790 tmp-buffer
791 ediff-control-buffer)
792 (setq file-C
793 (ediff-make-temp-file
794 tmp-buffer "fineDiffC" file-C))))
795
796 ;; save temp file names.
797 (setq ediff-temp-file-A file-A
798 ediff-temp-file-B file-B
799 ediff-temp-file-C file-C)
800
801 ;; set the new vector of fine diffs, if none exists
802 (cond ((and ediff-3way-job whitespace-A)
803 (ediff-setup-fine-diff-regions nil file-B file-C n))
804 ((and ediff-3way-job whitespace-B)
805 (ediff-setup-fine-diff-regions file-A nil file-C n))
806 ((and ediff-3way-job
807 ;; In merge-jobs, whitespace-C is t, since
808 ;; ediff-empty-diff-region-p returns t in this case
809 whitespace-C)
810 (ediff-setup-fine-diff-regions file-A file-B nil n))
811 (t
812 (ediff-setup-fine-diff-regions file-A file-B file-C n)))
813
814 (setq cumulative-fine-diff-length
815 (+ (length (ediff-get-fine-diff-vector n 'A))
816 (length (ediff-get-fine-diff-vector n 'B))
817 ;; in merge jobs, the merge buffer is never refined
818 (if (and file-C (not ediff-merge-job))
819 (length (ediff-get-fine-diff-vector n 'C))
820 0)))
821
822 (cond ((or
823 ;; all regions are white space
824 (and whitespace-A whitespace-B whitespace-C)
825 ;; none is white space and no fine diffs detected
826 (and (not whitespace-A)
827 (not whitespace-B)
828 (not (and ediff-3way-job whitespace-C))
829 (eq cumulative-fine-diff-length 0)))
830 (ediff-mark-diff-as-space-only n t)
831 (ediff-message-if-verbose
832 "Only white-space differences in region %d" (1+ n)))
833 ((eq cumulative-fine-diff-length 0)
834 (ediff-message-if-verbose
835 "Only white-space differences in region %d %s"
836 (1+ n)
837 (cond (whitespace-A (ediff-mark-diff-as-space-only n 'A)
838 "in buffers B & C")
839 (whitespace-B (ediff-mark-diff-as-space-only n 'B)
840 "in buffers A & C")
841 (whitespace-C (ediff-mark-diff-as-space-only n 'C)
842 "in buffers A & B"))))
843 (t
844 (ediff-mark-diff-as-space-only n nil)))
845 )
846 ) ; end cond
847 (ediff-set-fine-diff-properties n)
848 )))
849
850 ;; Interface to ediff-make-fine-diffs. Checks for auto-refine limit, etc.
851 (defun ediff-install-fine-diff-if-necessary (n)
852 (cond ((and (eq ediff-auto-refine 'on)
853 ediff-use-faces
854 (not (eq ediff-highlighting-style 'off))
855 (not (eq ediff-highlighting-style 'ascii)))
856 (if (and
857 (> ediff-auto-refine-limit
858 (- (ediff-get-diff-posn 'A 'end n)
859 (ediff-get-diff-posn 'A 'beg n)))
860 (> ediff-auto-refine-limit
861 (- (ediff-get-diff-posn 'B 'end n)
862 (ediff-get-diff-posn 'B 'beg n))))
863 (ediff-make-fine-diffs n 'noforce)
864 (ediff-make-fine-diffs n 'skip)))
865
866 ;; highlight iff fine diffs already exist
867 ((eq ediff-auto-refine 'off)
868 (ediff-make-fine-diffs n 'skip))))
869
870
871 ;; if fine diff vector is not set for diff N, then do nothing
872 (defun ediff-set-fine-diff-properties (n &optional default)
873 (or (not (ediff-has-face-support-p))
874 (< n 0)
875 (>= n ediff-number-of-differences)
876 ;; when faces are supported, set faces and priorities of fine overlays
877 (progn
878 (ediff-set-fine-diff-properties-in-one-buffer 'A n default)
879 (ediff-set-fine-diff-properties-in-one-buffer 'B n default)
880 (if ediff-3way-job
881 (ediff-set-fine-diff-properties-in-one-buffer 'C n default)))))
882
883 (defun ediff-set-fine-diff-properties-in-one-buffer (buf-type
884 n &optional default)
885 (let ((fine-diff-vector (ediff-get-fine-diff-vector n buf-type))
886 (face (if default
887 'default
888 (face-name
889 (ediff-get-symbol-from-alist
890 buf-type ediff-fine-diff-face-alist))))
891 (priority (if default
892 0
893 (1+ (or (ediff-overlay-get
894 (symbol-value
895 (ediff-get-symbol-from-alist
896 buf-type
897 ediff-current-diff-overlay-alist))
898 'priority)
899 0)))))
900 (mapcar (lambda (overl)
901 (ediff-set-overlay-face overl face)
902 (ediff-overlay-put overl 'priority priority))
903 fine-diff-vector)))
904
905 ;; Set overlays over the regions that denote delimiters
906 (defun ediff-set-fine-overlays-for-combined-merge (diff-list reg-num)
907 (let (overlay overlay-list)
908 (while diff-list
909 (condition-case nil
910 (setq overlay
911 (ediff-make-bullet-proof-overlay
912 (nth 0 diff-list) (nth 1 diff-list) ediff-buffer-C))
913 (error ""))
914 (setq overlay-list (cons overlay overlay-list))
915 (if (> (length diff-list) 1)
916 (setq diff-list (cdr (cdr diff-list)))
917 (error "ediff-set-fine-overlays-for-combined-merge: corrupt list of
918 delimiter regions"))
919 )
920 (setq overlay-list (reverse overlay-list))
921 (ediff-set-fine-diff-vector
922 reg-num 'C (apply 'vector overlay-list))
923 ))
924
925
926 ;; Convert diff list to overlays for a given DIFF-REGION
927 ;; in buffer of type BUF-TYPE
928 (defun ediff-set-fine-overlays-in-one-buffer (buf-type diff-list region-num)
929 (let* ((current-diff -1)
930 (reg-start (ediff-get-diff-posn buf-type 'beg region-num))
931 (buff (ediff-get-buffer buf-type))
932 (ctl-buf ediff-control-buffer)
933 combined-merge-diff-list
934 diff-overlay-list list-element
935 begin end overlay)
936
937 (ediff-clear-fine-differences-in-one-buffer region-num buf-type)
938 (setq diff-list (cdr diff-list)) ; discard list type (words or points)
939 (ediff-with-current-buffer buff (goto-char reg-start))
940
941 ;; if it is a combined merge then set overlays in buff C specially
942 (if (and ediff-merge-job (eq buf-type 'C)
943 (setq combined-merge-diff-list
944 (ediff-looks-like-combined-merge region-num)))
945 (ediff-set-fine-overlays-for-combined-merge
946 combined-merge-diff-list region-num)
947 ;; regular fine diff
948 (while diff-list
949 (setq current-diff (1+ current-diff)
950 list-element (car diff-list)
951 begin (aref list-element (cond ((eq buf-type 'A) 0)
952 ((eq buf-type 'B) 2)
953 (t 4))) ; buf C
954 end (aref list-element (cond ((eq buf-type 'A) 1)
955 ((eq buf-type 'B) 3)
956 (t 5)))) ; buf C
957 (if (not (or begin end))
958 () ; skip this diff
959 ;; Put overlays at appropriate places in buffers
960 ;; convert lines to points, if necessary
961 (ediff-with-current-buffer ctl-buf
962 (setq begin (ediff-goto-word (1+ begin) buff)
963 end (ediff-goto-word end buff 'end)))
964 (setq overlay (ediff-make-bullet-proof-overlay begin end buff))
965 ;; record all overlays for this difference region
966 (setq diff-overlay-list (nconc diff-overlay-list (list overlay))))
967
968 (setq diff-list (cdr diff-list))
969 ) ; while
970 ;; convert the list of difference information into a vector
971 ;; for fast access
972 (ediff-set-fine-diff-vector
973 region-num buf-type (vconcat diff-overlay-list))
974 )))
975
976
977 (defsubst ediff-convert-fine-diffs-to-overlays (diff-list region-num)
978 (ediff-set-fine-overlays-in-one-buffer 'A diff-list region-num)
979 (ediff-set-fine-overlays-in-one-buffer 'B diff-list region-num)
980 (if ediff-3way-job
981 (ediff-set-fine-overlays-in-one-buffer 'C diff-list region-num)
982 ))
983
984
985 ;; Stolen from emerge.el
986 (defun ediff-get-diff3-group (file)
987 ;; This save-excursion allows ediff-get-diff3-group to be called for the
988 ;; various groups of lines (1, 2, 3) in any order, and for the lines to
989 ;; appear in any order. The reason this is necessary is that Gnu diff3
990 ;; can produce the groups in the order 1, 2, 3 or 1, 3, 2.
991 (save-excursion
992 (re-search-forward
993 (concat "^" file ":\\([0-9]+\\)\\(,\\([0-9]+\\)\\)?\\([ac]\\)\C-m?$"))
994 (beginning-of-line 2)
995 ;; treatment depends on whether it is an "a" group or a "c" group
996 (if (string-equal (buffer-substring (match-beginning 4) (match-end 4)) "c")
997 ;; it is a "c" group
998 (if (match-beginning 2)
999 ;; it has two numbers
1000 (list (string-to-number
1001 (buffer-substring (match-beginning 1) (match-end 1)))
1002 (1+ (string-to-number
1003 (buffer-substring (match-beginning 3) (match-end 3)))))
1004 ;; it has one number
1005 (let ((x (string-to-number
1006 (buffer-substring (match-beginning 1) (match-end 1)))))
1007 (list x (1+ x))))
1008 ;; it is an "a" group
1009 (let ((x (1+ (string-to-number
1010 (buffer-substring (match-beginning 1) (match-end 1))))))
1011 (list x x)))))
1012
1013
1014 ;; If WORD-MODE, construct vector of diffs using word numbers.
1015 ;; Else, use point values.
1016 ;; WORD-MODE also tells if we are in the word-mode or not.
1017 ;; If THREE-WAY-COMP, then it is a 3-way comparison. Else, it is merging
1018 ;; with ancestor, in which case buffer-C contents is identical to buffer-A/B,
1019 ;; contents (unless buffer-A is narrowed) depending on ediff-default-variant's
1020 ;; value.
1021 ;; BOUNDS specifies visibility bounds to use.
1022 (defun ediff-extract-diffs3 (diff-buffer word-mode three-way-comp
1023 &optional bounds)
1024 (let ((A-buffer ediff-buffer-A)
1025 (B-buffer ediff-buffer-B)
1026 (C-buffer ediff-buffer-C)
1027 (anc-buffer ediff-ancestor-buffer)
1028 (a-prev 1) ; needed to set the first diff line correctly
1029 (a-prev-pt nil)
1030 (b-prev 1)
1031 (b-prev-pt nil)
1032 (c-prev 1)
1033 (c-prev-pt nil)
1034 (anc-prev 1)
1035 diff-list shift-A shift-B shift-C
1036 )
1037
1038 ;; diff list contains word numbers or points, depending on word-mode
1039 (setq diff-list (cons (if word-mode 'words 'points)
1040 diff-list))
1041 (if bounds
1042 (setq shift-A
1043 (ediff-overlay-start
1044 (ediff-get-value-according-to-buffer-type 'A bounds))
1045 shift-B
1046 (ediff-overlay-start
1047 (ediff-get-value-according-to-buffer-type 'B bounds))
1048 shift-C
1049 (if three-way-comp
1050 (ediff-overlay-start
1051 (ediff-get-value-according-to-buffer-type 'C bounds)))))
1052
1053 ;; reset point in buffers A, B, C
1054 (ediff-with-current-buffer A-buffer
1055 (goto-char (if shift-A shift-A (point-min))))
1056 (ediff-with-current-buffer B-buffer
1057 (goto-char (if shift-B shift-B (point-min))))
1058 (if three-way-comp
1059 (ediff-with-current-buffer C-buffer
1060 (goto-char (if shift-C shift-C (point-min)))))
1061 (if (ediff-buffer-live-p anc-buffer)
1062 (ediff-with-current-buffer anc-buffer
1063 (goto-char (point-min))))
1064
1065 (ediff-with-current-buffer diff-buffer
1066 (goto-char (point-min))
1067 (while (re-search-forward ediff-match-diff3-line nil t)
1068 ;; leave point after matched line
1069 (beginning-of-line 2)
1070 (let ((agreement (buffer-substring (match-beginning 1) (match-end 1))))
1071 ;; if the files A and B are the same and not 3way-comparison,
1072 ;; ignore the difference
1073 (if (or three-way-comp (not (string-equal agreement "3")))
1074 (let* ((a-begin (car (ediff-get-diff3-group "1")))
1075 (a-end (nth 1 (ediff-get-diff3-group "1")))
1076 (b-begin (car (ediff-get-diff3-group "2")))
1077 (b-end (nth 1 (ediff-get-diff3-group "2")))
1078 (c-or-anc-begin (car (ediff-get-diff3-group "3")))
1079 (c-or-anc-end (nth 1 (ediff-get-diff3-group "3")))
1080 (state-of-merge
1081 (cond ((string-equal agreement "1") 'prefer-A)
1082 ((string-equal agreement "2") 'prefer-B)
1083 (t ediff-default-variant)))
1084 (state-of-diff-merge
1085 (if (memq state-of-merge '(default-A prefer-A)) 'B 'A))
1086 (state-of-diff-comparison
1087 (cond ((string-equal agreement "1") 'A)
1088 ((string-equal agreement "2") 'B)
1089 ((string-equal agreement "3") 'C)))
1090 state-of-ancestor
1091 c-begin c-end
1092 a-begin-pt a-end-pt
1093 b-begin-pt b-end-pt
1094 c-begin-pt c-end-pt
1095 anc-begin-pt anc-end-pt)
1096
1097 (setq state-of-ancestor
1098 (= c-or-anc-begin c-or-anc-end))
1099
1100 (cond (three-way-comp
1101 (setq c-begin c-or-anc-begin
1102 c-end c-or-anc-end))
1103 ((eq ediff-default-variant 'default-B)
1104 (setq c-begin b-begin
1105 c-end b-end))
1106 (t
1107 (setq c-begin a-begin
1108 c-end a-end)))
1109
1110 ;; compute main diff vector
1111 (if word-mode
1112 ;; make diff-list contain word numbers
1113 (setq diff-list
1114 (nconc diff-list
1115 (list (vector
1116 (- a-begin a-prev) (- a-end a-begin)
1117 (- b-begin b-prev) (- b-end b-begin)
1118 (- c-begin c-prev) (- c-end c-begin)
1119 nil nil ; dummy ancestor
1120 nil ; state of diff
1121 nil ; state of merge
1122 nil ; state of ancestor
1123 )))
1124 a-prev a-end
1125 b-prev b-end
1126 c-prev c-end)
1127 ;; else convert lines to points
1128 (ediff-with-current-buffer A-buffer
1129 (let ((longlines-mode-val
1130 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
1131 ;; we must disable and then restore longlines-mode
1132 (if (eq longlines-mode-val 1)
1133 (longlines-mode 0))
1134 (goto-char (or a-prev-pt shift-A (point-min)))
1135 (forward-line (- a-begin a-prev))
1136 (setq a-begin-pt (point))
1137 (forward-line (- a-end a-begin))
1138 (setq a-end-pt (point)
1139 a-prev a-end
1140 a-prev-pt a-end-pt)
1141 (if (eq longlines-mode-val 1)
1142 (longlines-mode longlines-mode-val))
1143 ))
1144 (ediff-with-current-buffer B-buffer
1145 (let ((longlines-mode-val
1146 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
1147 (if (eq longlines-mode-val 1)
1148 (longlines-mode 0))
1149 (goto-char (or b-prev-pt shift-B (point-min)))
1150 (forward-line (- b-begin b-prev))
1151 (setq b-begin-pt (point))
1152 (forward-line (- b-end b-begin))
1153 (setq b-end-pt (point)
1154 b-prev b-end
1155 b-prev-pt b-end-pt)
1156 (if (eq longlines-mode-val 1)
1157 (longlines-mode longlines-mode-val))
1158 ))
1159 (ediff-with-current-buffer C-buffer
1160 (let ((longlines-mode-val
1161 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
1162 (if (eq longlines-mode-val 1)
1163 (longlines-mode 0))
1164 (goto-char (or c-prev-pt shift-C (point-min)))
1165 (forward-line (- c-begin c-prev))
1166 (setq c-begin-pt (point))
1167 (forward-line (- c-end c-begin))
1168 (setq c-end-pt (point)
1169 c-prev c-end
1170 c-prev-pt c-end-pt)
1171 (if (eq longlines-mode-val 1)
1172 (longlines-mode longlines-mode-val))
1173 ))
1174 (if (ediff-buffer-live-p anc-buffer)
1175 (ediff-with-current-buffer anc-buffer
1176 (let ((longlines-mode-val
1177 (if (and (boundp 'longlines-mode) longlines-mode) 1 0)))
1178 (if (eq longlines-mode-val 1)
1179 (longlines-mode 0))
1180 (forward-line (- c-or-anc-begin anc-prev))
1181 (setq anc-begin-pt (point))
1182 (forward-line (- c-or-anc-end c-or-anc-begin))
1183 (setq anc-end-pt (point)
1184 anc-prev c-or-anc-end)
1185 (if (eq longlines-mode-val 1)
1186 (longlines-mode longlines-mode-val))
1187 )))
1188 (setq diff-list
1189 (nconc
1190 diff-list
1191 ;; if comparing with ancestor, then there also is a
1192 ;; state-of-difference marker
1193 (if three-way-comp
1194 (list (vector
1195 a-begin-pt a-end-pt
1196 b-begin-pt b-end-pt
1197 c-begin-pt c-end-pt
1198 nil nil ; ancestor begin/end
1199 state-of-diff-comparison
1200 nil ; state of merge
1201 nil ; state of ancestor
1202 ))
1203 (list (vector a-begin-pt a-end-pt
1204 b-begin-pt b-end-pt
1205 c-begin-pt c-end-pt
1206 anc-begin-pt anc-end-pt
1207 state-of-diff-merge
1208 state-of-merge
1209 state-of-ancestor
1210 )))
1211 )))
1212 ))
1213
1214 ))) ; end ediff-with-current-buffer
1215 diff-list
1216 ))
1217
1218 ;; Generate the difference vector and overlays for three files
1219 ;; File-C is either the third file to compare (in case of 3-way comparison)
1220 ;; or it is the ancestor file.
1221 (defun ediff-setup-diff-regions3 (file-A file-B file-C)
1222 ;; looking for '-i' or a 'i' among clustered non-long options
1223 (if (string-match "^-i\\| -i\\|\\(^\\| \\)-[^- ]+i" ediff-diff-options)
1224 (error "Option `-i' is not allowed in `ediff-diff3-options'"))
1225
1226 (or (ediff-buffer-live-p ediff-diff-buffer)
1227 (setq ediff-diff-buffer
1228 (get-buffer-create (ediff-unique-buffer-name "*ediff-diff" "*"))))
1229
1230 (message "Computing differences ...")
1231 (ediff-exec-process ediff-diff3-program ediff-diff-buffer 'synchronize
1232 ediff-actual-diff3-options file-A file-B file-C)
1233
1234 (ediff-prepare-error-list ediff-diff3-ok-lines-regexp ediff-diff-buffer)
1235 ;;(message "Computing differences ... done")
1236 (ediff-convert-diffs-to-overlays
1237 (ediff-extract-diffs3
1238 ediff-diff-buffer
1239 ediff-word-mode ediff-3way-comparison-job ediff-narrow-bounds)
1240 ))
1241
1242
1243 ;; Execute PROGRAM asynchronously, unless OS/2, Windows-*, or DOS, or unless
1244 ;; SYNCH is non-nil. BUFFER must be a buffer object, and must be alive. The
1245 ;; OPTIONS arg is a list of options to pass to PROGRAM. It may be a blank
1246 ;; string. All elements in FILES must be strings. We also delete nil from
1247 ;; args.
1248 (defun ediff-exec-process (program buffer synch options &rest files)
1249 (let ((data (match-data))
1250 (coding-system-for-read ediff-coding-system-for-read)
1251 args)
1252 (setq args (append (split-string options) files))
1253 (setq args (delete "" (delq nil args))) ; delete nil and "" from arguments
1254 ;; the --binary option, if present, should be used only for buffer jobs
1255 ;; or for refining the differences
1256 (or (string-match "buffer" (symbol-name ediff-job-name))
1257 (eq buffer ediff-fine-diff-buffer)
1258 (setq args (delete "--binary" args)))
1259 (unwind-protect
1260 (let ((directory default-directory)
1261 proc)
1262 (save-excursion
1263 (set-buffer buffer)
1264 (erase-buffer)
1265 (setq default-directory directory)
1266 (if (or (memq system-type '(emx ms-dos windows-nt windows-95))
1267 synch)
1268 ;; In OS/2 (emx) do it synchronously, since OS/2 doesn't let us
1269 ;; delete files used by other processes. Thus, in ediff-buffers
1270 ;; and similar functions, we can't delete temp files because
1271 ;; they might be used by the asynch process that computes
1272 ;; custom diffs. So, we have to wait till custom diff
1273 ;; subprocess is done.
1274 ;; Similarly for Windows-*
1275 ;; In DOS, must synchronize because DOS doesn't have
1276 ;; asynchronous processes.
1277 (condition-case nil
1278 (apply 'call-process program nil buffer nil args)
1279 (error (format "Cannot execute program %S." program)))
1280 ;; On other systems, do it asynchronously.
1281 (setq proc (get-buffer-process buffer))
1282 (if proc (kill-process proc))
1283 (setq proc
1284 (apply 'start-process "Custom Diff" buffer program args))
1285 (setq mode-line-process '(":%s"))
1286 (set-process-sentinel proc 'ediff-process-sentinel)
1287 (set-process-filter proc 'ediff-process-filter)
1288 )))
1289 (store-match-data data))))
1290
1291 ;; This is shell-command-filter from simple.el in Emacs.
1292 ;; Copied here because XEmacs doesn't have it.
1293 (defun ediff-process-filter (proc string)
1294 ;; Do save-excursion by hand so that we can leave point numerically unchanged
1295 ;; despite an insertion immediately after it.
1296 (let* ((obuf (current-buffer))
1297 (buffer (process-buffer proc))
1298 opoint
1299 (window (get-buffer-window buffer))
1300 (pos (window-start window)))
1301 (unwind-protect
1302 (progn
1303 (set-buffer buffer)
1304 (or (= (point) (point-max))
1305 (setq opoint (point)))
1306 (goto-char (point-max))
1307 (insert-before-markers string))
1308 ;; insert-before-markers moved this marker: set it back.
1309 (set-window-start window pos)
1310 ;; Finish our save-excursion.
1311 (if opoint
1312 (goto-char opoint))
1313 (set-buffer obuf))))
1314
1315 ;; like shell-command-sentinel but doesn't print an exit status message
1316 ;; we do this because diff always exits with status 1, if diffs are found
1317 ;; so shell-command-sentinel displays a confusing message to the user
1318 (defun ediff-process-sentinel (process signal)
1319 (if (and (memq (process-status process) '(exit signal))
1320 (buffer-name (process-buffer process)))
1321 (progn
1322 (save-excursion
1323 (set-buffer (process-buffer process))
1324 (setq mode-line-process nil))
1325 (delete-process process))))
1326
1327
1328 ;;; Word functions used to refine the current diff
1329
1330 (defvar ediff-forward-word-function 'ediff-forward-word
1331 "*Function to call to move to the next word.
1332 Used for splitting difference regions into individual words.")
1333 (make-variable-buffer-local 'ediff-forward-word-function)
1334
1335 ;; \240 is unicode symbol for nonbreakable whitespace
1336 (defvar ediff-whitespace " \n\t\f\r\240"
1337 "*Characters constituting white space.
1338 These characters are ignored when differing regions are split into words.")
1339 (make-variable-buffer-local 'ediff-whitespace)
1340
1341 (defvar ediff-word-1
1342 (ediff-cond-compile-for-xemacs-or-emacs "a-zA-Z---_" "-[:word:]_")
1343 "*Characters that constitute words of type 1.
1344 More precisely, [ediff-word-1] is a regexp that matches type 1 words.
1345 See `ediff-forward-word' for more details.")
1346 (make-variable-buffer-local 'ediff-word-1)
1347
1348 (defvar ediff-word-2 "0-9.,"
1349 "*Characters that constitute words of type 2.
1350 More precisely, [ediff-word-2] is a regexp that matches type 2 words.
1351 See `ediff-forward-word' for more details.")
1352 (make-variable-buffer-local 'ediff-word-2)
1353
1354 (defvar ediff-word-3 "`'?!:;\"{}[]()"
1355 "*Characters that constitute words of type 3.
1356 More precisely, [ediff-word-3] is a regexp that matches type 3 words.
1357 See `ediff-forward-word' for more details.")
1358 (make-variable-buffer-local 'ediff-word-3)
1359
1360 (defvar ediff-word-4
1361 (concat "^" ediff-word-1 ediff-word-2 ediff-word-3 ediff-whitespace)
1362 "*Characters that constitute words of type 4.
1363 More precisely, [ediff-word-4] is a regexp that matches type 4 words.
1364 See `ediff-forward-word' for more details.")
1365 (make-variable-buffer-local 'ediff-word-4)
1366
1367 ;; Split region along word boundaries. Each word will be on its own line.
1368 ;; Output to buffer out-buffer.
1369 (defun ediff-forward-word ()
1370 "Move point one word forward.
1371 There are four types of words, each of which consists entirely of
1372 characters in `ediff-word-1', `ediff-word-2', `ediff-word-3', or
1373 `ediff-word-4'. Words are recognized by passing these one after another as
1374 arguments to `skip-chars-forward'."
1375 (or (> (+ (skip-chars-forward ediff-word-1)
1376 (skip-syntax-forward "w"))
1377 0)
1378 (> (skip-chars-forward ediff-word-2) 0)
1379 (> (skip-chars-forward ediff-word-3) 0)
1380 (> (skip-chars-forward ediff-word-4) 0)
1381 ))
1382
1383
1384 (defun ediff-wordify (beg end in-buffer out-buffer &optional control-buf)
1385 (let ((forward-word-function
1386 ;; eval in control buf to let user create local versions for
1387 ;; different invocations
1388 (if control-buf
1389 (ediff-with-current-buffer control-buf
1390 ediff-forward-word-function)
1391 ediff-forward-word-function))
1392 inbuf-syntax-tbl sv-point diff-string)
1393 (save-excursion
1394 (set-buffer in-buffer)
1395 (setq inbuf-syntax-tbl
1396 (if control-buf
1397 (ediff-with-current-buffer control-buf
1398 ediff-syntax-table)
1399 (syntax-table)))
1400 (setq diff-string (buffer-substring-no-properties beg end))
1401
1402 (set-buffer out-buffer)
1403 ;; Make sure that temp buff syntax table is the same as the original buf
1404 ;; syntax tbl, because we use ediff-forward-word in both and
1405 ;; ediff-forward-word depends on the syntax classes of characters.
1406 (set-syntax-table inbuf-syntax-tbl)
1407 (erase-buffer)
1408 (insert diff-string)
1409 (goto-char (point-min))
1410 (skip-chars-forward ediff-whitespace)
1411 (delete-region (point-min) (point))
1412
1413 (while (not (eobp))
1414 (funcall forward-word-function)
1415 (setq sv-point (point))
1416 (skip-chars-forward ediff-whitespace)
1417 (delete-region sv-point (point))
1418 (insert "\n")))))
1419
1420 ;; copy string specified as BEG END from IN-BUF to OUT-BUF
1421 (defun ediff-copy-to-buffer (beg end in-buffer out-buffer)
1422 (with-current-buffer out-buffer
1423 (erase-buffer)
1424 (insert-buffer-substring in-buffer beg end)
1425 (goto-char (point-min))))
1426
1427
1428 ;; goto word #n starting at current position in buffer `buf'
1429 ;; For ediff, a word is determined by ediff-forward-word-function
1430 ;; If `flag' is non-nil, goto the end of the n-th word.
1431 (defun ediff-goto-word (n buf &optional flag)
1432 ;; remember val ediff-forward-word-function has in ctl buf
1433 (let ((fwd-word-fun ediff-forward-word-function)
1434 (syntax-tbl ediff-syntax-table))
1435 (ediff-with-current-buffer buf
1436 (skip-chars-forward ediff-whitespace)
1437 (ediff-with-syntax-table syntax-tbl
1438 (while (> n 1)
1439 (funcall fwd-word-fun)
1440 (skip-chars-forward ediff-whitespace)
1441 (setq n (1- n)))
1442 (if (and flag (> n 0))
1443 (funcall fwd-word-fun)))
1444 (point))))
1445
1446 (defun ediff-same-file-contents (f1 f2)
1447 "Return t if files F1 and F2 have identical contents."
1448 (if (and (not (file-directory-p f1))
1449 (not (file-directory-p f2)))
1450 (condition-case nil
1451 (let ((res
1452 (apply 'call-process ediff-cmp-program nil nil nil
1453 (append ediff-cmp-options (list (expand-file-name f1)
1454 (expand-file-name f2))))
1455 ))
1456 (and (numberp res) (eq res 0)))
1457 (error (format "Cannot execute program %S." ediff-cmp-program)))
1458 ))
1459
1460
1461 (defun ediff-same-contents (d1 d2 &optional filter-re)
1462 "Returns t iff D1 and D2 have the same content.
1463 D1 and D2 can either be both directories or both regular files.
1464 Symlinks and the likes are not handled.
1465 If FILTER-RE is non-nil, recursive checking in directories
1466 affects only files whose names match the expression."
1467 ;; Normalize empty filter RE to nil.
1468 (unless (> (length filter-re) 0) (setq filter-re nil))
1469 ;; Indicate progress
1470 (message "Comparing '%s' and '%s' modulo '%s'" d1 d2 filter-re)
1471 (cond
1472 ;; D1 & D2 directories => recurse
1473 ((and (file-directory-p d1)
1474 (file-directory-p d2))
1475 (if (null ediff-recurse-to-subdirectories)
1476 (if (y-or-n-p "Compare subdirectories recursively? ")
1477 (setq ediff-recurse-to-subdirectories 'yes)
1478 (setq ediff-recurse-to-subdirectories 'no)))
1479 (if (eq ediff-recurse-to-subdirectories 'yes)
1480 (let* ((all-entries-1 (directory-files d1 t filter-re))
1481 (all-entries-2 (directory-files d2 t filter-re))
1482 (entries-1 (ediff-delete-all-matches "^\\.\\.?$" all-entries-1))
1483 (entries-2 (ediff-delete-all-matches "^\\.\\.?$" all-entries-2))
1484 )
1485
1486 (ediff-same-file-contents-lists entries-1 entries-2 filter-re)
1487 ))
1488 ) ; end of the directories case
1489 ;; D1 & D2 are both files => compare directly
1490 ((and (file-regular-p d1)
1491 (file-regular-p d2))
1492 (ediff-same-file-contents d1 d2))
1493 ;; Otherwise => false: unequal contents
1494 )
1495 )
1496
1497 ;; If lists have the same length and names of files are pairwise equal
1498 ;; (removing the directories) then compare contents pairwise.
1499 ;; True if all contents are the same; false otherwise
1500 (defun ediff-same-file-contents-lists (entries-1 entries-2 filter-re)
1501 ;; First, check only the names (works quickly and ensures a
1502 ;; precondition for subsequent code)
1503 (if (and (= (length entries-1) (length entries-2))
1504 (equal (mapcar 'file-name-nondirectory entries-1)
1505 (mapcar 'file-name-nondirectory entries-2)))
1506 ;; With name equality established, compare the entries
1507 ;; through recursion.
1508 (let ((continue t))
1509 (while (and entries-1 continue)
1510 (if (ediff-same-contents
1511 (car entries-1) (car entries-2) filter-re)
1512 (setq entries-1 (cdr entries-1)
1513 entries-2 (cdr entries-2))
1514 (setq continue nil))
1515 )
1516 ;; if reached the end then lists are equal
1517 (null entries-1))
1518 )
1519 )
1520
1521
1522 ;; ARG1 is a regexp, ARG2 is a list of full-filenames
1523 ;; Delete all entries that match the regexp
1524 (defun ediff-delete-all-matches (regex file-list-list)
1525 (let (result elt)
1526 (while file-list-list
1527 (setq elt (car file-list-list))
1528 (or (string-match regex (file-name-nondirectory elt))
1529 (setq result (cons elt result)))
1530 (setq file-list-list (cdr file-list-list)))
1531 (reverse result)))
1532
1533
1534 (defun ediff-set-actual-diff-options ()
1535 (if ediff-ignore-case
1536 (setq ediff-actual-diff-options
1537 (concat ediff-diff-options " " ediff-ignore-case-option)
1538 ediff-actual-diff3-options
1539 (concat ediff-diff3-options " " ediff-ignore-case-option3))
1540 (setq ediff-actual-diff-options ediff-diff-options
1541 ediff-actual-diff3-options ediff-diff3-options)
1542 )
1543 (setq-default ediff-actual-diff-options ediff-actual-diff-options
1544 ediff-actual-diff3-options ediff-actual-diff3-options)
1545 )
1546
1547
1548 ;; Ignore case handling - some ideas from drew.adams@@oracle.com
1549 (defun ediff-toggle-ignore-case ()
1550 (interactive)
1551 (ediff-barf-if-not-control-buffer)
1552 (setq ediff-ignore-case (not ediff-ignore-case))
1553 (ediff-set-actual-diff-options)
1554 (if ediff-ignore-case
1555 (message "Ignoring regions that differ only in case")
1556 (message "Ignoring case differences turned OFF"))
1557 (cond (ediff-merge-job
1558 (message "Ignoring letter case is too dangerous in merge jobs"))
1559 ((and ediff-diff3-job (string= ediff-ignore-case-option3 ""))
1560 (message "Ignoring letter case is not supported by this diff3 program"))
1561 ((and (not ediff-3way-job) (string= ediff-ignore-case-option ""))
1562 (message "Ignoring letter case is not supported by this diff program"))
1563 (t
1564 (sit-for 1)
1565 (ediff-update-diffs)))
1566 )
1567
1568
1569 (provide 'ediff-diff)
1570
1571
1572 ;;; Local Variables:
1573 ;;; eval: (put 'ediff-defvar-local 'lisp-indent-hook 'defun)
1574 ;;; eval: (put 'ediff-with-current-buffer 'lisp-indent-hook 1)
1575 ;;; eval: (put 'ediff-with-current-buffer 'edebug-form-spec '(form body))
1576 ;;; End:
1577
1578 ;;; arch-tag: a86d448e-58d7-4572-a1d9-fdedfa22f648
1579 ;;; ediff-diff.el ends here