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