
Replace most insignificant occurrences of '`' with a straight quote, sharp quote or nothing. This includes backquotes in 'pcase' patterns. * admin/admin.el: * lisp/apropos.el: * lisp/arc-mode.el: * lisp/auth-source.el: * lisp/avoid.el: * lisp/bindings.el: * lisp/bs.el: * lisp/calculator.el: * lisp/calendar/todo-mode.el: * lisp/cedet/semantic.el: * lisp/cedet/semantic/analyze/debug.el: * lisp/cedet/semantic/bovine.el: * lisp/cedet/semantic/dep.el: * lisp/cedet/semantic/grammar.el: * lisp/cedet/semantic/wisent/comp.el: * lisp/cedet/semantic/wisent/grammar.el: * lisp/cedet/srecode/mode.el: * lisp/cus-edit.el: * lisp/doc-view.el: * lisp/elec-pair.el: * lisp/electric.el: * lisp/emacs-lisp/autoload.el: * lisp/emacs-lisp/benchmark.el: * lisp/emacs-lisp/byte-opt.el: * lisp/emacs-lisp/bytecomp.el: * lisp/emacs-lisp/cconv.el: * lisp/emacs-lisp/cl-extra.el: * lisp/emacs-lisp/cl-generic.el: * lisp/emacs-lisp/cl-macs.el: * lisp/emacs-lisp/copyright.el: * lisp/emacs-lisp/debug.el: * lisp/emacs-lisp/eieio-compat.el: * lisp/emacs-lisp/ert.el: * lisp/emacs-lisp/generator.el: * lisp/emacs-lisp/inline.el: * lisp/emacs-lisp/macroexp.el: * lisp/emacs-lisp/map.el: * lisp/emacs-lisp/package-x.el: * lisp/emacs-lisp/package.el: * lisp/emacs-lisp/radix-tree.el: * lisp/emacs-lisp/smie.el: * lisp/epa.el: * lisp/erc/erc-dcc.el: * lisp/erc/erc-track.el: * lisp/erc/erc.el: * lisp/eshell/em-ls.el: * lisp/eshell/esh-cmd.el: * lisp/files.el: * lisp/filesets.el: * lisp/font-lock.el: * lisp/frameset.el: * lisp/gnus/gnus-agent.el: * lisp/gnus/gnus-art.el: * lisp/gnus/gnus-cite.el: * lisp/gnus/gnus-group.el: * lisp/gnus/gnus-msg.el: * lisp/gnus/gnus-salt.el: * lisp/gnus/gnus-srvr.el: * lisp/gnus/gnus-sum.el: * lisp/gnus/gnus-topic.el: * lisp/gnus/gnus-util.el: * lisp/gnus/gnus.el: * lisp/gnus/message.el: * lisp/gnus/mm-util.el: * lisp/gnus/mml.el: * lisp/gnus/nnheader.el: * lisp/gnus/nnimap.el: * lisp/gnus/nnmairix.el: * lisp/gnus/spam.el: * lisp/hexl.el: * lisp/hi-lock.el: * lisp/ibuf-ext.el: * lisp/ibuffer.el: * lisp/ido.el: * lisp/info.el: * lisp/international/mule-cmds.el: * lisp/international/mule-util.el: * lisp/json.el: * lisp/jsonrpc.el: * lisp/language/cyrillic.el: * lisp/language/european.el: * lisp/language/georgian.el: * lisp/language/tibetan.el: * lisp/language/utf-8-lang.el: * lisp/language/vietnamese.el: * lisp/ldefs-boot.el: * lisp/mail/mail-extr.el: * lisp/man.el: * lisp/menu-bar.el: * lisp/mh-e/mh-acros.el: * lisp/mh-e/mh-folder.el: * lisp/mh-e/mh-mime.el: * lisp/mh-e/mh-show.el: * lisp/mh-e/mh-speed.el: * lisp/minibuffer.el: * lisp/mpc.el: * lisp/net/ange-ftp.el: * lisp/net/hmac-def.el: * lisp/net/newst-backend.el: * lisp/net/quickurl.el: * lisp/net/tramp-archive.el: * lisp/net/tramp-compat.el: * lisp/notifications.el: * lisp/obsolete/pgg-parse.el: * lisp/obsolete/vc-arch.el: * lisp/obsolete/xesam.el: * lisp/org/ob-C.el: * lisp/org/ob-core.el: * lisp/org/ob-exp.el: * lisp/org/ob-groovy.el: * lisp/org/ob-haskell.el: * lisp/org/ob-io.el: * lisp/org/ob-lisp.el: * lisp/org/ob-lob.el: * lisp/org/ob-lua.el: * lisp/org/ob-octave.el: * lisp/org/ob-perl.el: * lisp/org/ob-python.el: * lisp/org/ob-ref.el: * lisp/org/ob-ruby.el: * lisp/org/ob-sql.el: * lisp/org/org-agenda.el: * lisp/org/org-capture.el: * lisp/org/org-clock.el: * lisp/org/org-colview.el: * lisp/org/org-duration.el: * lisp/org/org-element.el: * lisp/org/org-entities.el: * lisp/org/org-gnus.el: * lisp/org/org-indent.el: * lisp/org/org-info.el: * lisp/org/org-inlinetask.el: * lisp/org/org-lint.el: * lisp/org/org-list.el: * lisp/org/org-mouse.el: * lisp/org/org-plot.el: * lisp/org/org-src.el: * lisp/org/org-table.el: * lisp/org/org.el: * lisp/org/ox-ascii.el: * lisp/org/ox-html.el: * lisp/org/ox-latex.el: * lisp/org/ox-man.el: * lisp/org/ox-md.el: * lisp/org/ox-org.el: * lisp/org/ox-publish.el: * lisp/org/ox-texinfo.el: * lisp/org/ox.el: * lisp/play/bubbles.el: * lisp/play/gamegrid.el: * lisp/progmodes/autoconf.el: * lisp/progmodes/cc-defs.el: * lisp/progmodes/cc-engine.el: * lisp/progmodes/cc-fonts.el: * lisp/progmodes/cc-langs.el: * lisp/progmodes/cperl-mode.el: * lisp/progmodes/ebrowse.el: * lisp/progmodes/elisp-mode.el: * lisp/progmodes/flymake-cc.el: * lisp/progmodes/flymake.el: * lisp/progmodes/fortran.el: * lisp/progmodes/grep.el: * lisp/progmodes/gud.el: * lisp/progmodes/idlwave.el: * lisp/progmodes/js.el: * lisp/progmodes/m4-mode.el: * lisp/progmodes/make-mode.el: * lisp/progmodes/mixal-mode.el: * lisp/progmodes/modula2.el: * lisp/progmodes/octave.el: * lisp/progmodes/opascal.el: * lisp/progmodes/prolog.el: * lisp/progmodes/ps-mode.el: * lisp/progmodes/python.el: * lisp/progmodes/ruby-mode.el: * lisp/progmodes/sh-script.el: * lisp/progmodes/sql.el: * lisp/progmodes/verilog-mode.el: * lisp/ps-mule.el: * lisp/rtree.el: * lisp/ruler-mode.el: * lisp/ses.el: * lisp/simple.el: * lisp/startup.el: * lisp/subr.el: * lisp/term/ns-win.el: * lisp/textmodes/bibtex.el: * lisp/textmodes/conf-mode.el: * lisp/textmodes/css-mode.el: * lisp/textmodes/refill.el: * lisp/textmodes/sgml-mode.el: * lisp/textmodes/tex-mode.el: * lisp/tutorial.el: * lisp/url/url-dav.el: * lisp/url/url-gw.el: * lisp/url/url-http.el: * lisp/url/url-methods.el: * lisp/url/url-privacy.el: * lisp/vc/cvs-status.el: * lisp/vc/diff-mode.el: * lisp/vc/ediff-init.el: * lisp/vc/ediff-ptch.el: * lisp/vc/log-edit.el: * lisp/vc/log-view.el: * lisp/vc/pcvs-info.el: * lisp/vc/pcvs.el: * lisp/vc/smerge-mode.el: * lisp/vc/vc-git.el: * lisp/vc/vc-hg.el: * lisp/vc/vc-mtn.el: * lisp/vc/vc-rcs.el: * lisp/whitespace.el: * lisp/window.el: * test/lisp/electric-tests.el: * test/lisp/emacs-lisp/cl-lib-tests.el: * test/lisp/emacs-lisp/ert-tests.el: * test/lisp/epg-tests.el: * test/lisp/jsonrpc-tests.el: * test/src/data-tests.el: * test/src/json-tests.el: Replace most insignificant backquotes.
250 lines
9.3 KiB
EmacsLisp
250 lines
9.3 KiB
EmacsLisp
;;; radix-tree.el --- A simple library of radix trees -*- lexical-binding: t; -*-
|
|
|
|
;; Copyright (C) 2016-2018 Free Software Foundation, Inc.
|
|
|
|
;; Author: Stefan Monnier <monnier@iro.umontreal.ca>
|
|
;; Keywords:
|
|
|
|
;; 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/>.
|
|
|
|
;;; Commentary:
|
|
|
|
;; There are many different options for how to represent radix trees
|
|
;; in Elisp. Here I chose a very simple one. A radix-tree can be either:
|
|
;; - a node, of the form ((PREFIX . PTREE) . RTREE) where PREFIX is a string
|
|
;; meaning that everything that starts with PREFIX is in PTREE,
|
|
;; and everything else in RTREE. It also has the property that
|
|
;; everything that starts with the first letter of PREFIX but not with
|
|
;; that whole PREFIX is not in RTREE (i.e. is not in the tree at all).
|
|
;; - anything else is taken as the value to associate with the empty string.
|
|
;; So every node is basically an (improper) alist where each mapping applies
|
|
;; to a different leading letter.
|
|
;;
|
|
;; The main downside of this representation is that the lookup operation
|
|
;; is slower because each level of the tree is an alist rather than some kind
|
|
;; of array, so every level's lookup is O(N) rather than O(1). We could easily
|
|
;; solve this by using char-tables instead of alists, but that would make every
|
|
;; level take up a lot more memory, and it would make the resulting
|
|
;; data structure harder to read (by a human) when printed out.
|
|
|
|
;;; Code:
|
|
|
|
(defun radix-tree--insert (tree key val i)
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(let* ((ni (+ i (length prefix)))
|
|
(cmp (compare-strings prefix nil nil key i ni)))
|
|
(if (eq t cmp)
|
|
(let ((nptree (radix-tree--insert ptree key val ni)))
|
|
`((,prefix . ,nptree) . ,rtree))
|
|
(let ((n (if (< cmp 0) (- -1 cmp) (- cmp 1))))
|
|
(if (zerop n)
|
|
(let ((nrtree (radix-tree--insert rtree key val i)))
|
|
`((,prefix . ,ptree) . ,nrtree))
|
|
(let* ((nprefix (substring prefix 0 n))
|
|
(kprefix (substring key (+ i n)))
|
|
(pprefix (substring prefix n))
|
|
(ktree (if (equal kprefix "") val
|
|
`((,kprefix . ,val)))))
|
|
`((,nprefix
|
|
. ((,pprefix . ,ptree) . ,ktree))
|
|
. ,rtree)))))))
|
|
(_
|
|
(if (= (length key) i) val
|
|
(let ((prefix (substring key i)))
|
|
`((,prefix . ,val) . ,tree))))))
|
|
|
|
(defun radix-tree--remove (tree key i)
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(let* ((ni (+ i (length prefix)))
|
|
(cmp (compare-strings prefix nil nil key i ni)))
|
|
(if (eq t cmp)
|
|
(pcase (radix-tree--remove ptree key ni)
|
|
('nil rtree)
|
|
(`((,pprefix . ,pptree))
|
|
`((,(concat prefix pprefix) . ,pptree) . ,rtree))
|
|
(nptree `((,prefix . ,nptree) . ,rtree)))
|
|
(let ((n (if (< cmp 0) (- -1 cmp) (- cmp 1))))
|
|
(if (zerop n)
|
|
(let ((nrtree (radix-tree--remove rtree key i)))
|
|
`((,prefix . ,ptree) . ,nrtree))
|
|
tree)))))
|
|
(_
|
|
(if (= (length key) i) nil tree))))
|
|
|
|
|
|
(defun radix-tree--lookup (tree string i)
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(let* ((ni (+ i (length prefix)))
|
|
(cmp (compare-strings prefix nil nil string i ni)))
|
|
(if (eq t cmp)
|
|
(radix-tree--lookup ptree string ni)
|
|
(let ((n (if (< cmp 0) (- -1 cmp) (- cmp 1))))
|
|
(if (zerop n)
|
|
(radix-tree--lookup rtree string i)
|
|
(+ i n))))))
|
|
(val
|
|
(if (and val (equal (length string) i))
|
|
(if (integerp val) `(t . ,val) val)
|
|
i))))
|
|
|
|
;; (defun radix-tree--trim (tree string i)
|
|
;; (if (= i (length string))
|
|
;; tree
|
|
;; (pcase tree
|
|
;; (`((,prefix . ,ptree) . ,rtree)
|
|
;; (let* ((ni (+ i (length prefix)))
|
|
;; (cmp (compare-strings prefix nil nil string i ni))
|
|
;; ;; FIXME: We could compute nrtree more efficiently
|
|
;; ;; whenever cmp is not -1 or 1.
|
|
;; (nrtree (radix-tree--trim rtree string i)))
|
|
;; (if (eq t cmp)
|
|
;; (pcase (radix-tree--trim ptree string ni)
|
|
;; (`nil nrtree)
|
|
;; (`((,pprefix . ,pptree))
|
|
;; `((,(concat prefix pprefix) . ,pptree) . ,nrtree))
|
|
;; (nptree `((,prefix . ,nptree) . ,nrtree)))
|
|
;; (let ((n (if (< cmp 0) (- -1 cmp) (- cmp 1))))
|
|
;; (cond
|
|
;; ((equal (+ n i) (length string))
|
|
;; `((,prefix . ,ptree) . ,nrtree))
|
|
;; (t nrtree))))))
|
|
;; (val val))))
|
|
|
|
(defun radix-tree--prefixes (tree string i prefixes)
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(let* ((ni (+ i (length prefix)))
|
|
(cmp (compare-strings prefix nil nil string i ni))
|
|
;; FIXME: We could compute prefixes more efficiently
|
|
;; whenever cmp is not -1 or 1.
|
|
(prefixes (radix-tree--prefixes rtree string i prefixes)))
|
|
(if (eq t cmp)
|
|
(radix-tree--prefixes ptree string ni prefixes)
|
|
prefixes)))
|
|
(val
|
|
(if (null val)
|
|
prefixes
|
|
(cons (cons (substring string 0 i)
|
|
(if (eq (car-safe val) t) (cdr val) val))
|
|
prefixes)))))
|
|
|
|
(defun radix-tree--subtree (tree string i)
|
|
(if (equal (length string) i) tree
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(let* ((ni (+ i (length prefix)))
|
|
(cmp (compare-strings prefix nil nil string i ni)))
|
|
(if (eq t cmp)
|
|
(radix-tree--subtree ptree string ni)
|
|
(let ((n (if (< cmp 0) (- -1 cmp) (- cmp 1))))
|
|
(cond
|
|
((zerop n) (radix-tree--subtree rtree string i))
|
|
((equal (+ n i) (length string))
|
|
(let ((nprefix (substring prefix n)))
|
|
`((,nprefix . ,ptree))))
|
|
(t nil))))))
|
|
(_ nil))))
|
|
|
|
;;; Entry points
|
|
|
|
(defconst radix-tree-empty nil
|
|
"The empty radix-tree.")
|
|
|
|
(defun radix-tree-insert (tree key val)
|
|
"Insert a mapping from KEY to VAL in radix TREE."
|
|
(when (consp val) (setq val `(t . ,val)))
|
|
(if val (radix-tree--insert tree key val 0)
|
|
(radix-tree--remove tree key 0)))
|
|
|
|
(defun radix-tree-lookup (tree key)
|
|
"Return the value associated to KEY in radix TREE.
|
|
If not found, return nil."
|
|
(pcase (radix-tree--lookup tree key 0)
|
|
(`(t . ,val) val)
|
|
((pred numberp) nil)
|
|
(val val)))
|
|
|
|
(defun radix-tree-subtree (tree string)
|
|
"Return the subtree of TREE rooted at the prefix STRING."
|
|
(radix-tree--subtree tree string 0))
|
|
|
|
;; (defun radix-tree-trim (tree string)
|
|
;; "Return a TREE which only holds entries \"related\" to STRING.
|
|
;; \"Related\" is here defined as entries where there's a `string-prefix-p' relation
|
|
;; between STRING and the key."
|
|
;; (radix-tree-trim tree string 0))
|
|
|
|
(defun radix-tree-prefixes (tree string)
|
|
"Return an alist of all bindings in TREE for prefixes of STRING."
|
|
(radix-tree--prefixes tree string 0 nil))
|
|
|
|
(eval-and-compile
|
|
(pcase-defmacro radix-tree-leaf (vpat)
|
|
"Build a `pcase' pattern that matches radix-tree leaf EXPVAL.
|
|
VPAT is a `pcase' pattern to extract the value."
|
|
;; FIXME: We'd like to use a negative pattern (not consp), but pcase
|
|
;; doesn't support it. Using `atom' works but generates sub-optimal code.
|
|
`(or `(t . ,,vpat) (and (pred atom) ,vpat))))
|
|
|
|
(defun radix-tree-iter-subtrees (tree fun)
|
|
"Apply FUN to every immediate subtree of radix TREE.
|
|
FUN is called with two arguments: PREFIX and SUBTREE.
|
|
You can test if SUBTREE is a leaf (and extract its value) with the
|
|
pcase pattern (radix-tree-leaf PAT)."
|
|
(while tree
|
|
(pcase tree
|
|
(`((,prefix . ,ptree) . ,rtree)
|
|
(funcall fun prefix ptree)
|
|
(setq tree rtree))
|
|
(_ (funcall fun "" tree)
|
|
(setq tree nil)))))
|
|
|
|
(defun radix-tree-iter-mappings (tree fun &optional prefix)
|
|
"Apply FUN to every mapping in TREE.
|
|
FUN is called with two arguments: KEY and VAL.
|
|
PREFIX is only used internally."
|
|
(radix-tree-iter-subtrees
|
|
tree
|
|
(lambda (p s)
|
|
(let ((nprefix (concat prefix p)))
|
|
(pcase s
|
|
((radix-tree-leaf v) (funcall fun nprefix v))
|
|
(_ (radix-tree-iter-mappings s fun nprefix)))))))
|
|
|
|
;; (defun radix-tree->alist (tree)
|
|
;; (let ((al nil))
|
|
;; (radix-tree-iter-mappings tree (lambda (p v) (push (cons p v) al)))
|
|
;; al))
|
|
|
|
(defun radix-tree-count (tree)
|
|
(let ((i 0))
|
|
(radix-tree-iter-mappings tree (lambda (_k _v) (setq i (1+ i))))
|
|
i))
|
|
|
|
(declare-function map-apply "map" (function map))
|
|
|
|
(defun radix-tree-from-map (map)
|
|
;; Aka (cl-defmethod map-into (map (type (eql radix-tree)))) ...)
|
|
(require 'map)
|
|
(let ((rt nil))
|
|
(map-apply (lambda (k v) (setq rt (radix-tree-insert rt k v))) map)
|
|
rt))
|
|
|
|
(provide 'radix-tree)
|
|
;;; radix-tree.el ends here
|