(noreturn): Report error if does return.

(testcover-reinstrument-clauses): Doc fix.
This commit is contained in:
Richard M. Stallman 2003-08-06 01:10:37 +00:00
parent 10b6c9320f
commit 91cbc31fa9

View file

@ -334,8 +334,8 @@ always be nil, so we return t for 1-valued."
result))
(defun testcover-reinstrument-clauses (clauselist)
"Reinstruments each list in CLAUSELIST. Result is t if every
clause is 1-valued."
"Reinstrument each list in CLAUSELIST.
Result is t if every clause is 1-valued."
(let ((result t))
(mapc #'(lambda (x)
(setq result (and (testcover-reinstrument-list x) result)))
@ -349,13 +349,13 @@ clause is 1-valued."
(eval-buffer buf t)))
(defmacro 1value (form)
"For code-coverage testing, indicate that FORM is expected to always have
the same value."
"For coverage testing, indicate FORM should always have the same value."
form)
(defmacro noreturn (form)
"For code-coverage testing, indicate that FORM will always signal an error."
form)
"For coverage testing, indicate that FORM will never return."
`(prog1 ,form
(error "Form marked with `noreturn' did return")))
;;;=========================================================================