mirror of
https://git.savannah.gnu.org/git/emacs.git
synced 2024-11-27 07:37:33 +00:00
400 lines
18 KiB
EmacsLisp
400 lines
18 KiB
EmacsLisp
;;; char-fold.el --- match unicode to similar ASCII -*- lexical-binding: t; -*-
|
||
|
||
;; Copyright (C) 2015-2019 Free Software Foundation, Inc.
|
||
|
||
;; Maintainer: emacs-devel@gnu.org
|
||
;; Keywords: matching
|
||
|
||
;; This file is part of GNU Emacs.
|
||
|
||
;; GNU Emacs is free software: you can redistribute it and/or modify
|
||
;; it under the terms of the GNU General Public License as published by
|
||
;; the Free Software Foundation, either version 3 of the License, or
|
||
;; (at your option) any later version.
|
||
|
||
;; GNU Emacs is distributed in the hope that it will be useful,
|
||
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;; GNU General Public License for more details.
|
||
|
||
;; You should have received a copy of the GNU General Public License
|
||
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
||
|
||
;;; Code:
|
||
|
||
(eval-and-compile
|
||
(put 'char-fold-table 'char-table-extra-slots 1)
|
||
(defconst char-fold--default-include
|
||
'((?\" """ "“" "”" "”" "„" "⹂" "〞" "‟" "‟" "❞" "❝" "❠" "“" "„" "〝" "〟" "🙷" "🙶" "🙸" "«" "»")
|
||
(?' "❟" "❛" "❜" "‘" "’" "‚" "‛" "‚" "" "❮" "❯" "‹" "›")
|
||
(?` "❛" "‘" "‛" "" "❮" "‹")
|
||
(?ß "ss") ;; de
|
||
(?ι "ΐ") ;; el for (?ΐ "ΐ") decomposition
|
||
(?υ "ΰ") ;; el for (?ΰ "ΰ") decomposition
|
||
))
|
||
(defconst char-fold--default-exclude
|
||
'(
|
||
(?и "й") ;; ru
|
||
))
|
||
(defconst char-fold--default-symmetric nil)
|
||
(defvar char-fold--previous
|
||
(list char-fold--default-include
|
||
char-fold--default-exclude
|
||
char-fold--default-symmetric)))
|
||
|
||
|
||
(eval-and-compile
|
||
(defun char-fold--make-table ()
|
||
(let* ((equiv (make-char-table 'char-fold-table))
|
||
(equiv-multi (make-char-table 'char-fold-table))
|
||
(table (unicode-property-table-internal 'decomposition)))
|
||
(set-char-table-extra-slot equiv 0 equiv-multi)
|
||
|
||
;; Ensure the table is populated.
|
||
(let ((func (char-table-extra-slot table 1)))
|
||
(map-char-table (lambda (char v)
|
||
(when (consp char)
|
||
(funcall func (car char) v table)))
|
||
table))
|
||
|
||
;; Compile a list of all complex characters that each simple
|
||
;; character should match.
|
||
;; In summary this loop does 3 things:
|
||
;; - A complex character might be allowed to match its decomp.
|
||
;; - The decomp is allowed to match the complex character.
|
||
;; - A single char of the decomp might be allowed to match the
|
||
;; character.
|
||
;; Some examples in the comments below.
|
||
(map-char-table
|
||
(lambda (char decomp)
|
||
(when (consp decomp)
|
||
;; Skip trivial cases like ?a decomposing to (?a).
|
||
(unless (and (not (cdr decomp))
|
||
(eq char (car decomp)))
|
||
(if (symbolp (car decomp))
|
||
;; Discard a possible formatting tag.
|
||
(setq decomp (cdr decomp))
|
||
;; If there's no formatting tag, ensure that char matches
|
||
;; its decomp exactly. This is because we want 'ä' to
|
||
;; match 'ä', but we don't want '¹' to match '1'.
|
||
(aset equiv char
|
||
(cons (apply #'string decomp)
|
||
(aref equiv char))))
|
||
|
||
;; Allow the entire decomp to match char. If decomp has
|
||
;; multiple characters, this is done by adding an entry
|
||
;; to the alist of the first character in decomp. This
|
||
;; allows 'ff' to match 'ff', 'ä' to match 'ä', and '1' to
|
||
;; match '¹'.
|
||
(let ((make-decomp-match-char
|
||
(lambda (decomp char)
|
||
(if (cdr decomp)
|
||
(aset equiv-multi (car decomp)
|
||
(cons (cons (apply #'string (cdr decomp))
|
||
(regexp-quote (string char)))
|
||
(aref equiv-multi (car decomp))))
|
||
(aset equiv (car decomp)
|
||
(cons (char-to-string char)
|
||
(aref equiv (car decomp))))))))
|
||
(funcall make-decomp-match-char decomp char)
|
||
;; Check to see if the first char of the decomposition
|
||
;; has a further decomposition. If so, add a mapping
|
||
;; back from that second decomposition to the original
|
||
;; character. This allows e.g. 'ι' (GREEK SMALL LETTER
|
||
;; IOTA) to match both the Basic Greek block and
|
||
;; Extended Greek block variants of IOTA +
|
||
;; diacritical(s). Repeat until there are no more
|
||
;; decompositions.
|
||
(let ((dec decomp)
|
||
next-decomp)
|
||
(while dec
|
||
(setq next-decomp (char-table-range table (car dec)))
|
||
(when (consp next-decomp)
|
||
(when (symbolp (car next-decomp))
|
||
(setq next-decomp (cdr next-decomp)))
|
||
(if (not (eq (car dec)
|
||
(car next-decomp)))
|
||
(funcall make-decomp-match-char (list (car next-decomp)) char)))
|
||
(setq dec next-decomp)))
|
||
;; Do it again, without the non-spacing characters.
|
||
;; This allows 'a' to match 'ä'.
|
||
(let ((simpler-decomp nil)
|
||
(found-one nil))
|
||
(dolist (c decomp)
|
||
(if (> (get-char-code-property c 'canonical-combining-class) 0)
|
||
(setq found-one t)
|
||
(push c simpler-decomp)))
|
||
(when (and simpler-decomp found-one)
|
||
(funcall make-decomp-match-char simpler-decomp char)
|
||
;; Finally, if the decomp only had one spacing
|
||
;; character, we allow this character to match the
|
||
;; decomp. This is to let 'a' match 'ä'.
|
||
(unless (cdr simpler-decomp)
|
||
(aset equiv (car simpler-decomp)
|
||
(cons (apply #'string decomp)
|
||
(aref equiv (car simpler-decomp)))))))))))
|
||
table)
|
||
|
||
;; Add some entries to default decomposition
|
||
(dolist (it (or (bound-and-true-p char-fold-include)
|
||
char-fold--default-include))
|
||
(let ((idx (car it))
|
||
(chars (cdr it)))
|
||
(aset equiv idx (append chars (aref equiv idx)))))
|
||
|
||
;; Remove some entries from default decomposition
|
||
(dolist (it (or (bound-and-true-p char-fold-exclude)
|
||
char-fold--default-exclude))
|
||
(let ((idx (car it))
|
||
(chars (cdr it)))
|
||
(when (aref equiv idx)
|
||
(dolist (char chars)
|
||
(aset equiv idx (remove char (aref equiv idx)))))))
|
||
|
||
;; Add symmetric entries
|
||
(when (or (bound-and-true-p char-fold-symmetric)
|
||
char-fold--default-symmetric)
|
||
(let ((symmetric (make-hash-table :test 'eq)))
|
||
;; Initialize hashes
|
||
(map-char-table
|
||
(lambda (char decomp-list)
|
||
(puthash char (make-hash-table :test 'equal) symmetric)
|
||
(dolist (decomp decomp-list)
|
||
(puthash (string-to-char decomp) (make-hash-table :test 'equal) symmetric)))
|
||
equiv)
|
||
|
||
(map-char-table
|
||
(lambda (char decomp-list)
|
||
(dolist (decomp decomp-list)
|
||
(if (< (length decomp) 2)
|
||
;; Add single-char symmetric pairs to hash
|
||
(let ((decomp-list (cons (char-to-string char) decomp-list))
|
||
(decomp-hash (gethash (string-to-char decomp) symmetric)))
|
||
(dolist (decomp2 decomp-list)
|
||
(unless (equal decomp decomp2)
|
||
(puthash decomp2 t decomp-hash)
|
||
(puthash decomp t (gethash (string-to-char decomp2) symmetric)))))
|
||
;; Add multi-char symmetric pairs to equiv-multi char-table
|
||
(let ((decomp-list (cons (char-to-string char) decomp-list))
|
||
(prefix (string-to-char decomp))
|
||
(suffix (substring decomp 1)))
|
||
(puthash decomp t (gethash char symmetric))
|
||
(dolist (decomp2 decomp-list)
|
||
(if (< (length decomp2) 2)
|
||
(aset equiv-multi prefix
|
||
(cons (cons suffix (regexp-quote decomp2))
|
||
(aref equiv-multi prefix)))))))))
|
||
equiv)
|
||
|
||
;; Update equiv char-table from hash
|
||
(maphash
|
||
(lambda (char decomp-hash)
|
||
(let (schars)
|
||
(maphash (lambda (schar _) (push schar schars)) decomp-hash)
|
||
(aset equiv char schars)))
|
||
symmetric)))
|
||
|
||
;; Convert the lists of characters we compiled into regexps.
|
||
(map-char-table
|
||
(lambda (char decomp-list)
|
||
(let ((re (regexp-opt (cons (char-to-string char) decomp-list))))
|
||
(aset equiv char re)))
|
||
equiv)
|
||
equiv)))
|
||
|
||
(defconst char-fold-table
|
||
(eval-when-compile
|
||
(char-fold--make-table))
|
||
"Used for folding characters of the same group during search.
|
||
This is a char-table with the `char-fold-table' subtype.
|
||
|
||
Let us refer to the character in question by char-x.
|
||
Each entry is either nil (meaning char-x only matches literally)
|
||
or a regexp. This regexp should match anything that char-x can
|
||
match by itself \(including char-x). For instance, the default
|
||
regexp for the ?+ character is \"[+⁺₊﬩﹢+]\".
|
||
|
||
This table also has one extra slot which is also a char-table.
|
||
Each entry in the extra slot is an alist used for multi-character
|
||
matching (which may be nil). The elements of the alist should
|
||
have the form (SUFFIX . OTHER-REGEXP). If the characters after
|
||
char-x are equal to SUFFIX, then this combination of char-x +
|
||
SUFFIX is allowed to match OTHER-REGEXP. This is in addition to
|
||
char-x being allowed to match REGEXP.
|
||
For instance, the default alist for ?f includes:
|
||
\((\"fl\" . \"ffl\") (\"fi\" . \"ffi\")
|
||
(\"i\" . \"fi\") (\"f\" . \"ff\"))
|
||
|
||
Exceptionally for the space character (32), ALIST is ignored.")
|
||
|
||
|
||
(defun char-fold-update-table ()
|
||
"Update char-fold-table only when one of the options changes its value."
|
||
(let ((new (list (or (bound-and-true-p char-fold-include)
|
||
char-fold--default-include)
|
||
(or (bound-and-true-p char-fold-exclude)
|
||
char-fold--default-exclude)
|
||
(or (bound-and-true-p char-fold-symmetric)
|
||
char-fold--default-symmetric))))
|
||
(unless (equal char-fold--previous new)
|
||
(setq char-fold-table (char-fold--make-table)
|
||
char-fold--previous new))))
|
||
|
||
(defcustom char-fold-include char-fold--default-include
|
||
"Additional character foldings to include.
|
||
Each entry is a list of a character and the strings that fold into it."
|
||
:type '(alist :key-type (character :tag "Fold to character")
|
||
:value-type (repeat (string :tag "Fold from string")))
|
||
:initialize #'custom-initialize-default
|
||
:set (lambda (sym val)
|
||
(custom-set-default sym val)
|
||
(char-fold-update-table))
|
||
:group 'isearch
|
||
:version "27.1")
|
||
|
||
(defcustom char-fold-exclude char-fold--default-exclude
|
||
"Character foldings to remove from default decompisitions.
|
||
Each entry is a list of a character and the strings to remove from folding."
|
||
:type '(alist :key-type (character :tag "Fold to character")
|
||
:value-type (repeat (string :tag "Fold from string")))
|
||
:initialize #'custom-initialize-default
|
||
:set (lambda (sym val)
|
||
(custom-set-default sym val)
|
||
(char-fold-update-table))
|
||
:group 'isearch
|
||
:version "27.1")
|
||
|
||
(defcustom char-fold-symmetric char-fold--default-symmetric
|
||
"Non-nil means char-fold searching treats equivalent chars the same.
|
||
That is, use of any of a set of char-fold equivalent chars in a search
|
||
string finds any of them in the text being searched.
|
||
|
||
If nil then only the \"base\" or \"canonical\" char of the set matches
|
||
any of them. The others match only themselves, even when char-folding
|
||
is turned on."
|
||
:type 'boolean
|
||
:initialize #'custom-initialize-default
|
||
:set (lambda (sym val)
|
||
(custom-set-default sym val)
|
||
(char-fold-update-table))
|
||
:group 'isearch
|
||
:version "27.1")
|
||
|
||
(char-fold-update-table)
|
||
|
||
|
||
(defun char-fold--make-space-string (n)
|
||
"Return a string that matches N spaces."
|
||
(format "\\(?:%s\\|%s\\)"
|
||
(make-string n ?\s)
|
||
(apply #'concat
|
||
(make-list n (or (aref char-fold-table ?\s) " ")))))
|
||
|
||
;;;###autoload
|
||
(defun char-fold-to-regexp (string &optional lax from)
|
||
"Return a regexp matching anything that char-folds into STRING.
|
||
Any character in STRING that has an entry in
|
||
`char-fold-table' is replaced with that entry (which is a
|
||
regexp) and other characters are `regexp-quote'd.
|
||
|
||
When LAX is non-nil, then the final character also matches ligatures
|
||
partially, for instance, the search string \"f\" will match \"fi\",
|
||
so when typing the search string in isearch while the cursor is on
|
||
a ligature, the search won't try to immediately advance to the next
|
||
complete match, but will stay on the partially matched ligature.
|
||
|
||
If the resulting regexp would be too long for Emacs to handle,
|
||
just return the result of calling `regexp-quote' on STRING.
|
||
|
||
FROM is for internal use. It specifies an index in the STRING
|
||
from which to start."
|
||
(let* ((spaces 0)
|
||
(multi-char-table (char-table-extra-slot char-fold-table 0))
|
||
(i (or from 0))
|
||
(end (length string))
|
||
(out nil))
|
||
;; When the user types a space, we want to match the table entry
|
||
;; for ?\s, which is generally a regexp like "[ ...]". However,
|
||
;; the `search-spaces-regexp' variable doesn't "see" spaces inside
|
||
;; these regexp constructs, so we need to use "\\( \\|[ ...]\\)"
|
||
;; instead (to manually expose a space). Furthermore, the lax
|
||
;; search engine acts on a bunch of spaces, not on individual
|
||
;; spaces, so if the string contains sequential spaces like " ", we
|
||
;; need to keep them grouped together like this: "\\( \\|[ ...][ ...]\\)".
|
||
(while (< i end)
|
||
(pcase (aref string i)
|
||
(?\s (setq spaces (1+ spaces)))
|
||
(c (when (> spaces 0)
|
||
(push (char-fold--make-space-string spaces) out)
|
||
(setq spaces 0))
|
||
(let ((regexp (or (aref char-fold-table c)
|
||
(regexp-quote (string c))))
|
||
;; Long string. The regexp would probably be too long.
|
||
(alist (unless (> end 50)
|
||
(aref multi-char-table c))))
|
||
(push (if (and lax alist (= (1+ i) end))
|
||
(concat "\\(?:" regexp "\\|"
|
||
(mapconcat (lambda (entry)
|
||
(cdr entry)) alist "\\|") "\\)")
|
||
(let ((matched-entries nil)
|
||
(max-length 0))
|
||
(dolist (entry alist)
|
||
(let* ((suffix (car entry))
|
||
(len-suf (length suffix)))
|
||
(when (eq (compare-strings suffix 0 nil
|
||
string (1+ i) (+ i 1 len-suf)
|
||
nil)
|
||
t)
|
||
(push (cons len-suf (cdr entry)) matched-entries)
|
||
(setq max-length (max max-length len-suf)))))
|
||
;; If no suffixes matched, just go on.
|
||
(if (not matched-entries)
|
||
regexp
|
||
;;; If N suffixes match, we "branch" out into N+1 executions for the
|
||
;;; length of the longest match. This means "fix" will match "fix" but
|
||
;;; not "fⅸ", but it's necessary to keep the regexp size from scaling
|
||
;;; exponentially. See https://lists.gnu.org/r/emacs-devel/2015-11/msg02562.html
|
||
(let ((subs (substring string (1+ i) (+ i 1 max-length))))
|
||
;; `i' is still going to inc by 1 below.
|
||
(setq i (+ i max-length))
|
||
(concat
|
||
"\\(?:"
|
||
(mapconcat (lambda (entry)
|
||
(let ((length (car entry))
|
||
(suffix-regexp (cdr entry)))
|
||
(concat suffix-regexp
|
||
(char-fold-to-regexp subs nil length))))
|
||
`((0 . ,regexp) . ,matched-entries) "\\|")
|
||
"\\)")))))
|
||
out))))
|
||
(setq i (1+ i)))
|
||
(when (> spaces 0)
|
||
(push (char-fold--make-space-string spaces) out))
|
||
(let ((regexp (apply #'concat (nreverse out))))
|
||
;; Limited by `MAX_BUF_SIZE' in `regex-emacs.c'.
|
||
(if (> (length regexp) 5000)
|
||
(regexp-quote string)
|
||
regexp))))
|
||
|
||
|
||
;;; Commands provided for completeness.
|
||
(defun char-fold-search-forward (string &optional bound noerror count)
|
||
"Search forward for a char-folded version of STRING.
|
||
STRING is converted to a regexp with `char-fold-to-regexp',
|
||
which is searched for with `re-search-forward'.
|
||
BOUND NOERROR COUNT are passed to `re-search-forward'."
|
||
(interactive "sSearch: ")
|
||
(re-search-forward (char-fold-to-regexp string) bound noerror count))
|
||
|
||
(defun char-fold-search-backward (string &optional bound noerror count)
|
||
"Search backward for a char-folded version of STRING.
|
||
STRING is converted to a regexp with `char-fold-to-regexp',
|
||
which is searched for with `re-search-backward'.
|
||
BOUND NOERROR COUNT are passed to `re-search-backward'."
|
||
(interactive "sSearch: ")
|
||
(re-search-backward (char-fold-to-regexp string) bound noerror count))
|
||
|
||
(provide 'char-fold)
|
||
|
||
;;; char-fold.el ends here
|