From: Jonathan Yavner <jyavner@member.fsf.org>
Date: Sun, 30 Nov 2003 06:58:00 +0000 (+0000)
Subject: Add edebug specs for macros `1value' and `noreturn'.
X-Git-Tag: ttn-vms-21-2-B4~8242
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=01a9e5933da0f45101161d0572ad77bd6da66cbc;p=emacs.git

Add edebug specs for macros `1value' and `noreturn'.
---

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 95d1125ad9d..f35d9bf898a 100644
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,15 @@
+2003-11-30  Jonathan Yavner  <jyavner@member.fsf.org>
+
+	* subr.el (noreturn, 1value): New macros for test coverage.  See
+	`testcover.el'.
+
+	* emacs-lisp/edebug.el: Add def-edebug-spec for `noreturn' and `1value'.
+
+	* emacs-lisp/testcover.el (testcover-reinstrument): Special case
+	for macro `1value'.
+	(testcover-1value): New function.  Checks that a 1value form
+	actually returns only one value.  Requested by RMS.
+
 2003-11-29  Nick Roberts  <nick@nick.uklinux.net>
 
 	* gdb-ui.el (gud-watch, gdb-var-create-handler)
diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el
index 74ea2f37b22..1ef30a309a3 100644
--- a/lisp/emacs-lisp/edebug.el
+++ b/lisp/emacs-lisp/edebug.el
@@ -2090,6 +2090,10 @@ expressions; a `progn' form will be returned enclosing these forms."
 (def-edebug-spec push (form sexp))
 (def-edebug-spec pop (sexp))
 
+(def-edebug-spec 1value (form))
+(def-edebug-spec noreturn (form))
+
+
 ;; Anything else?