From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Gemini Lasswell Newsgroups: gmane.emacs.devel Subject: Re: [Emacs-diffs] master 06e452a 1/3: Allow Edebug's instrumentation to be used for other purposes Date: Sun, 15 Oct 2017 11:06:47 -0700 Message-ID: <87zi8smgjs.fsf@runbox.com> References: <20171008231448.29638.520@vcs0.savannah.gnu.org> <20171008231451.3FBBC20326@vcs0.savannah.gnu.org> <87a80xadug.fsf@runbox.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Trace: blaine.gmane.org 1508090862 14897 195.159.176.226 (15 Oct 2017 18:07:42 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 15 Oct 2017 18:07:42 +0000 (UTC) User-Agent: mu4e 0.9.18; emacs 26.0.60 Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Oct 15 20:07:38 2017 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e3nJs-00015y-Ik for ged-emacs-devel@m.gmane.org; Sun, 15 Oct 2017 20:07:24 +0200 Original-Received: from localhost ([::1]:58005 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e3nJw-0007UV-UO for ged-emacs-devel@m.gmane.org; Sun, 15 Oct 2017 14:07:28 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47290) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e3nJm-0007UP-TX for emacs-devel@gnu.org; Sun, 15 Oct 2017 14:07:20 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e3nJj-0002OR-Mx for emacs-devel@gnu.org; Sun, 15 Oct 2017 14:07:18 -0400 Original-Received: from aibo.runbox.com ([91.220.196.211]:57478) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e3nJj-0002KZ-5O for emacs-devel@gnu.org; Sun, 15 Oct 2017 14:07:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=runbox.com; s=rbselector1; h=Content-Type:MIME-Version:Message-ID:Date:In-reply-to: Subject:Cc:To:From:References; bh=2ykzxC38liV0us2hqHS5eJu/FxADE9kgZFyALCxxqjM=; b=FDX01BKXlC1kMsfTHIqc6XUnax LLbeM1qhasCploobs1rkDEKGYKQWis/KVbNX/RRu1NfeWK1373zD4/VUGpsUTIjg8mEdJ+6aIEDyo KpFXGP5ID/d4/AmsHFuHIuA7oO1VJBxvYpjVwC3aoJUlcq3th46IGm2rz9gRhnnbqTeq6VNvqWbVv NYD7TSa1UQSbgOiT/TfI+p6fmb1SNQo+qkT+y7hU6cPqiZO1DjX/fb5xCCTcMrxA3wOL4fimCT7X1 ZCE817gKVTxkygToITDOfBbndUzYJzFntVyb+c32RFHjW+r4LuuB32la35LkOiedMDZuJO8euIGM+ bL6BwgsA==; Original-Received: from [10.9.9.210] (helo=mailfront10.runbox.com) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1e3nJb-0005ic-Tr; Sun, 15 Oct 2017 20:07:08 +0200 Original-Received: from c-24-22-244-161.hsd1.wa.comcast.net ([24.22.244.161] helo=chinook) by mailfront10.runbox.com with esmtpsa (uid:179284 ) (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1e3nJK-0005XP-2I; Sun, 15 Oct 2017 20:06:50 +0200 In-reply-to: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 91.220.196.211 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:219556 Archived-At: --=-=-= Content-Type: text/plain Stefan Monnier writes: >>> This seems a bit awkward. >>> How 'bout something like the 100% untested patch below? >> OK with me. I'll test the patch and make the change. Do you think >> edebug-after-instrumentation-functions should also be changed to >> edebug-after-instrumentation-function? > > I guess we could use a patch like below, indeed, which would make it > possible to change the instrumented code (i.e. it would be slightly > more general). Here's a tested patch, with documentation. In it I've changed both hooks to variables, and chosen to let-bind them in Testcover. I don't know why you used add-function in your first patch, but if you can educate me, I'll change what needs changing. --=-=-= Content-Type: text/plain Content-Disposition: inline; filename=0001-Change-Edebug-s-behavior-changing-hooks-to-variables.patch >From b5b44de3b7a24f98a02f7aee4fe12ca961508c7f Mon Sep 17 00:00:00 2001 From: Gemini Lasswell Date: Sat, 14 Oct 2017 09:13:36 -0700 Subject: [PATCH] Change Edebug's behavior-changing hooks to variables * lisp/emacs-lisp/edebug.el (edebug-after-instrumentation-functions) (edebug-new-definition-functions): Deleted. (edebug-after-instrumentation-function) (edebug-new-definition-function): New variables. (edebug-behavior-alist): Update docstring. (edebug-read-and-maybe-wrap-form1, edebug-make-form-wrapper): Use new variables. * lisp/emacs-lisp/testcover.el (testcover-start) (testcover-this-defun): Use `edebug-after-instrumentation-function' and `edebug-new-definition-function'. (testcover-after-instrumentation): Return passed form. (testcover-init-definition): Use argument instead of `edebug-def-name'. * doc/lispref/edebug.texi (Edebug Options): Replace descriptions of `edebug-after-instrumentation-functions' and `edebug-new-definition-functions' with `edebug-after-instrumentation-function' and `edebug-new-definition-function'. --- doc/lispref/edebug.texi | 23 +++++++++-------------- etc/NEWS | 6 +++--- lisp/emacs-lisp/edebug.el | 37 +++++++++++++++++++------------------ lisp/emacs-lisp/testcover.el | 23 +++++++++-------------- 4 files changed, 40 insertions(+), 49 deletions(-) diff --git a/doc/lispref/edebug.texi b/doc/lispref/edebug.texi index 94d61480f1..651bfacb4c 100644 --- a/doc/lispref/edebug.texi +++ b/doc/lispref/edebug.texi @@ -1705,23 +1705,18 @@ Edebug Options call the new functions in place of its own for that definition. @end defopt -@defopt edebug-new-definition-functions -An abnormal hook run by Edebug after it wraps the body of a definition -or closure. After Edebug has initialized its own data, each function +@defopt edebug-new-definition-function +A function run by Edebug after it wraps the body of a definition +or closure. After Edebug has initialized its own data, this function is called with one argument, the symbol associated with the definition, which may be the actual symbol defined or one generated by -Edebug. This hook may be used to set the @code{edebug-behavior} +Edebug. This function may be used to set the @code{edebug-behavior} symbol property of each definition instrumented by Edebug. - -By default @code{edebug-new-definition-functions} contains -@code{edebug-announce-definition} which prints a message each time a -definition is instrumented. If you are instrumenting a lot of code -and find the messages excessive, remove -@code{edebug-announce-definition}. @end defopt -@defopt edebug-after-instrumentation-functions -An abnormal hook run by Edebug after it instruments a form. -Each function is called with one argument, a form which has -just been instrumented by Edebug. +@defopt edebug-after-instrumentation-function +To inspect or modify Edebug's instrumentation before it is used, set +this variable to a function which takes one argument, an instrumented +top-level form, and returns either the same or a replacement form, +which Edebug will then use as the final result of instrumentation. @end defopt diff --git a/etc/NEWS b/etc/NEWS index 2332ba4d1f..809f8e87fc 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -60,9 +60,9 @@ replaced by a double typographic quote. +++ *** The runtime behavior of Edebug's instrumentation can be changed -using the new variable 'edebug-behavior-alist' and the new abnormal -hooks 'edebug-after-instrumentation-functions' and -'edebug-new-definition-functions'. Edebug's behavior can be changed +using the new variables 'edebug-behavior-alist', +'edebug-after-instrumentation-function' and +'edebug-new-definition-function'. Edebug's behavior can be changed globally or for individual definitions. ** Enhanced xterm support diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el index 77523de32c..0e8f77e29a 100644 --- a/lisp/emacs-lisp/edebug.el +++ b/lisp/emacs-lisp/edebug.el @@ -1065,16 +1065,17 @@ edebug-old-def-name (defvar edebug-error-point nil) (defvar edebug-best-error nil) -;; Hooks which may be used to extend Edebug's functionality. See +;; Functions which may be used to extend Edebug's functionality. See ;; Testcover for an example. -(defvar edebug-after-instrumentation-functions nil - "Abnormal hook run on code after instrumentation for debugging. -Each function is called with one argument, a form which has just -been instrumented for Edebugging.") - -(defvar edebug-new-definition-functions '(edebug-announce-definition) - "Abnormal hook run after Edebug wraps a new definition. -After Edebug has initialized its own data, each hook function is +(defvar edebug-after-instrumentation-function #'identity + "Function to run on code after instrumentation for debugging. +The function is called with one argument, a FORM which has just +been instrumented for Edebugging, and it should return either FORM +or a replacement form to use in its place.") + +(defvar edebug-new-definition-function #'edebug-new-definition + "Function to call after Edebug wraps a new definition. +After Edebug has initialized its own data, this function is called with one argument, the symbol associated with the definition, which may be the actual symbol defined or one generated by Edebug.") @@ -1087,9 +1088,9 @@ edebug-behavior-alist the instrumented code is running, Edebug will look here for the implementations of `edebug-enter', `edebug-before', and `edebug-after'. Edebug's instrumentation may be used for a new -purpose by adding an entry to this alist and a hook to -`edebug-new-definition-functions' which sets `edebug-behavior' -for the definition.") +purpose by adding an entry to this alist, and setting +`edebug-new-definition-function' to a function which sets +`edebug-behavior' for the definition.") (defun edebug-read-and-maybe-wrap-form () ;; Read a form and wrap it with edebug calls, if the conditions are right. @@ -1189,8 +1190,7 @@ edebug-read-and-maybe-wrap-form1 ;; Not a defining form, and not edebugging. (t (edebug-read-sexp))))) - (run-hook-with-args 'edebug-after-instrumentation-functions result) - result))) + (funcall edebug-after-instrumentation-function result)))) (defvar edebug-def-args) ; args of defining form. (defvar edebug-def-interactive) ; is it an emacs interactive function? @@ -1383,13 +1383,14 @@ edebug-make-form-wrapper edebug-offset-list edebug-top-window-data )) - (put edebug-def-name 'edebug-behavior 'edebug) - (run-hook-with-args 'edebug-new-definition-functions edebug-def-name) + + (funcall edebug-new-definition-function edebug-def-name) result ))) -(defun edebug-announce-definition (def-name) - "Announce Edebug's processing of DEF-NAME." +(defun edebug-new-definition (def-name) + "Set up DEF-NAME to use Edebug's instrumentation functions." + (put def-name 'edebug-behavior 'edebug) (message "Edebug: %s" def-name)) diff --git a/lisp/emacs-lisp/testcover.el b/lisp/emacs-lisp/testcover.el index 3628968974..797cc68217 100644 --- a/lisp/emacs-lisp/testcover.el +++ b/lisp/emacs-lisp/testcover.el @@ -193,12 +193,9 @@ testcover-start testcover-module-constants nil testcover-module-1value-functions nil testcover-module-potentially-1value-functions nil) - (cl-letf ((edebug-all-defs t) - (edebug-after-instrumentation-functions) - (edebug-new-definition-functions)) - (add-hook 'edebug-after-instrumentation-functions 'testcover-after-instrumentation) - (add-hook 'edebug-new-definition-functions 'testcover-init-definition) - (remove-hook 'edebug-new-definition-functions 'edebug-announce-definition) + (let ((edebug-all-defs t) + (edebug-after-instrumentation-function #'testcover-after-instrumentation) + (edebug-new-definition-function #'testcover-init-definition)) (eval-buffer buf))) (when byte-compile (dolist (x (reverse edebug-form-data)) @@ -210,12 +207,9 @@ testcover-start (defun testcover-this-defun () "Start coverage on function under point." (interactive) - (cl-letf ((edebug-all-defs t) - (edebug-after-instrumentation-functions) - (edebug-new-definition-functions)) - (add-hook 'edebug-after-instrumentation-functions 'testcover-after-instrumentation) - (add-hook 'edebug-new-definition-functions 'testcover-init-definition) - (remove-hook 'edebug-new-definition-functions 'edebug-announce-definition) + (let ((edebug-all-defs t) + (edebug-after-instrumentation-function #'testcover-after-instrumentation) + (edebug-new-definition-function #'testcover-init-definition)) (eval-defun nil))) (defun testcover-end (filename) @@ -231,11 +225,12 @@ testcover-end (defun testcover-after-instrumentation (form) "Analyze FORM for code coverage." - (testcover-analyze-coverage form)) + (testcover-analyze-coverage form) + form) (defun testcover-init-definition (sym) "Mark SYM as under test coverage." - (message "Testcover: %s" edebug-def-name) + (message "Testcover: %s" sym) (put sym 'edebug-behavior 'testcover)) (defun testcover-enter (func _args body) -- 2.14.2 --=-=-=--