Mercurial > emacs
view lisp/emacs-lisp/testcover.el @ 110523:a5ad4f188e19
Synch Semantic to CEDET 1.0.
Move CEDET ChangeLog entries to new file lisp/cedet/ChangeLog.
* semantic.el (semantic-version): Update to 2.0.
(semantic-mode-map): Add "," and "m" bindings.
(navigate-menu): Update.
* semantic/symref.el (semantic-symref-calculate-rootdir):
New function.
(semantic-symref-detect-symref-tool): Use it.
* semantic/symref/grep.el (semantic-symref-grep-shell): New var.
(semantic-symref-perform-search): Use it. Calculate root dir with
semantic-symref-calculate-rootdir.
(semantic-symref-derive-find-filepatterns): Improve error message.
* semantic/symref/list.el
(semantic-symref-results-mode-map): New bindings.
(semantic-symref-auto-expand-results): New option.
(semantic-symref-results-dump): Obey auto-expand.
(semantic-symref-list-expand-all, semantic-symref-regexp)
(semantic-symref-list-contract-all)
(semantic-symref-list-map-open-hits)
(semantic-symref-list-update-open-hits)
(semantic-symref-list-create-macro-on-open-hit)
(semantic-symref-list-call-macro-on-open-hits): New functions.
(semantic-symref-list-menu-entries)
(semantic-symref-list-menu): New vars.
(semantic-symref-list-map-open-hits): Move cursor to beginning of
match before calling the mapped function.
* semantic/doc.el
(semantic-documentation-comment-preceeding-tag): Do nothing if the
mode doesn't provide comment-start-skip.
* semantic/scope.el
(semantic-analyze-scope-nested-tags-default): Strip duplicates.
(semantic-analyze-scoped-inherited-tag-map): Take the tag we are
looking for as part of the scoped tags list.
* semantic/html.el (semantic-default-html-setup): Add
senator-step-at-tag-classes.
* semantic/decorate/include.el
(semantic-decoration-on-unknown-includes): Change light bgcolor.
(semantic-decoration-on-includes-highlight-default): Check that
the include tag has a postion.
* semantic/complete.el (semantic-collector-local-members):
(semantic-complete-read-tag-local-members)
(semantic-complete-jump-local-members): New class and functions.
(semantic-complete-self-insert): Save excursion before completing.
* semantic/analyze/complete.el
(semantic-analyze-possible-completions-default): If no completions
are found, return the raw by-name-only completion list. Add FLAGS
arguments. Add support for 'no-tc (type constraint) and
'no-unique, or no stripping duplicates.
(semantic-analyze-possible-completions-default): Add FLAGS arg.
* semantic/util-modes.el
(semantic-stickyfunc-show-only-functions-p): New option.
(semantic-stickyfunc-fetch-stickyline): Don't show stickytext for
the very first line in a buffer.
* semantic/util.el (semantic-hack-search)
(semantic-recursive-find-nonterminal-by-name)
(semantic-current-tag-interactive): Deleted.
(semantic-describe-buffer): Fix expand-nonterminal. Add
lex-syntax-mods, type relation separator char, and command
separation char.
(semantic-sanity-check): Only message if called interactively.
* semantic/tag.el (semantic-tag-deep-copy-one-tag): Copy the
:filename property and the tag position.
* semantic/lex-spp.el (semantic-lex-spp-lex-text-string):
Add recursion limit.
* semantic/imenu.el (semantic-imenu-bucketize-type-members):
Make this buffer local, not the obsoleted variable.
* semantic/idle.el: Add breadcrumbs support.
(semantic-idle-summary-current-symbol-info-default)
(semantic-idle-tag-highlight)
(semantic-idle-completion-list-default): Use
semanticdb-without-unloaded-file-searches for speed, and to
conform to the controls that specify if the idle timer is supposed
to be parsing unparsed includes.
(semantic-idle-symbol-highlight-face)
(semantic-idle-symbol-maybe-highlight): Rename from *-summary-*.
Callers changed.
(semantic-idle-work-parse-neighboring-files-flag): Default to nil.
(semantic-idle-work-update-headers-flag): New var.
(semantic-idle-work-for-one-buffer): Use it.
(semantic-idle-local-symbol-highlight): Rename from
semantic-idle-tag-highlight.
(semantic-idle-truncate-long-summaries): New option.
* semantic/ia.el (semantic-ia-cache)
(semantic-ia-get-completions): Deleted. Callers changed.
(semantic-ia-show-variants): New command.
(semantic-ia-show-doc): If doc is empty, don't make a temp buffer.
(semantic-ia-show-summary): If there isn't anything to show, say so.
* semantic/grammar.el (semantic-grammar-create-package):
Save the buffer even in batch mode.
* semantic/fw.el
(semanticdb-without-unloaded-file-searches): New macro.
* semantic/dep.el (semantic-dependency-find-file-on-path):
Fix case dereferencing ede-object when it is a list.
* semantic/db-typecache.el (semanticdb-expand-nested-tag)
(semanticdb-typecache-faux-namespace): New functions.
(semanticdb-typecache-file-tags)
(semanticdb-typecache-merge-streams): Use them.
(semanticdb-typecache-file-tags): When deriving tags from a file,
give the mode a chance to monkey with the tag copy.
(semanticdb-typecache-find-default): Wrap find in save-excursion.
(semanticdb-typecache-find-by-name-helper): Merge found names down.
* semantic/db-global.el
(semanticdb-enable-gnu-global-in-buffer): Don't show messages if
GNU Global is not available and we don't want to throw an error.
* semantic/db-find.el (semanticdb-find-result-nth-in-buffer):
When trying to normalize the tag to a buffer, don't error if
set-buffer method doesn't exist.
* semantic/db-file.el (semanticdb-save-db): Simplify msg.
* semantic/db.el (semanticdb-refresh-table): If forcing a
refresh on a file not in a buffer, use semantic-find-file-noselect
and delete the buffer after use.
(semanticdb-current-database-list): When calculating root via
hooks, force it through true-filename and skip the list of
possible roots.
* semantic/ctxt.el (semantic-ctxt-imported-packages): New.
* semantic/analyze/debug.el
(semantic-analyzer-debug-insert-tag): Reset standard output to
current buffer.
(semantic-analyzer-debug-global-symbol)
(semantic-analyzer-debug-missing-innertype): Change "prefix" to
"symbol" in messages.
* semantic/analyze/refs.el: (semantic-analyze-refs-impl)
(semantic-analyze-refs-proto): When calculating value, make sure
the found tag is 'similar' to the originating tag.
(semantic--analyze-refs-find-tags-with-parent): Attempt to
identify matches via imported symbols of parents.
(semantic--analyze-refs-full-lookup-with-parents): Do a deep
search during the brute search.
* semantic/analyze.el
(semantic-analyze-find-tag-sequence-default): Be robust to
calculated scopes being nil.
* semantic/bovine/c.el (semantic-c-describe-environment): Add
project macro symbol array.
(semantic-c-parse-lexical-token): Add recursion limit.
(semantic-ctxt-imported-packages, semanticdb-expand-nested-tag):
New overrides.
(semantic-expand-c-tag-namelist): Split a full type from a typedef
out to its own tag.
(semantic-expand-c-tag-namelist): Do not split out a typedef'd
inline type if it is an anonymous type.
(semantic-c-reconstitute-token): Use the optional initializers as
a clue that some function is probably a constructor. When
defining the type of these constructors, split the parent name,
and use only the class part, if applicable.
* semantic/bovine/c-by.el:
* semantic/wisent/python-wy.el: Regenerate.
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Sat, 18 Sep 2010 22:49:54 -0400 |
parents | 1d1d5d9bd884 |
children | 376148b31b5e |
line wrap: on
line source
;;;; testcover.el -- Visual code-coverage tool ;; Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 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 ;; evaluted 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 'hook) (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 'hook) (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 'hook) (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 'hook) (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 'hook) (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) (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 'testcover-read) (edebug-all-defs t)) (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* ((edebug-all-defs t) (x (symbol-function (eval-defun nil)))) (testcover-reinstrument x) x)) (defun testcover-read (&optional stream) "Read a form using edebug, changing edebug callbacks to testcover callbacks." (let ((x (edebug-read stream))) (testcover-reinstrument x) x)) (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 vlues, 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))) (if (eq val t) (setcar form 'testcover-1value) (setcar form '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 (if (eq (car (cadr form)) 'edebug-after) (setq id (car (nth 3 (cadr form)))) (setq id (car (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 (if (eq (car (cadr form)) 'edebug-after) (setq id (car (nth 3 (cadr form)))) (setq id (car (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 t))) ;;;========================================================================= ;;; 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." (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 item) (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 completley 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)) ;; arch-tag: 72324a4a-4a2e-4142-9249-cc56d6757588 ;; testcover.el ends here.