mirror of
https://git.savannah.gnu.org/git/emacs.git
synced 2024-12-25 10:47:00 +00:00
550 lines
22 KiB
EmacsLisp
550 lines
22 KiB
EmacsLisp
;;;; testcover.el -- Visual code-coverage tool -*- lexical-binding:t -*-
|
|
|
|
;; Copyright (C) 2002-2016 Free Software Foundation, Inc.
|
|
|
|
;; Author: Jonathan Yavner <jyavner@member.fsf.org>
|
|
;; Maintainer: Jonathan Yavner <jyavner@member.fsf.org>
|
|
;; Keywords: lisp utility
|
|
|
|
;; 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 <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
;; * Use `testcover-start' to instrument a Lisp file for coverage testing.
|
|
;; * Use `testcover-mark-all' to add overlay "splotches" to the Lisp file's
|
|
;; buffer to show where coverage is lacking. Normally, a red splotch
|
|
;; indicates the form was never evaluated; a brown splotch means it always
|
|
;; evaluated to the same value.
|
|
;; * Use `testcover-next-mark' (bind it to a key!) to jump to the next spot
|
|
;; that has a splotch.
|
|
|
|
;; * Basic algorithm: use `edebug' to mark up the function text with
|
|
;; instrumentation callbacks, then replace edebug's callbacks with ours.
|
|
;; * To show good coverage, we want to see two values for every form, except
|
|
;; functions that always return the same value and `defconst' variables
|
|
;; need show only one value for good coverage. To avoid the brown
|
|
;; splotch, the definitions for constants and 1-valued functions must
|
|
;; precede the references.
|
|
;; * Use the macro `1value' in your Lisp code to mark spots where the local
|
|
;; code environment causes a function or variable to always have the same
|
|
;; value, but the function or variable is not intrinsically 1-valued.
|
|
;; * Use the macro `noreturn' in your Lisp code to mark function calls that
|
|
;; never return, because of the local code environment, even though the
|
|
;; function being called is capable of returning in other cases.
|
|
|
|
;; Problems:
|
|
;; * To detect different values, we store the form's result in a vector and
|
|
;; compare the next result using `equal'. We don't copy the form's
|
|
;; result, so if caller alters it (`setcar', etc.) we'll think the next
|
|
;; call has the same value! Also, equal thinks two strings are the same
|
|
;; if they differ only in properties.
|
|
;; * Because we have only a "1value" class and no "always nil" class, we have
|
|
;; to treat as potentially 1-valued any `and' whose last term is 1-valued,
|
|
;; in case the last term is always nil. Example:
|
|
;; (and (< (point) 1000) (forward-char 10))
|
|
;; This form always returns nil. Similarly, `or', `if', and `cond' are
|
|
;; treated as potentially 1-valued if all clauses are, in case those
|
|
;; values are always nil. Unlike truly 1-valued functions, it is not an
|
|
;; error if these "potentially" 1-valued forms actually return differing
|
|
;; values.
|
|
|
|
(require 'edebug)
|
|
(provide 'testcover)
|
|
|
|
|
|
;;;==========================================================================
|
|
;;; User options
|
|
;;;==========================================================================
|
|
|
|
(defgroup testcover nil
|
|
"Code-coverage tester."
|
|
:group 'lisp
|
|
:prefix "testcover-"
|
|
:version "21.1")
|
|
|
|
(defcustom testcover-constants
|
|
'(nil t emacs-build-time emacs-version emacs-major-version
|
|
emacs-minor-version)
|
|
"Variables whose values never change. No brown splotch is shown for
|
|
these. This list is quite incomplete!"
|
|
:group 'testcover
|
|
:type '(repeat variable))
|
|
|
|
(defcustom testcover-1value-functions
|
|
'(backward-char barf-if-buffer-read-only beginning-of-line
|
|
buffer-disable-undo buffer-enable-undo current-global-map
|
|
deactivate-mark delete-backward-char delete-char delete-region ding
|
|
forward-char function* insert insert-and-inherit kill-all-local-variables
|
|
kill-line kill-paragraph kill-region kill-sexp lambda
|
|
minibuffer-complete-and-exit narrow-to-region next-line push-mark
|
|
put-text-property run-hooks set-match-data signal
|
|
substitute-key-definition suppress-keymap undo use-local-map while widen
|
|
yank)
|
|
"Functions that always return the same value. No brown splotch is shown
|
|
for these. This list is quite incomplete! Notes: Nobody ever changes the
|
|
current global map. The macro `lambda' is self-evaluating, hence always
|
|
returns the same value (the function it defines may return varying values
|
|
when called)."
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defcustom testcover-noreturn-functions
|
|
'(error noreturn throw signal)
|
|
"Subset of `testcover-1value-functions' -- these never return. We mark
|
|
them as having returned nil just before calling them."
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defcustom testcover-compose-functions
|
|
'(+ - * / = append length list make-keymap make-sparse-keymap
|
|
mapcar message propertize replace-regexp-in-string
|
|
run-with-idle-timer set-buffer-modified-p)
|
|
"Functions that are 1-valued if all their args are either constants or
|
|
calls to one of the `testcover-1value-functions', so if that's true then no
|
|
brown splotch is shown for these. This list is quite incomplete! Most
|
|
side-effect-free functions should be here."
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defcustom testcover-progn-functions
|
|
'(define-key fset function goto-char mapc overlay-put progn
|
|
save-current-buffer save-excursion save-match-data
|
|
save-restriction save-selected-window save-window-excursion
|
|
set set-default set-marker-insertion-type setq setq-default
|
|
with-current-buffer with-output-to-temp-buffer with-syntax-table
|
|
with-temp-buffer with-temp-file with-temp-message with-timeout)
|
|
"Functions whose return value is the same as their last argument. No
|
|
brown splotch is shown for these if the last argument is a constant or a
|
|
call to one of the `testcover-1value-functions'. This list is probably
|
|
incomplete!"
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defcustom testcover-prog1-functions
|
|
'(prog1 unwind-protect)
|
|
"Functions whose return value is the same as their first argument. No
|
|
brown splotch is shown for these if the first argument is a constant or a
|
|
call to one of the `testcover-1value-functions'."
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defcustom testcover-potentially-1value-functions
|
|
'(add-hook and beep or remove-hook unless when)
|
|
"Functions that are potentially 1-valued. No brown splotch if actually
|
|
1-valued, no error if actually multi-valued."
|
|
:group 'testcover
|
|
:type '(repeat symbol))
|
|
|
|
(defface testcover-nohits
|
|
'((t (:background "DeepPink2")))
|
|
"Face for forms that had no hits during coverage test"
|
|
:group 'testcover)
|
|
|
|
(defface testcover-1value
|
|
'((t (:background "Wheat2")))
|
|
"Face for forms that always produced the same value during coverage test"
|
|
:group 'testcover)
|
|
|
|
|
|
;;;=========================================================================
|
|
;;; Other variables
|
|
;;;=========================================================================
|
|
|
|
(defvar testcover-module-constants nil
|
|
"Symbols declared with defconst in the last file processed by
|
|
`testcover-start'.")
|
|
|
|
(defvar testcover-module-1value-functions nil
|
|
"Symbols declared with defun in the last file processed by
|
|
`testcover-start', whose functions should always return the same value.")
|
|
|
|
(defvar testcover-module-potentially-1value-functions nil
|
|
"Symbols declared with defun in the last file processed by
|
|
`testcover-start', whose functions might always return the same value.")
|
|
|
|
(defvar testcover-vector nil
|
|
"Locally bound to coverage vector for function in progress.")
|
|
|
|
|
|
;;;=========================================================================
|
|
;;; Add instrumentation to your module
|
|
;;;=========================================================================
|
|
|
|
(defun testcover-start (filename &optional byte-compile)
|
|
"Uses edebug to instrument all macros and functions in FILENAME, then
|
|
changes the instrumentation from edebug to testcover--much faster, no
|
|
problems with type-ahead or post-command-hook, etc. If BYTE-COMPILE is
|
|
non-nil, byte-compiles each function after instrumenting."
|
|
(interactive "fStart covering file: ")
|
|
(let ((buf (find-file filename))
|
|
(load-read-function load-read-function))
|
|
(add-function :around load-read-function
|
|
#'testcover--read)
|
|
(setq edebug-form-data nil
|
|
testcover-module-constants nil
|
|
testcover-module-1value-functions nil)
|
|
(eval-buffer buf))
|
|
(when byte-compile
|
|
(dolist (x (reverse edebug-form-data))
|
|
(when (fboundp (car x))
|
|
(message "Compiling %s..." (car x))
|
|
(byte-compile (car x))))))
|
|
|
|
;;;###autoload
|
|
(defun testcover-this-defun ()
|
|
"Start coverage on function under point."
|
|
(interactive)
|
|
(let ((x (let ((edebug-all-defs t))
|
|
(symbol-function (eval-defun nil)))))
|
|
(testcover-reinstrument x)
|
|
x))
|
|
|
|
(defun testcover--read (orig &optional stream)
|
|
"Read a form using edebug, changing edebug callbacks to testcover callbacks."
|
|
(or stream (setq stream standard-input))
|
|
(if (eq stream (current-buffer))
|
|
(let ((x (let ((edebug-all-defs t))
|
|
(edebug-read-and-maybe-wrap-form))))
|
|
(testcover-reinstrument x)
|
|
x)
|
|
(funcall (or orig #'read) stream)))
|
|
|
|
(defun testcover-reinstrument (form)
|
|
"Reinstruments FORM to use testcover instead of edebug. This
|
|
function modifies the list that FORM points to. Result is nil if
|
|
FORM should return multiple values, t if should always return same
|
|
value, `maybe' if either is acceptable."
|
|
(let ((fun (car-safe form))
|
|
id val)
|
|
(cond
|
|
((not fun) ;Atom
|
|
(when (or (not (symbolp form))
|
|
(memq form testcover-constants)
|
|
(memq form testcover-module-constants))
|
|
t))
|
|
((consp fun) ;Embedded list
|
|
(testcover-reinstrument fun)
|
|
(testcover-reinstrument-list (cdr form))
|
|
nil)
|
|
((or (memq fun testcover-1value-functions)
|
|
(memq fun testcover-module-1value-functions))
|
|
;;Should always return same value
|
|
(testcover-reinstrument-list (cdr form))
|
|
t)
|
|
((or (memq fun testcover-potentially-1value-functions)
|
|
(memq fun testcover-module-potentially-1value-functions))
|
|
;;Might always return same value
|
|
(testcover-reinstrument-list (cdr form))
|
|
'maybe)
|
|
((memq fun testcover-progn-functions)
|
|
;;1-valued if last argument is
|
|
(testcover-reinstrument-list (cdr form)))
|
|
((memq fun testcover-prog1-functions)
|
|
;;1-valued if first argument is
|
|
(testcover-reinstrument-list (cddr form))
|
|
(testcover-reinstrument (cadr form)))
|
|
((memq fun testcover-compose-functions)
|
|
;;1-valued if all arguments are. Potentially 1-valued if all
|
|
;;arguments are either definitely or potentially.
|
|
(testcover-reinstrument-compose (cdr form) 'testcover-reinstrument))
|
|
((eq fun 'edebug-enter)
|
|
;;(edebug-enter 'SYM ARGS #'(lambda nil FORMS))
|
|
;; => (testcover-enter 'SYM #'(lambda nil FORMS))
|
|
(setcar form 'testcover-enter)
|
|
(setcdr (nthcdr 1 form) (nthcdr 3 form))
|
|
(let ((testcover-vector (get (cadr (cadr form)) 'edebug-coverage)))
|
|
(testcover-reinstrument-list (nthcdr 2 (cadr (nth 2 form))))))
|
|
((eq fun 'edebug-after)
|
|
;;(edebug-after (edebug-before XXX) YYY FORM)
|
|
;; => (testcover-after YYY FORM), mark XXX as ok-coverage
|
|
(unless (eq (cadr form) 0)
|
|
(aset testcover-vector (cadr (cadr form)) 'ok-coverage))
|
|
(setq id (nth 2 form))
|
|
(setcdr form (nthcdr 2 form))
|
|
(setq val (testcover-reinstrument (nth 2 form)))
|
|
(setcar form (if (eq val t)
|
|
'testcover-1value
|
|
'testcover-after))
|
|
(when val
|
|
;;1-valued or potentially 1-valued
|
|
(aset testcover-vector id '1value))
|
|
(cond
|
|
((memq (car-safe (nth 2 form)) testcover-noreturn-functions)
|
|
;;This function won't return, so set the value in advance
|
|
;;(edebug-after (edebug-before XXX) YYY FORM)
|
|
;; => (progn (edebug-after YYY nil) FORM)
|
|
(setcar (cdr form) `(,(car form) ,id nil))
|
|
(setcar form 'progn)
|
|
(aset testcover-vector id '1value)
|
|
(setq val t))
|
|
((eq (car-safe (nth 2 form)) '1value)
|
|
;;This function is always supposed to return the same value
|
|
(setq val t)
|
|
(aset testcover-vector id '1value)
|
|
(setcar form 'testcover-1value)))
|
|
val)
|
|
((eq fun 'defun)
|
|
(setq val (testcover-reinstrument-list (nthcdr 3 form)))
|
|
(when (eq val t)
|
|
(push (cadr form) testcover-module-1value-functions))
|
|
(when (eq val 'maybe)
|
|
(push (cadr form) testcover-module-potentially-1value-functions)))
|
|
((memq fun '(defconst defcustom))
|
|
;;Define this symbol as 1-valued
|
|
(push (cadr form) testcover-module-constants)
|
|
(testcover-reinstrument-list (cddr form)))
|
|
((memq fun '(dotimes dolist))
|
|
;;Always returns third value from SPEC
|
|
(testcover-reinstrument-list (cddr form))
|
|
(setq val (testcover-reinstrument-list (cadr form)))
|
|
(if (nth 2 (cadr form))
|
|
val
|
|
;;No third value, always returns nil
|
|
t))
|
|
((memq fun '(let let*))
|
|
;;Special parsing for second argument
|
|
(mapc 'testcover-reinstrument-list (cadr form))
|
|
(testcover-reinstrument-list (cddr form)))
|
|
((eq fun 'if)
|
|
;;Potentially 1-valued if both THEN and ELSE clauses are
|
|
(testcover-reinstrument (cadr form))
|
|
(let ((then (testcover-reinstrument (nth 2 form)))
|
|
(else (testcover-reinstrument-list (nthcdr 3 form))))
|
|
(and then else 'maybe)))
|
|
((eq fun 'cond)
|
|
;;Potentially 1-valued if all clauses are
|
|
(when (testcover-reinstrument-compose (cdr form)
|
|
'testcover-reinstrument-list)
|
|
'maybe))
|
|
((eq fun 'condition-case)
|
|
;;Potentially 1-valued if BODYFORM is and all HANDLERS are
|
|
(let ((body (testcover-reinstrument (nth 2 form)))
|
|
(errs (testcover-reinstrument-compose
|
|
(mapcar #'cdr (nthcdr 3 form))
|
|
'testcover-reinstrument-list)))
|
|
(and body errs 'maybe)))
|
|
((eq fun 'quote)
|
|
;;Don't reinstrument what's inside!
|
|
;;This doesn't apply within a backquote
|
|
t)
|
|
((eq fun '\`)
|
|
;;Quotes are not special within backquotes
|
|
(let ((testcover-1value-functions
|
|
(cons 'quote testcover-1value-functions)))
|
|
(testcover-reinstrument (cadr form))))
|
|
((eq fun '\,)
|
|
;;In commas inside backquotes, quotes are special again
|
|
(let ((testcover-1value-functions
|
|
(remq 'quote testcover-1value-functions)))
|
|
(testcover-reinstrument (cadr form))))
|
|
((eq fun '1value)
|
|
;;Hack - pretend the arg is 1-valued here
|
|
(cond
|
|
((symbolp (cadr form))
|
|
;;A pseudoconstant variable
|
|
t)
|
|
((and (eq (car (cadr form)) 'edebug-after)
|
|
(symbolp (nth 3 (cadr form))))
|
|
;;Reference to pseudoconstant
|
|
(aset testcover-vector (nth 2 (cadr form)) '1value)
|
|
(setcar (cdr form) `(testcover-1value ,(nth 2 (cadr form))
|
|
,(nth 3 (cadr form))))
|
|
t)
|
|
(t
|
|
(setq id (car (if (eq (car (cadr form)) 'edebug-after)
|
|
(nth 3 (cadr form))
|
|
(cadr form))))
|
|
(let ((testcover-1value-functions
|
|
(cons id testcover-1value-functions)))
|
|
(testcover-reinstrument (cadr form))))))
|
|
((eq fun 'noreturn)
|
|
;;Hack - pretend the arg has no return
|
|
(cond
|
|
((symbolp (cadr form))
|
|
;;A pseudoconstant variable
|
|
'maybe)
|
|
((and (eq (car (cadr form)) 'edebug-after)
|
|
(symbolp (nth 3 (cadr form))))
|
|
;;Reference to pseudoconstant
|
|
(aset testcover-vector (nth 2 (cadr form)) '1value)
|
|
(setcar (cdr form) `(progn (testcover-after ,(nth 2 (cadr form)) nil)
|
|
,(nth 3 (cadr form))))
|
|
'maybe)
|
|
(t
|
|
(setq id (car (if (eq (car (cadr form)) 'edebug-after)
|
|
(nth 3 (cadr form))
|
|
(cadr form))))
|
|
(let ((testcover-noreturn-functions
|
|
(cons id testcover-noreturn-functions)))
|
|
(testcover-reinstrument (cadr form))))))
|
|
((and (eq fun 'apply)
|
|
(eq (car-safe (cadr form)) 'quote)
|
|
(symbolp (cadr (cadr form))))
|
|
;;Apply of a constant symbol. Process as 1value or noreturn
|
|
;;depending on symbol.
|
|
(setq fun (cons (cadr (cadr form)) (cddr form))
|
|
val (testcover-reinstrument fun))
|
|
(setcdr (cdr form) (cdr fun))
|
|
val)
|
|
(t ;Some other function or weird thing
|
|
(testcover-reinstrument-list (cdr form))
|
|
nil))))
|
|
|
|
(defun testcover-reinstrument-list (list)
|
|
"Reinstruments each form in LIST to use testcover instead of edebug.
|
|
This function modifies the forms in LIST. Result is `testcover-reinstrument's
|
|
value for the last form in LIST. If the LIST is empty, its evaluation will
|
|
always be nil, so we return t for 1-valued."
|
|
(let ((result t))
|
|
(while (consp list)
|
|
(setq result (testcover-reinstrument (pop list))))
|
|
result))
|
|
|
|
(defun testcover-reinstrument-compose (list fun)
|
|
"For a compositional function, the result is 1-valued if all
|
|
arguments are, potentially 1-valued if all arguments are either
|
|
definitely or potentially 1-valued, and multi-valued otherwise.
|
|
FUN should be `testcover-reinstrument' for compositional functions,
|
|
`testcover-reinstrument-list' for clauses in a `cond'."
|
|
(let ((result t))
|
|
(mapc #'(lambda (x)
|
|
(setq x (funcall fun x))
|
|
(cond
|
|
((eq result t)
|
|
(setq result x))
|
|
((eq result 'maybe)
|
|
(when (not x)
|
|
(setq result nil)))))
|
|
list)
|
|
result))
|
|
|
|
(defun testcover-end (filename)
|
|
"Turn off instrumentation of all macros and functions in FILENAME."
|
|
(interactive "fStop covering file: ")
|
|
(let ((buf (find-file-noselect filename)))
|
|
(eval-buffer buf)))
|
|
|
|
|
|
;;;=========================================================================
|
|
;;; Accumulate coverage data
|
|
;;;=========================================================================
|
|
|
|
(defun testcover-enter (testcover-sym testcover-fun)
|
|
"Internal function for coverage testing. Invokes TESTCOVER-FUN while
|
|
binding `testcover-vector' to the code-coverage vector for TESTCOVER-SYM
|
|
\(the name of the current function)."
|
|
(let ((testcover-vector (get testcover-sym 'edebug-coverage)))
|
|
(funcall testcover-fun)))
|
|
|
|
(defun testcover-after (idx val)
|
|
"Internal function for coverage testing. Returns VAL after installing it in
|
|
`testcover-vector' at offset IDX."
|
|
(declare (gv-expander (lambda (do)
|
|
(gv-letplace (getter setter) val
|
|
(funcall do getter
|
|
(lambda (store)
|
|
`(progn (testcover-after ,idx ,getter)
|
|
,(funcall setter store))))))))
|
|
(cond
|
|
((eq (aref testcover-vector idx) 'unknown)
|
|
(aset testcover-vector idx val))
|
|
((not (equal (aref testcover-vector idx) val))
|
|
(aset testcover-vector idx 'ok-coverage)))
|
|
val)
|
|
|
|
(defun testcover-1value (idx val)
|
|
"Internal function for coverage testing. Returns VAL after installing it in
|
|
`testcover-vector' at offset IDX. Error if FORM does not always return the
|
|
same value during coverage testing."
|
|
(cond
|
|
((eq (aref testcover-vector idx) '1value)
|
|
(aset testcover-vector idx (cons '1value val)))
|
|
((not (and (eq (car-safe (aref testcover-vector idx)) '1value)
|
|
(equal (cdr (aref testcover-vector idx)) val)))
|
|
(error "Value of form marked with `1value' does vary: %s" val)))
|
|
val)
|
|
|
|
|
|
|
|
;;;=========================================================================
|
|
;;; Display the coverage data as color splotches on your code.
|
|
;;;=========================================================================
|
|
|
|
(defun testcover-mark (def)
|
|
"Marks one DEF (a function or macro symbol) to highlight its contained forms
|
|
that did not get completely tested during coverage tests.
|
|
A marking with the face `testcover-nohits' (default = red) indicates that the
|
|
form was never evaluated. A marking using the `testcover-1value' face
|
|
\(default = tan) indicates that the form always evaluated to the same value.
|
|
The forms throw, error, and signal are not marked. They do not return and
|
|
would always get a red mark. Some forms that always return the same
|
|
value (e.g., setq of a constant), always get a tan mark that can't be
|
|
eliminated by adding more test cases."
|
|
(let* ((data (get def 'edebug))
|
|
(def-mark (car data))
|
|
(points (nth 2 data))
|
|
(len (length points))
|
|
(changed (buffer-modified-p))
|
|
(coverage (get def 'edebug-coverage))
|
|
ov j)
|
|
(or (and def-mark points coverage)
|
|
(error "Missing edebug data for function %s" def))
|
|
(when (> len 0)
|
|
(set-buffer (marker-buffer def-mark))
|
|
(mapc 'delete-overlay
|
|
(overlays-in def-mark (+ def-mark (aref points (1- len)) 1)))
|
|
(while (> len 0)
|
|
(setq len (1- len)
|
|
data (aref coverage len))
|
|
(when (and (not (eq data 'ok-coverage))
|
|
(not (eq (car-safe data) '1value))
|
|
(setq j (+ def-mark (aref points len))))
|
|
(setq ov (make-overlay (1- j) j))
|
|
(overlay-put ov 'face
|
|
(if (memq data '(unknown 1value))
|
|
'testcover-nohits
|
|
'testcover-1value))))
|
|
(set-buffer-modified-p changed))))
|
|
|
|
(defun testcover-mark-all (&optional buffer)
|
|
"Mark all forms in BUFFER that did not get completely tested during
|
|
coverage tests. This function creates many overlays."
|
|
(interactive "bMark forms in buffer: ")
|
|
(if buffer
|
|
(switch-to-buffer buffer))
|
|
(goto-char 1)
|
|
(dolist (x edebug-form-data)
|
|
(if (get (car x) 'edebug)
|
|
(testcover-mark (car x)))))
|
|
|
|
(defun testcover-unmark-all (buffer)
|
|
"Remove all overlays from FILENAME."
|
|
(interactive "bUnmark forms in buffer: ")
|
|
(condition-case nil
|
|
(progn
|
|
(set-buffer buffer)
|
|
(mapc 'delete-overlay (overlays-in 1 (buffer-size))))
|
|
(error nil))) ;Ignore "No such buffer" errors
|
|
|
|
(defun testcover-next-mark ()
|
|
"Moves point to next line in current buffer that has a splotch."
|
|
(interactive)
|
|
(goto-char (next-overlay-change (point)))
|
|
(end-of-line))
|
|
|
|
;; testcover.el ends here.
|