lisp/emacs-lisp/ring.el

   1 ;;; ring.el --- handle rings of items
   2
   3 ;; Copyright (C) 1992, 2001-2011 Free Software Foundation, Inc.
   4
   5 ;; Maintainer: FSF
   6 ;; Keywords: extensions
   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 3 of the License, or
  13 ;; (at your option) 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.  If not, see <http://www.gnu.org/licenses/>.
  22
  23 ;;; Commentary:
  24
  25 ;; This code defines a ring data structure.  A ring is a
  26 ;;     (hd-index length . vector)
  27 ;; list.  You can insert to, remove from, and rotate a ring.  When the ring
  28 ;; fills up, insertions cause the oldest elts to be quietly dropped.
  29 ;;
  30 ;; In ring-ref, 0 is the index of the newest element.  Higher indexes
  31 ;; correspond to older elements; when the index equals the ring length,
  32 ;; it wraps to the newest element again.
  33 ;;
  34 ;; hd-index = vector index of the oldest ring item.
  35 ;;         Newer items follow this item; at the end of the vector,
  36 ;;         they wrap around to the start of the vector.
  37 ;; length = number of items currently in the ring.
  38 ;;         This never exceeds the length of the vector itself.
  39 ;;
  40 ;; These functions are used by the input history mechanism, but they can
  41 ;; be used for other purposes as well.
  42
  43 ;;; Code:
  44
  45 ;;; User Functions:
  46
  47 ;;;###autoload
  48 (defun ring-p (x)
  49   "Return t if X is a ring; nil otherwise."
  50   (and (consp x) (integerp (car x))
  51        (consp (cdr x)) (integerp (cadr x))
  52        (vectorp (cddr x))))
  53
  54 ;;;###autoload
  55 (defun make-ring (size)
  56   "Make a ring that can contain SIZE elements."
  57   (cons 0 (cons 0 (make-vector size nil))))
  58
  59 (defun ring-insert-at-beginning (ring item)
  60   "Add to RING the item ITEM, at the front, as the oldest item."
  61   (let* ((vec (cddr ring))
  62          (veclen (length vec))
  63          (hd (car ring))
  64          (ln (cadr ring)))
  65     (setq ln (min veclen (1+ ln))
  66           hd (ring-minus1 hd veclen))
  67     (aset vec hd item)
  68     (setcar ring hd)
  69     (setcar (cdr ring) ln)))
  70
  71 (defun ring-plus1 (index veclen)
  72   "Return INDEX+1, with wraparound."
  73   (let ((new-index (1+ index)))
  74     (if (= new-index veclen) 0 new-index)))
  75
  76 (defun ring-minus1 (index veclen)
  77   "Return INDEX-1, with wraparound."
  78   (- (if (zerop index) veclen index) 1))
  79
  80 (defun ring-length (ring)
  81   "Return the number of elements in the RING."
  82   (cadr ring))
  83
  84 (defun ring-index (index head ringlen veclen)
  85   "Convert nominal ring index INDEX to an internal index.
  86 The internal index refers to the items ordered from newest to oldest.
  87 HEAD is the index of the oldest element in the ring.
  88 RINGLEN is the number of elements currently in the ring.
  89 VECLEN is the size of the vector in the ring."
  90   (setq index (mod index ringlen))
  91   (mod (1- (+ head (- ringlen index))) veclen))
  92
  93 (defun ring-empty-p (ring)
  94   "Return t if RING is empty; nil otherwise."
  95   (zerop (cadr ring)))
  96
  97 (defun ring-size (ring)
  98   "Return the size of RING, the maximum number of elements it can contain."
  99   (length (cddr ring)))
 100
 101 (defun ring-copy (ring)
 102   "Return a copy of RING."
 103   (let ((vec (cddr ring))
 104         (hd  (car ring))
 105         (ln  (cadr ring)))
 106     (cons hd (cons ln (copy-sequence vec)))))
 107
 108 (defun ring-insert (ring item)
 109   "Insert onto ring RING the item ITEM, as the newest (last) item.
 110 If the ring is full, dump the oldest item to make room."
 111   (let* ((vec (cddr ring))
 112          (veclen (length vec))
 113          (hd (car ring))
 114          (ln (cadr ring)))
 115     (prog1
 116         (aset vec (mod (+ hd ln) veclen) item)
 117       (if (= ln veclen)
 118           (setcar ring (ring-plus1 hd veclen))
 119         (setcar (cdr ring) (1+ ln))))))
 120
 121 (defun ring-remove (ring &optional index)
 122   "Remove an item from the RING.  Return the removed item.
 123 If optional INDEX is nil, remove the oldest item.  If it's
 124 numeric, remove the element indexed."
 125   (if (ring-empty-p ring)
 126       (error "Ring empty")
 127     (let* ((hd (car ring))
 128            (ln (cadr ring))
 129            (vec (cddr ring))
 130            (veclen (length vec))
 131            (tl (mod (1- (+ hd ln)) veclen))
 132            oldelt)
 133       (when (null index)
 134         (setq index (1- ln)))
 135       (setq index (ring-index index hd ln veclen))
 136       (setq oldelt (aref vec index))
 137       (while (/= index tl)
 138         (aset vec index (aref vec (ring-plus1 index veclen)))
 139         (setq index (ring-plus1 index veclen)))
 140       (aset vec tl nil)
 141       (setcar (cdr ring) (1- ln))
 142       oldelt)))
 143
 144 (defun ring-ref (ring index)
 145   "Return RING's INDEX element.
 146 INDEX = 0 is the most recently inserted; higher indices
 147 correspond to older elements.
 148 INDEX need not be <= the ring length; the appropriate modulo operation
 149 will be performed."
 150   (if (ring-empty-p ring)
 151       (error "Accessing an empty ring")
 152     (let ((hd (car ring))
 153           (ln (cadr ring))
 154           (vec (cddr ring)))
 155       (aref vec (ring-index index hd ln (length vec))))))
 156
 157 (defun ring-elements (ring)
 158   "Return a list of the elements of RING, in order, newest first."
 159   (let ((start (car ring))
 160         (size (ring-size ring))
 161         (vect (cddr ring))
 162         lst)
 163     (dotimes (var (cadr ring) lst)
 164       (push (aref vect (mod (+ start var) size)) lst))))
 165
 166 (defun ring-member (ring item)
 167   "Return index of ITEM if on RING, else nil.
 168 Comparison is done via `equal'.  The index is 0-based."
 169   (catch 'found
 170     (dotimes (ind (ring-length ring) nil)
 171       (when (equal item (ring-ref ring ind))
 172         (throw 'found ind)))))
 173
 174 (defun ring-next (ring item)
 175   "Return the next item in the RING, after ITEM.
 176 Raise error if ITEM is not in the RING."
 177   (let ((curr-index (ring-member ring item)))
 178     (unless curr-index (error "Item is not in the ring: `%s'" item))
 179     (ring-ref ring (ring-plus1 curr-index (ring-length ring)))))
 180
 181 (defun ring-previous (ring item)
 182   "Return the previous item in the RING, before ITEM.
 183 Raise error if ITEM is not in the RING."
 184   (let ((curr-index (ring-member ring item)))
 185     (unless curr-index (error "Item is not in the ring: `%s'" item))
 186     (ring-ref ring (ring-minus1 curr-index (ring-length ring)))))
 187
 188 (defun ring-insert+extend (ring item &optional grow-p)
 189   "Like `ring-insert', but if GROW-P is non-nil, then enlarge ring.
 190 Insert onto ring RING the item ITEM, as the newest (last) item.
 191 If the ring is full, behavior depends on GROW-P:
 192   If GROW-P is non-nil, enlarge the ring to accommodate the new item.
 193   If GROW-P is nil, dump the oldest item to make room for the new."
 194   (let* ((vec (cddr ring))
 195          (veclen (length vec))
 196          (hd (car ring))
 197          (ringlen (ring-length ring)))
 198     (prog1
 199         (cond ((and grow-p (= ringlen veclen)) ; Full ring.  Enlarge it.
 200                (setq veclen (1+ veclen))
 201                (setcdr ring (cons (setq ringlen (1+ ringlen))
 202                                   (setq vec (vconcat vec (vector item)))))
 203                (setcar ring hd))
 204               (t (aset vec (mod (+ hd ringlen) veclen) item)))
 205       (if (= ringlen veclen)
 206           (setcar ring (ring-plus1 hd veclen))
 207         (setcar (cdr ring) (1+ ringlen))))))
 208
 209 (defun ring-remove+insert+extend (ring item &optional grow-p)
 210   "`ring-remove' ITEM from RING, then `ring-insert+extend' it.
 211 This ensures that there is only one ITEM on RING.
 212
 213 If the RING is full, behavior depends on GROW-P:
 214   If GROW-P is non-nil, enlarge the ring to accommodate the new ITEM.
 215   If GROW-P is nil, dump the oldest item to make room for the new."
 216   (let (ind)
 217     (while (setq ind (ring-member ring item))
 218       (ring-remove ring ind)))
 219   (ring-insert+extend ring item grow-p))
 220
 221 (defun ring-convert-sequence-to-ring (seq)
 222   "Convert sequence SEQ to a ring.  Return the ring.
 223 If SEQ is already a ring, return it."
 224   (if (ring-p seq)
 225       seq
 226     (let* ((size (length seq))
 227            (ring (make-ring size)))
 228       (dotimes (count size)
 229         (when (or (ring-empty-p ring)
 230                   (not (equal (ring-ref ring 0) (elt seq count))))
 231           (ring-insert-at-beginning ring (elt seq count))))
 232       ring)))
 233
 234 ;;; provide ourself:
 235
 236 (provide 'ring)
 237
 238 ;;; ring.el ends here