comparison lisp/emacs-lisp/edebug.el @ 89909:68c22ea6027c

Sync to HEAD

89908:ee1402f7b568

;;; edebug.el --- a source-level debugger for Emacs Lisp

;; Copyright (C) 1988, 89, 90, 91, 92, 93, 94, 95, 97, 1999, 2000, 01, 2003
;;       Free Software Foundation, Inc.

;; Author: Daniel LaLiberte <[e-mail]>
;; Maintainer: FSF
;; Keywords: lisp, tools, maint

(def-edebug-spec with-temp-message t)
(def-edebug-spec with-syntax-table t)
(def-edebug-spec push (form sexp))
(def-edebug-spec pop (sexp))

;; Anything else?


;; Some miscellaneous specs for macros in public packages.
;; Send me yours.

	    (edebug-outside-overriding-terminal-local-map
	     overriding-terminal-local-map)

	    ;; Save the outside value of executing macro.  (here??)
	    (edebug-outside-executing-macro executing-kbd-macro)
	    (edebug-outside-pre-command-hook pre-command-hook)
	    (edebug-outside-post-command-hook post-command-hook))
	(unwind-protect
	    (let (;; Don't keep reading from an executing kbd macro
		  ;; within edebug unless edebug-continue-kbd-macro is
		  ;; non-nil.  Again, local binding may not be best.
		  (executing-kbd-macro

					      edebug-initial-mode
					      edebug-execution-mode)
		    edebug-next-execution-mode nil)
	      (edebug-enter edebug-function edebug-args edebug-body))
	  ;; Reset global variables in case outside value was changed.
	  (setq executing-kbd-macro edebug-outside-executing-macro
		pre-command-hook edebug-outside-pre-command-hook
		post-command-hook edebug-outside-post-command-hook
		)))

    (let* ((edebug-data (get edebug-function 'edebug))
	   (edebug-def-mark (car edebug-data)) ; mark at def start
	   (edebug-freq-count (get edebug-function 'edebug-freq-count))
	   (edebug-coverage (get edebug-function 'edebug-coverage))

      (if edebug-trace
	  (edebug-enter-trace edebug-body)
	(funcall edebug-body))
      )))


(defun edebug-enter-trace (edebug-body)
  (let ((edebug-stack-depth (1+ edebug-stack-depth))
	edebug-result)
    (edebug-print-trace-before

;; Emacs 19 adds an arg to mark and mark-marker.
(defalias 'edebug-mark-marker 'mark-marker)


(defun edebug-display ()
  ;; Setup windows for edebug, determine mode, maybe enter recursive-edit.
  ;; Uses local variables of edebug-enter, edebug-before, edebug-after
  ;; and edebug-debugger.
  (let ((edebug-active t)		; for minor mode alist
	edebug-stop			; should we enter recursive-edit

	   (standard-output edebug-outside-standard-output)
	   (standard-input edebug-outside-standard-input)

	   (executing-kbd-macro edebug-outside-executing-macro)
	   (defining-kbd-macro edebug-outside-defining-kbd-macro)
	   (pre-command-hook edebug-outside-pre-command-hook)
	   (post-command-hook edebug-outside-post-command-hook)

	   ;; See edebug-display
	   (overlay-arrow-position edebug-outside-o-a-p)
	   (overlay-arrow-string edebug-outside-o-a-s)
	   (cursor-in-echo-area edebug-outside-c-i-e-a)

	  edebug-outside-standard-output standard-output
	  edebug-outside-standard-input standard-input

	  edebug-outside-executing-macro executing-kbd-macro
	  edebug-outside-defining-kbd-macro defining-kbd-macro
	  edebug-outside-pre-command-hook pre-command-hook
	  edebug-outside-post-command-hook post-command-hook

	  edebug-outside-o-a-p overlay-arrow-position
	  edebug-outside-o-a-s overlay-arrow-string
	  edebug-outside-c-i-e-a cursor-in-echo-area
	  )))				; let
     ))

(defvar cl-debug-env nil) ;; defined in cl; non-nil when lexical env used.

(defun edebug-eval (edebug-expr)

	(print-circle (or edebug-print-circle print-circle))
	(print-readably nil)) ;; lemacs uses this.
    (edebug-prin1-to-string value)))

(defun edebug-compute-previous-result (edebug-previous-value)
  (setq edebug-previous-result
	(if (and (integerp edebug-previous-value)
		 (< edebug-previous-value 256)
		 (>= edebug-previous-value 0))
	    (format "Result: %s = %s" edebug-previous-value
		    (single-key-description edebug-previous-value))
	  (if edebug-unwrap-results
	      (setq edebug-previous-value
		    (edebug-unwrap* edebug-previous-value)))
	  (concat "Result: "
		  (edebug-safe-prin1-to-string edebug-previous-value)))))

(defun edebug-previous-result ()
  "Print the previous result."
  (interactive)
  (message "%s" edebug-previous-result))

   (edebug-outside-excursion
    (setq values (cons (edebug-eval edebug-expr) values))
    (edebug-safe-prin1-to-string (car values)))))

(defun edebug-eval-last-sexp ()
  "Evaluate sexp before point in the outside environment;
print value in minibuffer."
  (interactive)
  (edebug-eval-expression (edebug-last-sexp)))

(defun edebug-eval-print-last-sexp ()
  "Evaluate sexp before point in the outside environment;
print value into current buffer."
  (interactive)
  (let* ((edebug-form (edebug-last-sexp))
	 (edebug-result-string
	  (edebug-outside-excursion
	   (edebug-safe-prin1-to-string (edebug-safe-eval edebug-form))))

    (princ "\n")
    ))

;;; Edebug Minor Mode

;; Global GUD bindings for all emacs-lisp-mode buffers.
(define-key emacs-lisp-mode-map "\C-x\C-a\C-s" 'edebug-step-mode)
(define-key emacs-lisp-mode-map "\C-x\C-a\C-n" 'edebug-next-mode)
(define-key emacs-lisp-mode-map "\C-x\C-a\C-c" 'edebug-go-mode)
(define-key emacs-lisp-mode-map "\C-x\C-a\C-l" 'edebug-where)


(defvar edebug-mode-map
  (let ((map (copy-keymap emacs-lisp-mode-map)))
    ;; control
    (define-key map " " 'edebug-step-mode)


;;; Frequency count and coverage

(defun edebug-display-freq-count ()
  "Display the frequency count data for each line of the current
definition.  The frequency counts are inserted as comment lines after
each line, and you can undo all insertions with one `undo' command.

The counts are inserted starting under the `(' before an expression
or the `)' after an expression, or on the last char of a symbol.
The counts are only displayed when they differ from previous counts on

;; Install edebug read and eval functions.
(edebug-install-read-eval-functions)

(provide 'edebug)

;;; edebug.el ends here

89909:68c22ea6027c

;;; edebug.el --- a source-level debugger for Emacs Lisp

;; Copyright (C) 1988,89,90,91,92,93,94,95,97,1999,2000,01,03,2004
;;       Free Software Foundation, Inc.

;; Author: Daniel LaLiberte <[e-mail]>
;; Maintainer: FSF
;; Keywords: lisp, tools, maint

(def-edebug-spec with-temp-message t)
(def-edebug-spec with-syntax-table t)
(def-edebug-spec push (form sexp))
(def-edebug-spec pop (sexp))

(def-edebug-spec 1value (form))
(def-edebug-spec noreturn (form))


;; Anything else?


;; Some miscellaneous specs for macros in public packages.
;; Send me yours.

	    (edebug-outside-overriding-terminal-local-map
	     overriding-terminal-local-map)

	    ;; Save the outside value of executing macro.  (here??)
	    (edebug-outside-executing-macro executing-kbd-macro)
	    (edebug-outside-pre-command-hook
	     (edebug-var-status 'pre-command-hook))
	    (edebug-outside-post-command-hook
	     (edebug-var-status 'post-command-hook)))
	(unwind-protect
	    (let (;; Don't keep reading from an executing kbd macro
		  ;; within edebug unless edebug-continue-kbd-macro is
		  ;; non-nil.  Again, local binding may not be best.
		  (executing-kbd-macro

					      edebug-initial-mode
					      edebug-execution-mode)
		    edebug-next-execution-mode nil)
	      (edebug-enter edebug-function edebug-args edebug-body))
	  ;; Reset global variables in case outside value was changed.
	  (setq executing-kbd-macro edebug-outside-executing-macro)
	  (edebug-restore-status
	   'post-command-hook edebug-outside-post-command-hook)
	  (edebug-restore-status
	   'pre-command-hook edebug-outside-pre-command-hook)))

    (let* ((edebug-data (get edebug-function 'edebug))
	   (edebug-def-mark (car edebug-data)) ; mark at def start
	   (edebug-freq-count (get edebug-function 'edebug-freq-count))
	   (edebug-coverage (get edebug-function 'edebug-coverage))

      (if edebug-trace
	  (edebug-enter-trace edebug-body)
	(funcall edebug-body))
      )))

(defun edebug-var-status (var)
  "Return a cons cell describing the status of VAR's current binding.
The purpose of this function is so you can properly undo
subsequent changes to the same binding, by passing the status
cons cell to `edebug-restore-status'.  The status cons cell
has the form (LOCUS . VALUE), where LOCUS can be a buffer
\(for a buffer-local binding), a frame (for a frame-local binding),
or nil (if the default binding is current)."
  (cons (variable-binding-locus var)
	(symbol-value var)))

(defun edebug-restore-status (var status)
  "Reset VAR based on STATUS.
STATUS should be a list you got from `edebug-var-status'."
  (let ((locus (car status))
	(value (cdr status)))
    (cond ((bufferp locus)
	   (if (buffer-live-p locus)
	       (with-current-buffer locus
		 (set var value))))
	  ((framep locus)
	   (modify-frame-parameters locus (list (cons var value))))
	  (t
	   (set var value)))))

(defun edebug-enter-trace (edebug-body)
  (let ((edebug-stack-depth (1+ edebug-stack-depth))
	edebug-result)
    (edebug-print-trace-before

;; Emacs 19 adds an arg to mark and mark-marker.
(defalias 'edebug-mark-marker 'mark-marker)


(defun edebug-display ()
  (unless (marker-position edebug-def-mark)
    ;; The buffer holding the source has been killed.
    ;; Let's at least show a backtrace so the user can figure out
    ;; which function we're talking about.
    (debug))
  ;; Setup windows for edebug, determine mode, maybe enter recursive-edit.
  ;; Uses local variables of edebug-enter, edebug-before, edebug-after
  ;; and edebug-debugger.
  (let ((edebug-active t)		; for minor mode alist
	edebug-stop			; should we enter recursive-edit

	   (standard-output edebug-outside-standard-output)
	   (standard-input edebug-outside-standard-input)

	   (executing-kbd-macro edebug-outside-executing-macro)
	   (defining-kbd-macro edebug-outside-defining-kbd-macro)
	   ;; Get the values out of the saved statuses.
	   (pre-command-hook (cdr edebug-outside-pre-command-hook))
	   (post-command-hook (cdr edebug-outside-post-command-hook))

	   ;; See edebug-display
	   (overlay-arrow-position edebug-outside-o-a-p)
	   (overlay-arrow-string edebug-outside-o-a-s)
	   (cursor-in-echo-area edebug-outside-c-i-e-a)

	  edebug-outside-standard-output standard-output
	  edebug-outside-standard-input standard-input

	  edebug-outside-executing-macro executing-kbd-macro
	  edebug-outside-defining-kbd-macro defining-kbd-macro

	  edebug-outside-o-a-p overlay-arrow-position
	  edebug-outside-o-a-s overlay-arrow-string
	  edebug-outside-c-i-e-a cursor-in-echo-area
	  )

	 ;; Restore the outside saved values; don't alter
	 ;; the outside binding loci.
	 (setcdr edebug-outside-pre-command-hook pre-command-hook)
	 (setcdr edebug-outside-post-command-hook post-command-hook)

	 ))				; let
     ))

(defvar cl-debug-env nil) ;; defined in cl; non-nil when lexical env used.

(defun edebug-eval (edebug-expr)

	(print-circle (or edebug-print-circle print-circle))
	(print-readably nil)) ;; lemacs uses this.
    (edebug-prin1-to-string value)))

(defun edebug-compute-previous-result (edebug-previous-value)
  (if edebug-unwrap-results
      (setq edebug-previous-value
	    (edebug-unwrap* edebug-previous-value)))
  (setq edebug-previous-result
	(concat "Result: "
		(edebug-safe-prin1-to-string edebug-previous-value)
		(let ((name (prin1-char edebug-previous-value)))
		  (if name (concat " = " name))))))

(defun edebug-previous-result ()
  "Print the previous result."
  (interactive)
  (message "%s" edebug-previous-result))

   (edebug-outside-excursion
    (setq values (cons (edebug-eval edebug-expr) values))
    (edebug-safe-prin1-to-string (car values)))))

(defun edebug-eval-last-sexp ()
  "Evaluate sexp before point in the outside environment; value in minibuffer."
  (interactive)
  (edebug-eval-expression (edebug-last-sexp)))

(defun edebug-eval-print-last-sexp ()
  "Evaluate sexp before point in the outside environment; insert the value.
This prints the value into current buffer."
  (interactive)
  (let* ((edebug-form (edebug-last-sexp))
	 (edebug-result-string
	  (edebug-outside-excursion
	   (edebug-safe-prin1-to-string (edebug-safe-eval edebug-form))))

    (princ "\n")
    ))

;;; Edebug Minor Mode

(defvar gud-inhibit-global-bindings
  "*Non-nil means don't do global rebindings of C-x C-a subcommands.")

;; Global GUD bindings for all emacs-lisp-mode buffers.
(unless gud-inhibit-global-bindings
  (define-key emacs-lisp-mode-map "\C-x\C-a\C-s" 'edebug-step-mode)
  (define-key emacs-lisp-mode-map "\C-x\C-a\C-n" 'edebug-next-mode)
  (define-key emacs-lisp-mode-map "\C-x\C-a\C-c" 'edebug-go-mode)
  (define-key emacs-lisp-mode-map "\C-x\C-a\C-l" 'edebug-where))

(defvar edebug-mode-map
  (let ((map (copy-keymap emacs-lisp-mode-map)))
    ;; control
    (define-key map " " 'edebug-step-mode)


;;; Frequency count and coverage

(defun edebug-display-freq-count ()
  "Display the frequency count data for each line of the current definition.
The frequency counts are inserted as comment lines after
each line, and you can undo all insertions with one `undo' command.

The counts are inserted starting under the `(' before an expression
or the `)' after an expression, or on the last char of a symbol.
The counts are only displayed when they differ from previous counts on

;; Install edebug read and eval functions.
(edebug-install-read-eval-functions)

(provide 'edebug)

;;; arch-tag: 19c8d05c-4554-426e-ac72-e0fa1fcb0808
;;; edebug.el ends here